Buch, Englisch, 267 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 429 g
10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Buch, Englisch, 267 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 429 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-642-33364-4
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.
