9. FORMATS 2011: Aalborg, Denmark

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, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
  Time-Bounded Verification of CTMCs against Real-Time Specifications. 26-42
  
• Bart D. Theelen, Marc Geilen, Jeroen Voeten:
  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, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
  Statistical Model Checking for Networks of Priced Timed Automata. 80-96
  

Session 2: Robustness

• Patricia Bouyer, Nicolas Markey, Ocan Sankur:
  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, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski:
  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, Werner Damm:
  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, Nathalie Sznajder:
  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, Riccardo Traverso:
  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
  

Last update Fri May 25 08:14:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page