Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Pettersson, Paul (Editor ), Yi, Wang (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3829
Temas:
Computer science.
Software engineering.
Compilers (Computer programs).
Computers, Special purpose.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Compilers and Interpreters.
Special Purpose and Application-Based Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talk
  • Modular Performance Analysis of Distributed Embedded Systems
  • Logic and Specification
  • Real Time Temporal Logic: Past, Present, Future
  • Translating Timed I/O Automata Specifications for Theorem Proving in PVS
  • Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams
  • Times Games and Synthesis
  • On Optimal Timed Strategies
  • Average Reward Timed Games
  • Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness
  • Invited Talk
  • Verification of Parameterized Timed Systems
  • Model Checking
  • Model Checking the Time to Reach Agreement
  • Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
  • A New Verification Procedure for Partially Clairvoyant Scheduling
  • Invited Talk
  • Timing Analysis and Simulation Tools for Real-Time Control
  • Hybrid Systems
  • Automatic Rectangular Refinement of Affine Hybrid Systems
  • Reachability Problems on Extended O-Minimal Hybrid Automata
  • Counterexamples for Timed Probabilistic Reachability
  • Petri Nets
  • Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
  • Comparison of the Expressiveness of Timed Automata and Time Petri Nets
  • Semantics
  • Quantifying Similarities Between Timed Systems
  • Performance of Pipelined Asynchronous Systems
  • Is Timed Branching Bisimilarity an Equivalence Indeed?
  • Semantics and Modelling
  • Implementation of Timed Automata: An Issue of Semantics or Modeling?
  • Timed Abstract Non-interference.

Ejemplares similares