[mihaela2014.jpg] Mihaela Sighireanu
Associate Professor
University Paris Diderot

Office: SG 4021
Phone: +(33) 1 57 27 94 01
E-mail: firstname.lastname@irif.fr
Fax: +(33) 1 57 27 93 36
Mail: University Paris Diderot / IRIF / Sophie Germain Building
8 place Aurélie Nemours / F-75013 Paris France
Venue: directions
Curriculum Biographical sketch
Academic CV
My HDR defense
Publications My list, DBLP, Google Scholar
Raphaël Cauderlier and Mihaela Sighireanu: A Verified Implementation of the Bounded List Container at TACAS 2018
NEWS SL-COMP'18 is hosted by ADSL Workshop at FLOC 2018
AVoCS'18 is hosted by FM'18 at FLOC 2018
GT Verif 2018 at Grenoble
Research My research focuses on models, algorithms, and tools for the verification and analysis of reliable systems, in particular:
software analysis and verification (see also tool CELIA, projects Vecolib and Colis),
decision procedures for program logics (see also solver Spen and SL-COMP'14),
timed and parameterized systems (see also TReX),
model-checking (see also CADP),
fault tolerance,
specification languages (see also TRAIAN).
Courses at UFR d'Informatique,
Courses at EIDD,
Past courses, internships, services.
Software SPEN: solver for Separation Logic,
Celia: verification and analysis of C programs with lists,
Spade: analysis of Synchronized PAD,
Press: bounded reachability in PRS,
TReX: verification of parameterized extended automata,
TRAIAN: compiler for LNT data structures,
CADP: toolbox for model-checking,
DC2SDX: translator of synchronous languages common format.
Last modified: Wed May 23 09:06:29 CEST 2018