Radu Grigore - Google Scholar

Cited by

	All	Since 2015
Citations	448	293
h-index	13	10
i10-index	15	11

2006200720082009201020112012201320142015201620172018201920203 4 7 6 13 18 31 30 39 46 42 67 46 65 25

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-SilvaResearch Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, FranceVerified email at acm.org
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 NUIM.ie
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
Matko BotincanComputer ScientistVerified email at cam.ac.uk
Ravi MangalGeorgia Institute of TechnologyVerified email at gatech.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	77	2014
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
Java Generics are Turing Complete R Grigore Principles of Programming Languages (POPL), 2017	34	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	32	2013
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	31	2010
coreStar: The Core of jStar M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ... Intermediate Verification Languages (BOOGIE), 2011	30	2011
Reachability analysis for annotated code M Janota, R Grigore, M Moskal Specification and Verification of Component-Based Systems (SAVCBS), 23-30, 2007	28	2007
Constructing checkers from PSL properties S Gheorghita, R Grigore Control Systems and Computer Science (CSCS), 757–762, 2005	26	2005
On QBF Proofs and Preprocessing M Janota, R Grigore, J Marques-Silva Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013	25	2013
Abstraction Refinement Guided by a Learnt Probabilistic Model R Grigore, H Yang Principles of Programming Languages (POPL), 2016	21	2016
Strongest postcondition of unstructured programs R Grigore, J Charles, F Fairmichael, J Kiniry Formal Techniques for Java-like Programs (FTfJP), 2009	21	2009
History-Register Automata N Tzevelekos, R Grigore Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016	20*	2016
Counterexample guided abstraction refinement algorithm for propositional circumscription M Janota, R Grigore, J Marques-Silva Logics in artificial intelligence (JELIA), 195-207, 2010	20	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	10	2017
Maximum Satisfiability in Software Analysis: Applications and Techniques X Si, X Zhang, R Grigore, M Naik Computer-Aided Verification (CAV) -- invited tutorial, 2017	10	2017
On the Quest for an Acyclic Graph M Janota, R Grigore, V Manquinho (RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017	5	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	4	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