Accepted Papers
Uli Fahrenberg
and
Kim G. Larsen
. Discount-Optimal Infinite Runs in Priced Timed Automata
Florent Bouchy
,
Arnaud Sangnier
, and
Alain Finkel
. Reachability in Timed Counter Systems
Parosh Abdulla
,
Pavel Krcal
, and
Wang Yi
. Universality of R-automata with Value Copying
Hanifa Boucheneb
and Kamel Barkaoui. Covering Steps Graphs of Time Petri Nets
Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, and
Tayssir Touili
. Verifying Multithreaded Recursive Programs with Integer Variables
Regis Gascon. An Automata-based Approach for CTL* with Constraints