FORMATS 2012 and QEST 2012 Conference Program

FORMATS 2012 accepted papers (in order of submission)

• Roland Kindermann, Tommi Junttila and Ilkka Niemelä. SMT-based Induction Methods for Timed Systems
• Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muniz and Andreas Podelski. Reducing Quasi-equal Clocks in Networks of Timed Automata
• Jonas Rinast and Sibylle Schupp. Static Detection of Zeno Runs in UPPAAL Networks based on Synchronization Matrices and Two Data-Variable Heuristics
• Christian Ellen, Sebastian Gerwinn and Martin Fränzle. Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems
• Martin Wehrle and Sebastian Kupferschmid. Mcta: Heuristics and Search for Timed Systems
• Amelie Stainer. Frequencies in Forgetful Timed Automata
• Marco Muniz, Bernd Westphal and Andreas Podelski. Timed Automata with Disjoint Activity
• Chris Chilton, Marta Kwiatkowska and Xu Wang. Revisiting Timed Specification Theories: A Linear-Time Perspective
• Nathalie Bertrand and Sven Schewe. Playing Optimally on Timed Automata with Random Delays
• Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort and Marco Gribaudo. Region-based analysis of hybrid Petri nets with a single general one-shot transition
• S. Akshay, Loic Helouet, Claude Jard, Didier Lime and Olivier H. Roux. Robustness of Time Petri Nets under architectural constraints
• Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim Guldstrand Larsen, Mads Chr. Olesen and Jaco van de Pol. Multicore Model Checking of Timed Automata
• Rebekah Carter and Eva Navarro-Lopez. Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems
• Hans-Jörg Peter and Bernd Finkbeiner. The Complexity of Bounded Synthesis for Timed Control with Partial Observability
• Rayna Dimitrova and Bernd Finkbeiner. Counterexample-guided Synthesis of Observation Predicates
• Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre and Dominique Perrin. Toward a Timed Theory of Channel Coding
  

Important Dates

Program Committee

Steering Committee

Past Conferences