Radu Grigore

Cited by

	All	Since 2017
Citations	549	300
h-index	15	10
i10-index	15	10

200620072008200920102011201220132014201520162017201820192020202120223 4 8 6 12 16 33 28 38 48 45 68 46 67 49 55 13

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mikoláš JanotaCTU PragueVerified email at cvut.cz
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
Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
Ravi MangalCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Rosemary MonahanNational Univeristy of IrelandVerified email at mu.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
Matko BotincanComputer ScientistVerified email at cam.ac.uk
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org

Radu Grigore

Facebook

Verified email at fb.com - 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	92	2014
Java Generics are Turing Complete R Grigore Principles of Programming Languages (POPL), 2017	52	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	43	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	39	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	35	2010
coreStar: The Core of jStar M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ... Intermediate Verification Languages (BOOGIE), 2011	33	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	28	2005
Abstraction Refinement Guided by a Learnt Probabilistic Model R Grigore, H Yang Principles of Programming Languages (POPL), 2016	27	2016
On QBF Proofs and Preprocessing M Janota, R Grigore, J Marques-Silva Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013	26	2013
Strongest postcondition of unstructured programs R Grigore, J Charles, F Fairmichael, J Kiniry Formal Techniques for Java-like Programs (FTfJP), 2009	25	2009
Effective Interactive Resolution of Static Analysis Alarms X Zhang, R Grigore, X Si, M Naik Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2017	24	2017
History-Register Automata N Tzevelekos, R Grigore Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 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	17	2017
On the Quest for an Acyclic Graph M Janota, R Grigore, V Manquinho (RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017	9	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
Selective Monitoring R Grigore, S Kiefer International Conference on Concurrency Theory (CONCUR), 2018	4	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	4	2011
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	3	2019

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

Follow this author

Cited by

Co-authors