Radu Grigore
Radu Grigore
Verified email at kent.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
792014
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
382012
Java Generics are Turing Complete
R Grigore
Principles of Programming Languages (POPL), 2017
342017
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
332013
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
312010
coreStar: The Core of jStar
M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ...
Intermediate Verification Languages (BOOGIE), 2011
302011
Reachability analysis for annotated code
M Janota, R Grigore, M Moskal
Specification and Verification of Component-Based Systems (SAVCBS), 23-30, 2007
282007
Constructing checkers from PSL properties
S Gheorghita, R Grigore
Control Systems and Computer Science (CSCS), 757–762, 2005
262005
On QBF Proofs and Preprocessing
M Janota, R Grigore, J Marques-Silva
Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013
252013
Strongest postcondition of unstructured programs
R Grigore, J Charles, F Fairmichael, J Kiniry
Formal Techniques for Java-like Programs (FTfJP), 2009
222009
Abstraction Refinement Guided by a Learnt Probabilistic Model
R Grigore, H Yang
Principles of Programming Languages (POPL), 2016
212016
Counterexample guided abstraction refinement algorithm for propositional circumscription
M Janota, R Grigore, J Marques-Silva
Logics in artificial intelligence (JELIA), 195-207, 2010
212010
History-Register Automata
N Tzevelekos, R Grigore
Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016
20*2016
Effective Interactive Resolution of Static Analysis Alarms
X Zhang, R Grigore, X Si, M Naik
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2017
112017
Maximum Satisfiability in Software Analysis: Applications and Techniques
X Si, X Zhang, R Grigore, M Naik
Computer-Aided Verification (CAV) -- invited tutorial, 2017
112017
On the Quest for an Acyclic Graph
M Janota, R Grigore, V Manquinho
(RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017
52017
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
42011
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
42011
PrideMM: A Solver for Relaxed Memory Models
S Cooksey, S Harris, M Batty, R Grigore, M Janota
arXiv preprint arXiv:1901.00428, 2018
22018
Selective Monitoring
R Grigore, S Kiefer
International Conference on Concurrency Theory (CONCUR), 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–20