Marius Minea

University of California, Berkeley, Carnegie Mellon University

Papers

Total Citations

188

H-Index

About

Marius Minea is a prominent researcher in the field of formal verification and real-time systems, with a career dedicated to developing rigorous mathematical methods for ensuring the correctness of complex computational systems. His work spans symbolic model checking, hierarchical hybrid systems, and quantitative verification approaches, positioning him as a significant contributor to the theoretical and practical foundations of system verification. Minea's most impactful contribution is his research on assume-guarantee reasoning for hierarchical hybrid systems (2001, 78 citations), which advanced compositional verification techniques for systems that combine discrete and continuous behaviors — a notoriously difficult verification challenge. His sustained work on the Verus tool, introduced in 1995 and refined through subsequent publications (collectively accumulating over 100 citations), demonstrated how symbolic model checking could be practically applied to real-time systems, enabling verification of state spaces with up to 10³⁰ states within minutes. His 1997 paper presenting a quantitative approach to formal verification of real-time systems further cemented his contributions by extending verification methodologies beyond purely qualitative correctness to measurable system properties. For students entering formal methods research, Minea's work represents a foundational bridge between theoretical model checking and practical real-world system verification.