Radu Grigore

40 papers A* 5A 1B 5Journal 17Unranked 12
YearRankTypeTitle / Venue / Authors
2024 — conf
Automatic Compositional Checking of Multi-object TypeState Properties of Software.
Principles of Verification (1)
Radu Grigore, Dino Distefano, Nikos Tzevelekos
2024 A* conf
Enhancing Compositional Static Analysis with Dynamic Analysis.
ASE
Dino Distefano, Matteo Marescotti, Cons T. Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne
2024 — conf
PrivacyCAT: Privacy-Aware Code Analysis at Scale.
ICSE-SEIP
Ke Mao, Cons T. Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne
2022 — conf
InfERL: scalable and extensible Erlang static analysis.
Erlang Workshop
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
2021 J jnl
Selective monitoring.
J. Comput. Syst. Sci.
Radu Grigore, Stefan Kiefer
2019 J jnl
PrideMM: A Solver for Relaxed Memory Models.
CoRR
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
2019 — conf
PrideMM: Second Order Model Checking for Memory Consistency Models.
FM Workshops (2)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
2018 B conf
Selective Monitoring.
CONCUR
Radu Grigore, Stefan Kiefer
2018 J jnl
Selective Monitoring.
CoRR
Radu Grigore, Stefan Kiefer
2017 J jnl
Effective interactive resolution of static analysis alarms.
Proc. ACM Program. Lang.
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
2017 A* conf
Java generics are turing complete.
POPL
Radu Grigore
2017 — conf
Maximum Satisfiability in Software Analysis: Applications and Techniques.
CAV (1)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
2017 — conf
On the Quest for an Acyclic Graph.
RCRA@AI*IA
Mikolás Janota, Radu Grigore, Vasco Manquinho
2017 J jnl
On the Quest for an Acyclic Graph.
CoRR
Mikolas Janota, Radu Grigore, Vasco Manquinho
2016 A* conf
Abstraction refinement guided by a learnt probabilistic model.
POPL
Radu Grigore, Hongseok Yang
2016 J jnl
History-Register Automata
Log. Methods Comput. Sci.
Radu Grigore, Nikos Tzevelekos
2016 J jnl
Java Generics are Turing Complete.
CoRR
Radu Grigore
2016 A* conf
Proving the Herman-Protocol Conjecture.
ICALP
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
2015 J jnl
Abstraction Refinement Guided by a Learnt Probabilistic Model.
CoRR
Radu Grigore, Hongseok Yang
2015 J jnl
Proving the Herman-Protocol Conjecture.
CoRR
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
2015 — conf
Tree Buffers.
CAV (1)
Radu Grigore, Stefan Kiefer
2015 J jnl
Tree Buffers.
CoRR
Radu Grigore, Stefan Kiefer
2014 A* conf
On abstraction refinement for program analyses in Datalog.
PLDI
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
2013 B conf
History-Register Automata.
FoSSaCS
Nikos Tzevelekos, Radu Grigore
2013 B conf
On QBF Proofs and Preprocessing.
LPAR
Mikolás Janota, Radu Grigore, João Marques-Silva
2013 J jnl
On QBF Proofs and Preprocessing.
CoRR
Mikolás Janota, Radu Grigore, João Marques-Silva
2013 A conf
Runtime Verification Based on Register Automata.
TACAS
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
2012 J jnl
Runtime Verification Based on Register Automata
CoRR
Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
2012 J jnl
The Design and Algorithms of a Verification Condition Generator
CoRR
Radu Grigore
2011 — conf
The COST IC0701 Verification Competition 2011.
FoVeOOS
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
2011 — conf
jStar-eclipse: an IDE for automated verification of Java programs.
SIGSOFT FSE
Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson
2010 J jnl
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
CoRR
Mikolás Janota, João Marques-Silva, Radu Grigore
2010 B conf
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.
JELIA
Mikolás Janota, Radu Grigore, João Marques-Silva
2010 B conf
How to Complete an Interactive Configuration Process?
SOFSEM
Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva
2009 J jnl
Algorithms for finding dispensable variables
CoRR
Mikolás Janota, João Marques-Silva, Radu Grigore
2009 — conf
CLOPS: A DSL for Command Line Options.
DSL
Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry
2009 J jnl
How to Complete an Interactive Configuration Process?
CoRR
Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva
2009 — conf
Strongest postcondition of unstructured programs.
FTfJP@ECOOP
Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry
2007 J jnl
Edit and verify
CoRR
Radu Grigore, Michal Moskal
2007 — conf
Reachability analysis for annotated code.
SAVCBS
Mikolás Janota, Radu Grigore, Michal Moskal