Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Asarin, Eugene (Επιμελητής έκδοσης), Bouyer, Patricia (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4202
• Θέματα: Computer science.; Special purpose computers.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently sta...

Πίνακας περιεχομένων:

• 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.