Limit search to available items
Book Cover
Author FORMATS (Conference) (4th : 2006 : Paris, France)

Title Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer (eds.)
Published Berlin ; New York : Springer, 2006
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xi, 367 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4202
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 4202. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions of State or State Transitions -- Decidability and Expressive Power of Real Time Logics -- Contributed Papers -- Extended Directed Search for Probabilistic Timed Reachability -- Intersection of Regular Signal-Event (Timed) Languages -- Refinements and Abstractions of Signal-Event (Timed) Languages -- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets -- Matching Scenarios with Timing Constraints -- Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata -- Model Checking Timed Automata with Priorities Using DBM Subtraction -- Symbolic Robustness Analysis of Timed Automata -- Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion -- Temporal Logic Verification Using Simulation -- Undecidable Problems About Timed Automata -- On Timed Simulation Relations for Hybrid Systems and Compositionality -- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling -- On the Computational Power of Timed Differentiable Petri Nets -- Model-Checking Timed ATL for Durational Concurrent Game Structures -- A Dose of Timed Logic, in Guarded Measure -- From MITL to Timed Automata -- Adding Invariants to Event Zone Automata -- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems -- On the Expressiveness of MTL with Past Operators -- Simulator for Real-Time Abstract State Machines -- A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer simulation -- Congresses.
Temporal automata -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Asarin, E. A. (EvgeniÄ­ Aleksandrovich)
Bouyer, Patricia, 1976-
ISBN 9783540450313
Other Titles FORMATS 2006