Finite transition systems, 1994. ,
Validation dà applications temps reel a contraintes strictes a làaide de langages rationnels, 2000. ,
Validation d à applications temps r eel strictes a dure es variables a là aide de langages rationnels, 2001. ,
Ordonnancement temps t eel hors-ligne optimal a l à aide de re seaux de Petri en environnement monoprocesseur et multi-processeurs, Th`Th`se.ENSMA, pp.301-324, 1999. ,
Le bus CAN : description -de la th´orie « la pratique, 1999. ,
Etude temporelle des applications temps re el distribue es a contraintes strictes base e sur une analyse d à ordonnanc abilite, 1998. ,