Eric Petitjean

From Timed Automata to Testable Untimed Automata

Hacène Fouchal, Eric Petitjean, 1999 .

Fault Detection on Timed Systems

Hacène Fouchal, Eric Petitjean, 2001, Stud. Inform. Univ..

A Test Case Derivation for Timed Systems

Hacène Fouchal, Eric Petitjean, 2001, OPODIS.

Testing timed systems with timed purposes

Sébastien Salva, Hacène Fouchal, Eric Petitjean, 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

A realistic architecture for timed testing

Hacène Fouchal, Eric Petitjean, 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

An User-Oriented Testing of Real Time Systems

Sébastien Salva, Hacène Fouchal, Eric Petitjean, 2001 .