DC2SDX: A translator from DC to SynDEx, by Mihaela Sighireanu.
EVALUATOR : An on-the-fly model-checker of regular alternation-free mu-calculus formulas, by Radu Mateescu and Mihaela Sighireanu.
Efficient on-the-fly model-checking for regular alternation-free mu-calculus, an Inria research report also published in FMICS'00, by Radu Mateescu and Mihaela Sighireanu. 2000.
Tolère stage report, an internship report, by Claudio Pinello. 2000.
Fault-tolerant static scheduling for real-time distributed embedded systems, an Inria research report, by Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, and Yves Sorel. 2000.
Off-line real-time fault-tolerant scheduling, in Euromicro Workshop on Parallel and Distributed Processing, by Catalin Dima, Alain Girault, Christophe Lavarenne, and Yves Sorel. 2001.
Fault-tolerant static scheduling for real-time distributed embedded systems, in International Conference on Distributed Computing Systems, by Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, and Yves Sorel. This is a 4 pages extended abstract. 2001.
Generation of fault-tolerant static scheduling for real-time distributed embedded systems with multi-point links, in IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, by Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, and Yves Sorel. This is the full version of number 7. 2001.
An algorithm for automatically
obtaining distributed and fault-tolerant static schedules, in
International Conference on Dependable Systems and Networks, by
Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, and Yves
Sorel. 2003.
Une heuristique d'ordonnancement et de
distribution tolérante aux pannes pour systèmes temps-réel
embarqués, in Modélisation des Systèmes Réactifs, by Alain
Girault, Hamoudi Kalla, and Yves Sorel. This is the French version of
number 9. 2003.