Marius Minea

State space reduction using partial order techniques

E. M. Clarke, O. Grumberg, Marius Minea et al. · International Journal on Software Tools for Technology Transfer · 1999 · 195 citations

Computing, Computer Science, Computer Systems +12

Computing quantitative characteristics of finite-state real-time systems

Campos, Clarke, Marrero et al. · 1994 · 80 citations

Computing, Computer Science, Systems Engineering +17

Relooper

Danny Dig, Mihai Tarce, Cosmin Radoi et al. · 2009 · 53 citations

Computing, Computer Science, Compilers +16

Duplicate Code Detection Using Anti-Unification

Peter Bulychev, Marius Minea · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2008 · 53 citations · Full text

Computing, Computer Science, Algorithms +9

Verus

Sérgio Campos, E. M. Clarke, W. Marrero et al. · ACM SIGPLAN Notices · 1995 · 47 citations · Full text

Computing, Computer Engineering, Computer Science +17