| State space reduction using partial order techniques EM Clarke, O Grumberg, M Minea, D Peled International Journal on Software Tools for Technology Transfer 2, 279-287, 1999 | 279 | 1999 |
| Static partial order reduction R Kurshan, V Levin, M Minea, D Peled, H Yenigün International Conference on Tools and Algorithms for the Construction and …, 1998 | 150 | 1998 |
| The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ... Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 144 | 2012 |
| Assume-guarantee reasoning for hierarchical hybrid systems TA Henzinger, M Minea, V Prabhu Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001 | 122 | 2001 |
| Computing quantitative characteristics of finite-state real-time systems Campos, Marrero, Minea, Hiraishi 1994 Proceedings Real-Time Systems Symposium, 266-270, 1994 | 120 | 1994 |
| Relooper: refactoring for loop parallelism in Java D Dig, M Tarce, C Radoi, M Minea, R Johnson Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009 | 88 | 2009 |
| Verus: a tool for quantitative analysis of finite-state real-time systems S Campos, E Clarke, W Marrero, M Minea Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995 | 86 | 1995 |
| Partial order reduction for model checking of timed automata M Minea International Conference on Concurrency Theory, 431-446, 1999 | 80 | 1999 |
| Verifying the performance of the PCI local bus using symbolic techniques S Campos, E Clarke, W Marrero, M Minea Proceedings of ICCD'95 International Conference on Computer Design. VLSI in …, 1995 | 79 | 1995 |
| Duplicate code detection using anti-unification P Bulychev, M Minea Proceedings of the spring/summer young researchers’ colloquium on software …, 2008 | 75 | 2008 |
| Synthesis of VHDL concurrent processes P Eles, M Minea, K Kuchcinski, Z Peng EURO-DAC 94, 540-545, 1994 | 49 | 1994 |
| An evaluation of duplicate code detection using anti-unification P Bulychev, M Minea Proc. 3rd International Workshop on Software Clones, 54-55, 2009 | 47 | 2009 |
| The Verus tool: A quantitative approach to the formal verification of real-time systems S Campos, E Clarke, M Minea Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 47 | 1997 |
| Combining software and hardware verification techniques RP Kurshan, V Levin, M Minea, D Peled, H Yenigün Formal Methods in System Design 21, 251-280, 2002 | 43 | 2002 |
| Compiling VHDL into a high-level synthesis design representation. P Eles, K Kuchcinski, Z Peng, M Minea EURO-DAC 92, 604-609, 1992 | 42 | 1992 |
| Partial order reduction for verification of timed systems M Minea Carnegie Mellon University, 1999 | 39 | 1999 |
| Timing analysis of industrial real-time systems S Campos, E Clarke, W Marrero, M Minea Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal …, 1995 | 39 | 1995 |
| Specifying and verifying partial order properties using template MSCs B Genest, M Minea, A Muscholl, D Peled International Conference on Foundations of Software Science and Computation …, 2004 | 33 | 2004 |
| Equivalence checking using abstract BDDs S Jha, Y Lu, M Minea, EM Clarke Proceedings International Conference on Computer Design VLSI in Computers …, 1997 | 33 | 1997 |
| Verifying hardware in its software context and vice-versa RP Kurshan, V Levin, M Minea, DA Peled, H Yenigun US Patent 6,209,120, 2001 | 31 | 2001 |
