Program
|
|
Sunday 07/04/02 | |||||
| 09:00-09:30 | Opening Remarks | 09:00-10:00 | Invited Talk: Real Life Timing Analysis at Intel | Avi Efrati (Intel) | ||
| 09:30-10:00 | Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets | Pao-Ann Hsiung and Chuen-Hau Gao | 10:00-10:30 | Modular Synthesis of Timed Circuits using Partial Order Reduction | Eric G Mercer, Chris J. Myers and Tomohiro Yoneda | |
| 10:00-10:30 | Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets | Nawel Gharbi and Malika Ioulalen | 10:30-11:00 | Coffee break | ||
| 10:30-11:00 | Coffee break | 11:00-11:30 | Verification of Asynchronous Circuits using Timed Automata | Marius Bozga, Hou Jianmin, Oded Maler and Sergio Yovine | ||
| 11:00-11:30 | TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources | Jérome Ermont and Frédéric Boniol | 11:30-12:00 | Exact Acceleration of Real-Time Model Checking | Martijn Hendriks and Kim G. Larsen | |
| 11:30-12:00 | Timed Semantics of Message Sequence Charts Based on Timed Automata | Philipp Lucas | 12:00-12:30 | On Improving Backwards Verification of Timed Automata | Victor Braberman, Carlos Lopez Pombo and Alfredo Olivero | |
| 12:00-12:30 | Contraction of the ITCPN state space | Hanifa Boucheneb and Gérard Berthelot | 12:30-14:00 | Lunch | ||
| 12:30-14:00 | Lunch | 14:00-15:00 | Invited Talk: Temporal and Resource Constraints in Constraint-Based Scheduling | Claude Le Pape (ILOG) | ||
| 14:00-15:00 | Invited Talk: Towards Adaptive Real-Time Systems | Gorgio Buttazzo (U. Pavia) | 15:00-15:30 | Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking | M. Oliver Möller | |
| 15:00-15:30 | Interval Duration Logic: Expressiveness and Decidability | Paritosh K. Pandya | 15:30-16:00 | Predicate Abstraction for Dense Real-Time Systems | M.Oliver Mölller, Harald Ruess, Maria Sorea | |
| 15:30-16:00 | Prefix and Projection onto State in Duration Calculus | Dimitar P. Guelev and Dang Van Hung | 16:00-16:30 | Coffee Break | ||
| 16:00-16:30 | Coffee Break | 16:30-17:00 | Classes of Timed Automata and the Undecidability of Universality | Arnaldo V. Moura andGuilherme A. Pinto | ||
| 16:30-17:00 | Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) | Marc Boyer | 17:00-18:00 | Invited Talk: Restricting the Behavior of Timed Systems | Joseph Sifakis (Verimag) | |
| 17:00-18:00 | Invited Talk: Scheduling by a Combination of Mathematical and Constraint Programming | John Hooker (CMU) | ||||