Radu Grigore

Cited by

	All	Since 2016
Citations	472	266
h-index	13	9
i10-index	14	9

2006200720082009201020112012201320142015201620172018201920203 4 7 7 13 17 32 29 39 47 44 65 47 66 42

Co-authors

Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Nikos TzevelekosQueen Mary, University of LondonVerified email at eecs.qmul.ac.uk
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Rosemary MonahanNational Univeristy of IrelandVerified email at mu.ie
Matko BotincanComputer ScientistVerified email at cam.ac.uk
Marieke HuismanVerified email at ewi.utwente.nl
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Claude MarchéSenior Research Scientist, InriaVerified email at inria.fr
Wojciech MostowskiHalmstad UniversityVerified email at hh.se
Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismVerified email at iaim.ro
Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
Ravi MangalCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org

Radu Grigore

Lecturer, University of Kent

Verified email at kent.ac.uk - Homepage

Program verification


Title Sort by citations Sort by year Sort by 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	79	2014
Java Generics are Turing Complete R Grigore Principles of Programming Languages (POPL), 2017	39	2017
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	38	2012
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	34	2013
coreStar: The Core of jStar M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ... Intermediate Verification Languages (BOOGIE), 2011	33	2011
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	32	2010
Constructing checkers from PSL properties S Gheorghita, R Grigore Control Systems and Computer Science (CSCS), 757–762, 2005	29	2005
Reachability analysis for annotated code M Janota, R Grigore, M Moskal Specification and Verification of Component-Based Systems (SAVCBS), 23-30, 2007	28	2007
On QBF Proofs and Preprocessing M Janota, R Grigore, J Marques-Silva Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013	25	2013
Strongest postcondition of unstructured programs R Grigore, J Charles, F Fairmichael, J Kiniry Formal Techniques for Java-like Programs (FTfJP), 2009	22	2009
History-Register Automata N Tzevelekos, R Grigore Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016	21*	2016
Abstraction Refinement Guided by a Learnt Probabilistic Model R Grigore, H Yang Principles of Programming Languages (POPL), 2016	21	2016
Counterexample guided abstraction refinement algorithm for propositional circumscription M Janota, R Grigore, J Marques-Silva Logics in artificial intelligence (JELIA), 195-207, 2010	21	2010
Maximum Satisfiability in Software Analysis: Applications and Techniques X Si, X Zhang, R Grigore, M Naik Computer-Aided Verification (CAV) -- invited tutorial, 2017	12	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	8	2017
On the Quest for an Acyclic Graph M Janota, R Grigore, V Manquinho (RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017	7	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	5	2011
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	4	2011
PrideMM: A Solver for Relaxed Memory Models S Cooksey, S Harris, M Batty, R Grigore, M Janota arXiv preprint arXiv:1901.00428, 2018	2	2018
Selective Monitoring R Grigore, S Kiefer International Conference on Concurrency Theory (CONCUR), 2018	2	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors