Mihai Florian

According to our database, Mihai Florian authored at least 3 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Logic Model Checking of Time-Periodic Real-Time Systems.

Mihai Florian, Edward B. Gamble, Gerard J. Holzmann

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Model checking with bounded context switching.

Gerard J. Holzmann, Mihai Florian

Formal Aspects Comput., 2011

A Framework for Systematic Testing of Multi-threaded Applications.

Mihai Florian

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011