|
Mihaela
Sighireanu
Associate Professor
IRIF
University Paris Diderot
|
|
Contact
|
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).
|
Teaching
|
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.
|
|