DC2SDX : Un traducteur de DC vers SynDEx, par Mihaela Sighireanu.
EVALUATOR : Un vérificateur à la volée de formules de mu-calcul régulier sans alternance, par Radu Mateescu et Mihaela Sighireanu.
Efficient on-the-fly model-checking for regular alternation-free mu-calculus, un rapport de recherche Inria, également publié dans FMICS'00, par Radu Mateescu et Mihaela Sighireanu. 2000.
Tolère stage report, un rapport de fin de stage, par Claudio Pinello. 2000.
Fault-tolerant static scheduling for real-time distributed embedded systems, un rapport de recherche Inria, par Alain Girault, Christophe Lavarenne, Mihaela Sighireanu et Yves Sorel. 2000.
Off-line real-time fault-tolerant scheduling, dans Euromicro Workshop on Parallel and Distributed Processing, par Catalin Dima, Alain Girault, Christophe Lavarenne et Yves Sorel. 2001.
Fault-tolerant static scheduling for real-time distributed embedded systems, dans International Conference on Distributed Computing Systems, par Alain Girault, Christophe Lavarenne, Mihaela Sighireanu et Yves Sorel. C'est un résumé étendu de 4 pages. 2001.
Generation of fault-tolerant static scheduling for real-time distributed embedded systems with multi-point links, dans IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, par Alain Girault, Christophe Lavarenne, Mihaela Sighireanu et Yves Sorel. C'est la version complète du numéro 7. 2001.
An algorithm for automatically
obtaining distributed and fault-tolerant static schedules, dans
International Conference on Dependable Systems and Networks,
par Alain Girault, Hamoudi Kalla, Mihaela Sighireanu et Yves
Sorel. 2003.
Une heuristique d'ordonnancement et de
distribution tolérante aux pannes pour systèmes temps-réel
embarqués, dans Modélisation des Systèmes Réactifs,
par Alain Girault, Hamoudi Kalla et Yves Sorel. C'est la version
française du numéro 9. 2003.