Mihaela SighireanuMaître de Conférences (Assistant Professor) at the University Paris Diderot
|
| Mailing address: | LIAFA, University Paris Diderot Case 7014, 75205 Paris Cedex 13, FRANCE |
| Office address: | room 6A7, 175 rue du Chevaleret, 75013 Paris, FRANCE |
| E-mail: | Mihaela[.]Sighireanu[AT]liafa[.]jussieu[.]fr |
| Phone: | +(33) 1 57 27 92 45 |
| Fax: | +(33) 1 57 27 93 36 |
| Web: | http://www.liafa.jussieu.fr/~sighirea/ |
 |
Research (program verification, model checking, LOTOS, LOTOS NT, E-LOTOS, fault tolerance) |
|
Publications |
|
Software (Cinv, CMRS, Spade, Press, TReX, TRAIAN, CADP, DC2SDX) |
|
Teaching (notes in French, proposals for student projects) |
|
Personal links |
|
What's new? 
|
Last modified: Mon Jan 11 22:30:11 CET 2010