Christian Antoine

According to our database, Christian Antoine authored at least 6 papers between 1993 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

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

Nawal Addouche, Christian Antoine, Jacky Montmain

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

2005

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

Nawal Addouche, Christian Antoine, Jacky Montmain

Proceedings of the Computer Safety, 2005

2004

UML models for dependability analysis of real-time systems.

Nawal Addouche, Christian Antoine, Jacky Montmain

Proceedings of the IEEE International Conference on Systems, 2004

2002

Verification of a DSP IP cores by model checking.

H. N. Nguyen, P. Koumou, Bernard Candaele, Michel Sarlotte, Christian Antoine, S. Emeriau

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

1994

Using formal methods to validate C programs.

Christian Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993

A Graphic Language Based on Timing Diagrams.

Christian Antoine, Bernard Le Goff, Jean-Eric Pin

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993