Christian Antoine

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
Methodology for UML Modeling and Formal Verification of Real-Time Systems.
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.
Proceedings of the Computer Safety, 2005

2004
UML models for dependability analysis of real-time systems.
Proceedings of the IEEE International Conference on Systems, 2004

2002
Verification of a DSP IP cores by model checking.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

1994
Using formal methods to validate C programs.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993
A Graphic Language Based on Timing Diagrams.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993


  Loading...