Mihaela Sighireanu is a French and Romanian computer scientist specializing in model checking and software verification. She works as a professor at Paris-Saclay...
2 KB (237 words) - 18:23, 15 March 2021
International Publishing, October 2017, doi 10.1007/978-3-319-68270-9_1 Mihaela Sighireanu (with updates by Alban Catry, David Champelovier, Hubert Garavel,...
3 KB (448 words) - 20:30, 22 October 2023
CADP:Construction and Analysis of Distributed Processes. 2019. Mateescu, Radu; Sighireanu, Mihaela (2003). "Efficient On-the-Fly Model-Checking for Regular Alternation-Free...
25 KB (2,765 words) - 22:12, 29 October 2024
Hartmanns, Arnd; Huisman, Marieke; Kordon, Fabrice; Nagele, Julian; Sighireanu, Mihaela; Steffen, Bernhard; Suda, Martin; Sutcliffe, Geoff; Weber, Tjark;...
32 KB (3,643 words) - 02:43, 19 August 2024