| Description |
1 online resource : illustrations (chiefly color) |
| Series |
Lecture notes in computer science, 0302-9743 ; 7595 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7595.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract) / Twan Basten, Martijn Hendriks, Lou Somers and Nikola Trčka -- Statistical Model Checking, Refinement Checking, Optimization ... for Stochastic Hybrid Systems / Kim G. Larsen -- Robustness of Time Petri Nets under Architectural Constraints / S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime and Olivier H. Roux -- Toward a Timed Theory of Channel Coding / Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre and Dominique Perrin -- Playing Optimally on Timed Automata with Random Delays / Nathalie Bertrand and Sven Schewe -- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems / Rebekah Carter and Eva M. Navarro-López -- Revisiting Timed Specification Theories: A Linear-Time Perspective / Chris Chilton, Marta Kwiatkowska and Xu Wang -- Multi-core Reachability for Timed Automata / Andreas E. Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen and Jaco van de Pol -- Counterexample-Guided Synthesis of Observation Predicates / Rayna Dimitrova and Bernd Finkbeiner -- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems / Christian Ellen, Sebastian Gerwinn and Martin Fränzle -- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition / Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort and Marco Gribaudo -- Reducing Quasi-Equal Clocks in Networks of Timed Automata / Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz and Andreas Podelski -- SMT-Based Induction Methods for Timed Systems / Roland Kindermann, Tommi Junttila and Ilkka Niemelä -- Timed Automata with Disjoint Activity / Marco Muñiz, Bernd Westphal and Andreas Podelski -- The Complexity of Bounded Synthesis for Timed Control with Partial Observability / Hans-Jörg Peter and Bernd Finkbeiner -- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics / Jonas Rinast and Sibylle Schupp -- Frequencies in Forgetful Timed Automata / Amélie Stainer -- Mcta: Heuristics and Search for Timed Systems / Martin Wehrle and Sebastian Kupferschmid |
| Summary |
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits |
| Analysis |
Computer science |
|
Software engineering |
|
Computer software |
|
Logic design |
|
Programming Languages, Compilers, Interpreters |
|
Mathematical Logic and Formal Languages |
|
Programming Techniques |
|
Algorithm Analysis and Problem Complexity |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Computer simulation -- Congresses
|
|
Temporal automata -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
System analysis -- Congresses
|
|
Informatique.
|
|
Computer simulation
|
|
Formal methods (Computer science)
|
|
System analysis
|
|
Temporal automata
|
| Genre/Form |
Conference papers and proceedings
|
|
Software.
|
| Form |
Electronic book
|
| Author |
Jurdziński, Marcin
|
|
Ničković, Dejan
|
| ISBN |
9783642333651 |
|
3642333656 |
|
