Radu Grigore

Cited by

	All	Since 2018
Citations	582	260
h-index	15	9
i10-index	16	9

2006200720082009201020112012201320142015201620172018201920202021202220233 4 8 6 11 18 33 28 40 48 47 67 45 66 50 53 33 11

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dino DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Mikoláš JanotaCTU PragueVerified email at cvut.cz
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
Nikos TzevelekosQueen Mary, University of LondonVerified email at eecs.qmul.ac.uk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
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
Ravi MangalCarnegie Mellon UniversityVerified email at andrew.cmu.edu
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	94	2014
Java Generics are Turing Complete R Grigore Principles of Programming Languages (POPL), 2017	59	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	49	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	44	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	36*	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	29	2007
Constructing checkers from PSL properties S Gheorghita, R Grigore Control Systems and Computer Science (CSCS), 757–762, 2005	29	2005
Abstraction Refinement Guided by a Learnt Probabilistic Model R Grigore, H Yang Principles of Programming Languages (POPL), 2016	26	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	26	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	25	2017
History-Register Automata N Tzevelekos, R Grigore Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016	23*	2016
Counterexample guided abstraction refinement algorithm for propositional circumscription M Janota, R Grigore, J Marques-Silva Logics in artificial intelligence (JELIA), 195-207, 2010	23	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	12	2017
Selective Monitoring R Grigore, S Kiefer International Conference on Concurrency Theory (CONCUR), 2018	6	2018
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: 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

Cited by

Co-authors