Christian Antoine

Dependability Analysis with UML and Probabilistic Timed Automata

Jacky Montmain, Nawal Addouche, Christian Antoine, 2004 .

A Graphic Language Based on Timing Diagrams

Jean-Éric Pin, Christian Antoine, Bernard Le Goff, 1993, FSTTCS.

UML models for dependability analysis of real-time systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

A graphic language based on timing diagrams

Jean-Eric Pin, Christian Antoine, Bernard Le Goff, 1996 .

Formalisation of Quantitative UML models Using Continuous Time Markov Chains.

Jacky Montmain, Nawal Addouche, Christian Antoine, 2004 .

Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2005, SAFECOMP.

Verification of a DSP IP cores by model checking

Christian Antoine, S. Emeriau, Michel Sarlotte, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

Methodology of modeling and verification of critical systems for safe operation

Christian Antoine, N. Addouche, F. Benaben, 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

Methodology for UML Modeling and Formal Verification of Real-Time Systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).

Probabilistic Model Checking for Dependability Properties of Stochastic Systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2005 .