default search action
9. FORMATS 2011: Aalborg, Denmark
- Uli Fahrenberg, Stavros Tripakis:
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Lecture Notes in Computer Science 6919, Springer 2011, ISBN 978-3-642-24309-7
Invited Talks
- Jean-Francois Kempf, Marius Bozga, Oded Maler:
Performance Evaluation of Schedulers in a Probabilistic Setting. 1-17 - Boudewijn R. Haverkort
:
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? 18-24 - Rajeev Alur:
Interfaces for Control Components. 25
Session 1: Probabilistic Models
- Taolue Chen
Time-Bounded Verification of CTMCs against Real-Time Specifications. 26-42 - Bart D. Theelen, Marc Geilen
Performance Model Checking Scenario-Aware Dataflow. 43-59 - Lucian Bentea, Peter Csaba Ölveczky:
Probabilistic Real-Time Rewrite Theories and Their Expressive Power. 60-79 - Alexandre David, Kim G. Larsen
Statistical Model Checking for Networks of Priced Timed Automata. 80-96
Session 2: Robustness
- Patricia Bouyer, Nicolas Markey
Robust Model-Checking of Timed Automata via Pumping in Channel Machines. 97-112 - Nicolas Basset, Eugene Asarin
Thin and Thick Timed Regular Languages. 113-128 - Kim G. Larsen
Robust Specification of Real Time Components. 129-144
Session 3: Games
- Krishnendu Chatterjee, Rupak Majumdar:
Minimum Attention Controller Synthesis for Omega-Regular Objectives. 145-159 - Jan-David Quesel, Martin Fränzle
Crossing the Bridge between Similar Games. 160-176
Session 4: Verification and Testing
- Bahareh Badban, Martin Lange:
Exact Incremental Analysis of Timed Automata with an SMT-Solver. 177-192 - Matthias Woehrle, Kai Lampka, Lothar Thiele:
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. 193-208 - Gilles Geeraerts, Jean-François Raskin
Event Clock Automata: From Theory to Practice. 209-224 - Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya:
On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections. 225-239
Session 5: Verification
- Stefan Kupferschmid, Bernd Becker
Craig Interpolation in the Presence of Non-linear Constraints. 240-255 - Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier
On the Verification of Timed Ad Hoc Networks. 256-270
Session 6: Hybrid Systems
- Tomás Dzetkulic, Stefan Ratschan:
Incremental Computation of Succinct Abstractions for Hybrid Systems. 271-285 - Corina Mitrohin, Andreas Podelski:
Composing Stability Proofs for Hybrid Systems. 286-300 - Sven Schneider, Uwe Nestmann:
Rigorous Discretization of Hybrid Systems Using Process Calculi. 301-316
Session 7: Applications
- Sriram Sankaranarayanan, Hadjar Homaei, Clayton Lewis:
Model-Based Dependability Analysis of Programmable Drug Infusion Pumps. 317-334 - Suleiman Abu Kharmeh, Kerstin Eder, David May:
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. 335-351
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: