The 5th International Conference on Formal Modelling and Analysis of Timed Systems
Guest conference of the
Embedded Systems Week 2007
Salzburg, Austria, October 3—5, 2007
Conference Program
Tuesday (Oct. 2)
- Embedded Systems Week Banquet. More information to come.
Wednesday (Oct. 3)
- 9:00-10:00 : Invited Talk
- From Analysis to Design
Bruce Krogh
- From Analysis to Design
- 10:30-12:00
- Region Stability Proofs for Hybrid Systems
Andreas Podelski and Silke Wagner. - Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
Susmit Jha, Bryan Brady and Sanjit A. Seshia. - AMT: A Property-based Monitoring Tool for Analog Systems
Dejan Nickovic and Oded Maler.
- Region Stability Proofs for Hybrid Systems
- 13:30-15:30
- Hypervolume Approximation in Timed Automata Model Checking
Victor Braberman, Jorge Lucàngeli Obes, Alfredo Olivero and Fernando Schapachnik. - Automatic Abstraction Refinement for Timed Automata
Henning Dierks, Sebastian Kupferschmid and Kim Larsen. - Efficient Detection of Zeno Runs in Timed Automata
Rodolfo Gomez and Howard Bowman. - Symbolic Simulation-Checking of Dense-Time Automata
Farn Wang.
- Hypervolume Approximation in Timed Automata Model Checking
- 16:00-17:00
- Robust Sampling for MITL Specifications
Georgios Fainekos and George Pappas. - Partial Order Reduction for Verifiation of Real-Time Components
John Hakansson and Paul Pettersson.
- Robust Sampling for MITL Specifications
Thursday (Oct. 4)
- 9:00-10:00 : Invited Talk
- Abstraction of Probabilistic Systems
Joost-Pieter Katoen
- Abstraction of Probabilistic Systems
- 10:30-12:00
- CSL model checking algorithms for infinite-state structutitle Markov chains
Anne Remke and Boudewijn Haverkort. - Quantitative Model Checking Revisited: neither Decidable nor Approximable
Sergio Giro and Pedro R. D'Argenio. - On the Expressiveness of MTL Variants over Dense Time
Carlo Alberto Furia and Matteo Rossi.
- CSL model checking algorithms for infinite-state structutitle Markov chains
- 13:30-15:30
- Dynamical properties of timed automata revisited
Catalin Dima. - Counter-free input determined timed automata
Fabrice Chevalier, Deepak D'Souza and Pavithra Prabhakar. - Undecidability of Universality for Timed Automata with Minimal Resources
Sara Adams, Joel Ouaknine and James Worrell. - Costs are Expensive!
Patricia Bouyer and Nicolas Markey.
- Dynamical properties of timed automata revisited
- 16:00-17:30
- Guided Controller Synthesis for Climate Controller Using Uppaal TIGA
Jan Jakob Jessen, Jacob Illum Rasmussen, Kim G. Larsen and Alexandre David. - Designing Consistent Multimedia Documents: The RT-LOTOS Methodology
Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta and Jean-Pierre Courtiat. - Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt and Nalini Venkatasubramanian.
- Guided Controller Synthesis for Climate Controller Using Uppaal TIGA
Friday (Oct. 5)
- 9:00-10:00 : Invited Talk
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
Franck Cassez
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- 10:30-12:00
- Towards Budgeting in Real-Time Calculus: Deferrable Servers
Pieter Cuijpers and Reinder Bril. - Multi-Processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times
Pavel Krcal, Martin Stigge and Wang Yi. - On Timed Models of Gene Networks
Grégory Batt, Ramzi Ben Salah and Oded Maler.
- Towards Budgeting in Real-Time Calculus: Deferrable Servers
Back to the conference main page