A Framework for Systematic Testing of Multi-threaded Applications. - Mihai Florian (PRDC, 2011)

Model checking with bounded context switching. - Gerard J. Holzmann; Mihai Florian (Formal Aspects Comput., 2011)

Logic Model Checking of Time-Periodic Real-Time Systems. - Mihai Florian; Edward B. Gamble; Gerard J. Holzmann (Infotech@Aerospace, 2012)

Analysis-Aware Design of Embedded Systems Software. - Mihai Florian (2014)