Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3642333664 ISBN 13 : 9783642333668

Editeur : Springer, 2012

Synopsis

Invited Talks.- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract).- Statistical Model Checking, Refinement Checking, Optimization, for Stochastic Hybrid Systems.-Robustness of Time Petri Nets under Architectural Constraints.- Toward a Timed Theory of Channel Coding.- Playing Optimally on Timed Automata with Random Delays.- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.- Revisiting Timed Specification Theories: A Linear-Time Perspective.- Multi-core Reachability for Timed Automata.- Counterexample-Guided Synthesis of Observation Predicates.- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems.- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.- Reducing Quasi-Equal Clocks in Networks of Timed Automata.- SMT-Based Induction Methods for Timed Systems.- Timed Automata with Disjoint Activity.- The Complexity of Bounded Synthesis for Timed Control with Partial Observability.- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.- Frequencies in Forgetful Timed Automata.- Mcta: Heuristics and Search for Timed Systems.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2012
• Langue: anglais
• ISBN 10: 3642333664
• ISBN 13: 9783642333668
• Reliure: Tapa blanda
• Nombre de pages: 280
• Éditeur: Jurdzinski Marcin, Nickovic Dejan
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne