TY  - BOOK
AU  - Jurdziński,Marcin
AU  - Ničković,Dejan
TI  - Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings 
SN  - 9783642333651
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Algorithms
KW  - Computer logic
KW  - Mathematical logic
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-33365-1
ER  -