Eric Conquet

According to our database, Eric Conquet authored at least 3 papers between 1996 and 2011.

Collaborative distances:

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

2011

TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future.

Maxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

1999

Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.

Eric Conquet, Jean-Luc Marty

Proceedings of the FM'99 - Formal Methods, 1999

1996

Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.

S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich

Proceedings of the Digest of Papers: FTCS-26, 1996