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 | 260 | 1999 |
Static partial order reduction R Kurshan, V Levin, M Minea, D Peled, H Yenigün Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998 | 146 | 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 | 132 | 2012 |
Assume-guarantee reasoning for hierarchical hybrid systems TA Henzinger, M Minea, V Prabhu HsCC 2034, 275-290, 2001 | 115 | 2001 |
Computing quantitative characteristics of finite-state real-time systems Campos, Marrero, Minea, Hiraishi 1994 Proceedings Real-Time Systems Symposium, 266-270, 1994 | 115 | 1994 |
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 CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999 | 77 | 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 | 76 | 1995 |
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 | 72 | 2009 |
Duplicate code detection using anti-unification P Bulychev, M Minea Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008 | 68 | 2008 |
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 | 49 | 1997 |
Synthesis of VHDL concurrent processes P Eles, M Minea, K Kuchcinski, Z Peng European Design Automation Conference: Proceedings of the conference on …, 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 | 44 | 2009 |
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 |
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 |
Compiling VHDL into a high-level synthesis design representation. P Eles, K Kuchcinski, Z Peng, M Minea EURO-DAC, 604-609, 1992 | 39 | 1992 |
Partial order reduction for verification of timed systems M Minea Carnegie Mellon University, 1999 | 37 | 1999 |
Specifying and verifying partial order properties using template MSCs B Genest, M Minea, A Muscholl, D Peled Foundations of Software Science and Computation Structures: 7th …, 2004 | 32 | 2004 |
Equivalence checking using abstract BDDs S Jha, Y Lu, M Minea, EM Clarke Proceedings International Conference on Computer Design VLSI in Computers …, 1997 | 32 | 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 |