Radu Grigore
Radu Grigore
Verified email at fb.com - Homepage
Cited by
Cited by
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
Java Generics are Turing Complete
R Grigore
Principles of Programming Languages (POPL), 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
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
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
coreStar: The Core of jStar
M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ...
Intermediate Verification Languages (BOOGIE), 2011
Reachability analysis for annotated code
M Janota, R Grigore, M Moskal
Specification and Verification of Component-Based Systems (SAVCBS), 23-30, 2007
Constructing checkers from PSL properties
S Gheorghita, R Grigore
Control Systems and Computer Science (CSCS), 757–762, 2005
Abstraction Refinement Guided by a Learnt Probabilistic Model
R Grigore, H Yang
Principles of Programming Languages (POPL), 2016
On QBF Proofs and Preprocessing
M Janota, R Grigore, J Marques-Silva
Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013
History-Register Automata
N Tzevelekos, R Grigore
Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016
Strongest postcondition of unstructured programs
R Grigore, J Charles, F Fairmichael, J Kiniry
Formal Techniques for Java-like Programs (FTfJP), 2009
Counterexample guided abstraction refinement algorithm for propositional circumscription
M Janota, R Grigore, J Marques-Silva
Logics in artificial intelligence (JELIA), 195-207, 2010
Maximum Satisfiability in Software Analysis: Applications and Techniques
X Si, X Zhang, R Grigore, M Naik
Computer-Aided Verification (CAV) -- invited tutorial, 2017
On the Quest for an Acyclic Graph
M Janota, R Grigore, V Manquinho
(RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017
Effective Interactive Resolution of Static Analysis Alarms
X Zhang, R Grigore, X Si, M Naik
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2017
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
Selective Monitoring
R Grigore, S Kiefer
International Conference on Concurrency Theory (CONCUR), 2018
TOPL: A language for specifying safety temporal properties of object-oriented programs
R Grigore, RL Petersen, D Distefano
Foundations of Object-Oriented Languages (FOOL), 2011
Proving the Herman-Protocol Conjecture
M Bruna, R Grigore, S Kiefer, J Ouaknine, J Worrell
International Colloquium on Automata, Languages, and Programming (ICALP), 2016
The system can't perform the operation now. Try again later.
Articles 1–20