Radu Grigore

Cited by

	All	Since 2019
Citations	638	276
h-index	15	9
i10-index	16	8

20062007200820092010201120122013201420152016201720182019202020212022202320242 4 8 6 12 18 30 28 41 49 46 67 40 67 47 56 33 40 32

Public access

View all

9 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 NaikMisra Family Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
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 MangalAssistant Professor, Colorado State UniversityVerified email at colostate.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	99	2014
Java Generics are Turing Complete R Grigore Principles of Programming Languages (POPL), 2017	71	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	57	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	46	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	37*	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	34	2017
coreStar: The Core of jStar M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ... Intermediate Verification Languages (BOOGIE), 2011	33	2011
Abstraction Refinement Guided by a Learnt Probabilistic Model R Grigore, H Yang Principles of Programming Languages (POPL), 2016	30	2016
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	28	2005
On QBF Proofs and Preprocessing M Janota, R Grigore, J Marques-Silva Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013	26	2013
History-Register Automata N Tzevelekos, R Grigore Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016	25*	2016
Strongest postcondition of unstructured programs R Grigore, J Charles, F Fairmichael, J Kiniry Formal Techniques for Java-like Programs (FTfJP), 2009	25	2009
Counterexample guided abstraction refinement algorithm for propositional circumscription M Janota, R Grigore, J Marques-Silva Logics in artificial intelligence (JELIA), 195-207, 2010	24	2010
Maximum Satisfiability in Software Analysis: Applications and Techniques X Si, X Zhang, R Grigore, M Naik Computer-Aided Verification (CAV) -- invited tutorial, 2017	22	2017
On the Quest for an Acyclic Graph M Janota, R Grigore, V Manquinho (RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017	13	2017
Selective Monitoring R Grigore, S Kiefer International Conference on Concurrency Theory (CONCUR), 2018	6	2018
InfERL: Scalable and Extensible Erlang Static Analysis Á Hajdu, M Marescotti, T Suzanne, K Mao, R Grigore, P Gustafsson, ...	5	2022
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
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	4	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