The B-Book: Assigning Programs to Meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
The theory of timed automata, Proceedings REX workshop on Real-Time: Theory and Practice, pp.45-73, 1991. ,
DOI : 10.1007/BFb0031987
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Combining model checking and theorem proving, pp.15-16, 2004. ,
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
Data-structures for the verification of timed automata, Proceedings of the 1st International Workshop on Hybrid and Real-Time Systems, pp.346-360, 1997. ,
DOI : 10.1007/BFb0014737
The SLAM project: Debugging system software via static analysis, Principles of Programming Languages, pp.1-3, 2002. ,
Abstracting WS1S Systems to Verify Parameterized Networks, Proceedings of the 6th Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pp.188-204, 2000. ,
DOI : 10.1007/3-540-46419-0_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.6696
Diagram refinements for the design of reactive systems, Journal of Universal Computer Science, vol.7, issue.2, pp.159-174, 2001. ,
Counterexampleguided abstraction refinement, Computer Aided Verification, pp.154-169, 2000. ,
Dixit: a graphical toolkit for predicate abstractions, Intl. Workshop Automatic Verification of Infinite-State Systems (AVIS 2005, pp.39-48, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000767
Construction of abstract state graphs with PVS, Proceedings 9th International Conference on Computer Aided Verification, CAV'97, pp.72-83, 1997. ,
DOI : 10.1007/3-540-63166-6_10
Experiments in theorem proving and model checking for protocol verification, FME'96: Industrial Benefit and Advances in Formal Methods, pp.662-681, 1996. ,
DOI : 10.1007/3-540-60973-3_113
From quantity to quality, Proceedings of the 1st International Workshop on Hybrid and Real-Time Systems, 1997. ,
DOI : 10.1007/BFb0014712
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.676
Abstractions from proofs, 31st Annual Symp. Princ. of Prog. Lang. (POPL 2004), pp.232-244, 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 International Conference on Software Engineering, pp.39-41, 2004. ,
Real-time system verification techniques based on abstraction/deduction and model checking, Proceedings the 5th International Conference on Integrated Formal Methods, Doctoral Symposium, CS-Report 05-29, pp.26-32, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000641
Modularization and abstraction: The keys to practical formal verification, Proceedings of the 23th International Sumposium on Mathematical Foundations of Computer Science, pp.54-71, 1998. ,
DOI : 10.1007/BFb0055757
A compositional proof of a real-time mutual exclusion protocol, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-00904842
Partition refinement in real-time model checking, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.143-157, 1998. ,
DOI : 10.1007/BFb0055344
Verification of parameterized programs Verification of parameterized programs, Specification and Validation Methods, pp.167-230, 1995. ,
Communication and Concurrency, 1989. ,
Model Checking Real-Time Systems based on partition refinement, 2004. ,
Analysis of timed systems based on timeabstracting bisimulations, Proceedings 8th International Conference on Computer Aided Verification, CAV'96, 1996. ,
Verifying properties of large sets of processes with network invariants, Proceedings of Automatic Verification Methods for Finite State Systems, pp.68-80, 1990. ,
DOI : 10.1007/3-540-52148-8_6
KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997. ,
DOI : 10.1007/s100090050009