Debugging and verification of infinite state real-time systems

Augmenting the discrete timed automaton with other data structures

Theoretical Computer Science

Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages

ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,

Generalizing the Discrete Timed Automaton

CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata

Past Pushdown Timed Automata

CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata

Pushdown timed automata: a binary reachability characterization and safety verification

Theoretical Computer Science