| On Abstraction Refinement for Program Analyses in Datalog X Zhang, R Mangal, R Grigore, M Naik, H Yang Programming Language Design and Implementation (PLDI), 2014 | 99 | 2014 |
| Java Generics are Turing Complete R Grigore Principles of Programming Languages (POPL), 2017 | 71 | 2017 |
| Runtime Verification Based on Register Automata R Grigore, D Distefano, RL Petersen, N Tzevelekos Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013 | 53 | 2013 |
| The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software (FoVeOOS), 3-21, 2012 | 45 | 2012 |
| How to complete an interactive configuration process? M Janota, G Botterweck, R Grigore, J Marques-Silva Current Trends in Theory and Practice of Computer Science (SOFSEM), 528-539, 2010 | 38* | 2010 |
| Effective Interactive Resolution of Static Analysis Alarms X Zhang, R Grigore, X Si, M Naik Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2017 | 34 | 2017 |
| coreStar: The Core of jStar M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ... Intermediate Verification Languages (BOOGIE), 2011 | 33 | 2011 |
| Abstraction Refinement Guided by a Learnt Probabilistic Model R Grigore, H Yang Principles of Programming Languages (POPL), 2016 | 29 | 2016 |
| Reachability analysis for annotated code M Janota, R Grigore, M Moskal Specification and Verification of Component-Based Systems (SAVCBS), 23-30, 2007 | 29 | 2007 |
| Constructing checkers from PSL properties S Gheorghita, R Grigore Control Systems and Computer Science (CSCS), 757–762, 2005 | 29 | 2005 |
| Strongest postcondition of unstructured programs R Grigore, J Charles, F Fairmichael, J Kiniry Formal Techniques for Java-like Programs (FTfJP), 2009 | 27 | 2009 |
| On QBF Proofs and Preprocessing M Janota, R Grigore, J Marques-Silva Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013 | 26 | 2013 |
| History-Register Automata N Tzevelekos, R Grigore Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016 | 25* | 2016 |
| Counterexample guided abstraction refinement algorithm for propositional circumscription M Janota, R Grigore, J Marques-Silva Logics in artificial intelligence (JELIA), 195-207, 2010 | 23 | 2010 |
| Maximum Satisfiability in Software Analysis: Applications and Techniques X Si, X Zhang, R Grigore, M Naik Computer-Aided Verification (CAV) -- invited tutorial, 2017 | 20 | 2017 |
| On the Quest for an Acyclic Graph M Janota, R Grigore, V Manquinho (RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017 | 13 | 2017 |
| Selective Monitoring R Grigore, S Kiefer International Conference on Concurrency Theory (CONCUR), 2018 | 6 | 2018 |
| jStar-eclipse: an IDE for automated verification of Java programs D Naudziuniene, M Botincan, D Distefano, M Dodds, R Grigore, ... Foundations of software engineering (FSE), 428-431, 2011 | 5 | 2011 |
| InfERL: Scalable and Extensible Erlang Static Analysis Á Hajdu, M Marescotti, T Suzanne, K Mao, R Grigore, P Gustafsson, ... | 4 | 2022 |
| PrideMM: Second Order Model Checking for Memory Consistency Models S Cooksey, S Harris, M Batty, R Grigore, M Janota International Symposium on Formal Methods, 507-525, 2019 | 4 | 2019 |
Dino DistefanoMeta and Queen Mary University of London在 eecs.qmul.ac.uk 的电子邮件经过验证
