-
Mihaela Sighireanu is a
French and
Romanian computer scientist specializing in
model checking and
software verification. She
works as a
professor at Paris-Saclay...
-
Klenke (2020), p. 494-495 Bouajjani, A.; Drǎgoi, C.; Enea, C.; Rezine, A.;
Sighireanu, M. (2010). "Invariant
Synthesis for
Programs Mani****ting
Lists with...
- CADP:Construction and
Analysis of
Distributed Processes. 2019. Mateescu, Radu;
Sighireanu,
Mihaela (2003). "Efficient On-the-Fly Model-Checking for
Regular Alternation-Free...
- Hubert; Hartmanns, Arnd; ****sman, Marieke; Kordon, Fabrice; Nagele, Julian;
Sighireanu, Mihaela; Steffen, Bernhard; Suda, Martin; Sutcliffe, Geoff; Weber, Tjark;...
-
International Publishing,
October 2017, doi 10.1007/978-3-319-68270-9_1
Mihaela Sighireanu (with
updates by
Alban Catry,
David Champelovier,
Hubert Garavel, Frédéric...