Implementation of timed automata: an issue of semantics or modeling? In Formal Modeling and Analysis of Timed Systems (FORMATS'05), LNCS, vol.3829, 2005. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Testing Conformance of Real-Time Applications by Automatic Generation of Observers, 4th International Workshop on Runtime Verification, pp.23-43, 2005. ,
DOI : 10.1016/j.entcs.2004.01.036
Forward analysis of updatable timed automata. Formal Methods in System Design, pp.281-320, 2004. ,
Fault Diagnosis Using Timed Automata, FoSSaCS'05, pp.219-233, 2005. ,
DOI : 10.1007/978-3-540-31982-5_14
What good are digital clocks?, ICALP'92, 1992. ,
DOI : 10.1007/3-540-55719-9_103
Diagnosis of dense-time systems using digital clocks, ACC'06, 2006. ,
Black-Box Conformance Testing for Real-Time Systems, 11th International SPIN Workshop on Model Checking of Software, 2004. ,
DOI : 10.1007/978-3-540-24732-6_8
Real-time testing with timed automata testers and coverage criteria In Formal Techniques, Modelling and Analysis of Timed and Fault Tolerant Systems (FORMATS-FTRTFT'04), LNCS, vol.3253, 2004. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995. ,
DOI : 10.1109/9.412626
Fault diagnosis for timed automata In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02), volume 2469 of LNCS, 2002. ,
Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design, pp.25-68, 2001. ,
Checking timed Büchi automata emptiness efficiently. Formal Methods in System Design, pp.267-292, 2005. ,