Model-checking in dense real-time. Information and Computation, pp.2-34, 1993. ,
DOI : 10.1006/inco.1993.1024
URL : http://doi.org/10.1006/inco.1993.1024
The theory of timed automata, Theoretical Computer Science, issue.126, pp.183-235, 1994. ,
XTG-an engineering approach to modelling and analysis of real-time systems, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), pp.88-97, 1998. ,
DOI : 10.1109/EMWRTS.1998.685072
UPPAAL - Now, Next, and Future, Modeling and Verification of Parallel Processes, pp.99-124, 2001. ,
DOI : 10.1007/3-540-45510-8_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.263
The SLAM project: Debugging system software via static analysis, Principles of Programming Languages, pp.1-3, 2002. ,
Tutorial on the event-based B method, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00092846
Counterexample-guided abstraction refinement, 12th CAV00, pp.154-169, 1855. ,
DOI : 10.1109/time.2003.1214874
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.407
Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992. ,
DOI : 10.1016/0743-1066(92)90030-7
URL : http://doi.org/10.1016/0743-1066(92)90030-7
Verification of real-time systems by successive over and under approximation, 7th CAV95, pp.409-422, 1995. ,
DOI : 10.1007/3-540-60045-0_66
Construction of abstract state graphs with PVS, 9th CAV97, pp.72-83, 1254. ,
DOI : 10.1007/3-540-63166-6_10
Delay analysis in synchronous programs, LNCS, vol.93, issue.697, 1993. ,
DOI : 10.1007/3-540-56922-7_28
Abstractions from proofs, 31st POPL, 2004. ,
DOI : 10.1145/2641638.2641655
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1200
Parametric analysis of real-time embedded systems with abstract approximation interpretation, 26th ICSE, 2004. ,
Predicate diagrams for the verification of real-time system, 5th AVoCS05, 2005. ,
Syntactic Program Transformations for Automatic Abstraction, LNCS, pp.435-449, 1855. ,
DOI : 10.1007/10722167_33
The Formal Analysis of Timed Systems in practice, 1998. ,
URL : https://hal.archives-ouvertes.fr/tel-00004907
Modularization and abstraction: The keys to practical formal verification, 23th MFCS98, pp.54-71, 1450. ,
DOI : 10.1007/BFb0055757
KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997. ,
DOI : 10.1007/s100090050009