Workshop on Theory and Practice of Timed Systems

(A satelite event of ETAPS 2002)



Saturday 06/04/02
    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)