Reachability analysis for annotated code. - Mikolás Janota; Radu Grigore; Michal Moskal (SAVCBS, 2007)

Edit and verify - Radu Grigore; Michal Moskal (CoRR, 2007)

CLOPS: A DSL for Command Line Options. - Mikolás Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R. Kiniry (DSL, 2009)

Strongest postcondition of unstructured programs. - Radu Grigore; Julien Charles; Fintan Fairmichael; Joseph Kiniry (FTfJP@ECOOP, 2009)

Algorithms for finding dispensable variables - Mikolás Janota; João Marques-Silva 001; Radu Grigore (CoRR, 2009)

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. - Mikolás Janota; Radu Grigore; João Marques-Silva 001 (JELIA, 2010)

How to Complete an Interactive Configuration Process? - Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques-Silva 001 (SOFSEM, 2010)

The COST IC0701 Verification Competition 2011. - 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; et al. (FoVeOOS, 2011)

jStar-eclipse: an IDE for automated verification of Java programs. - Daiva Naudziuniene; Matko Botincan; Dino Distefano; Mike Dodds; Radu Grigore; Matthew J. Parkinson (SIGSOFT FSE, 2011)

The Design and Algorithms of a Verification Condition Generator - Radu Grigore (CoRR, 2012)

On QBF Proofs and Preprocessing. - Mikolás Janota; Radu Grigore; João Marques-Silva 001 (LPAR, 2013)

Runtime Verification Based on Register Automata. - Radu Grigore; Dino Distefano; Rasmus Lerchedahl Petersen; Nikos Tzevelekos (TACAS, 2013)

On abstraction refinement for program analyses in Datalog. - Xin Zhang 035; Ravi Mangal; Radu Grigore; Mayur Naik; Hongseok Yang (PLDI, 2014)

Tree Buffers. - Radu Grigore; Stefan Kiefer (CAV (1), 2015)

Proving the Herman-Protocol Conjecture. - Maria Bruna; Radu Grigore; Stefan Kiefer; Joël Ouaknine; James Worrell 001 (ICALP, 2016)

Abstraction refinement guided by a learnt probabilistic model. - Radu Grigore; Hongseok Yang (POPL, 2016)

History-Register Automata - Radu Grigore; Nikos Tzevelekos (Log. Methods Comput. Sci., 2016)

On the Quest for an Acyclic Graph. - Mikolás Janota; Radu Grigore; Vasco Manquinho (RCRA@AI*IA, 2017)

Maximum Satisfiability in Software Analysis: Applications and Techniques. - Xujie Si; Xin Zhang 035; Radu Grigore; Mayur Naik (CAV (1), 2017)

Java generics are turing complete. - Radu Grigore (POPL, 2017)

Effective interactive resolution of static analysis alarms. - Xin Zhang 035; Radu Grigore; Xujie Si; Mayur Naik (Proc. ACM Program. Lang., 2017)

PrideMM: Second Order Model Checking for Memory Consistency Models. - Simon Cooksey; Sarah Harris; Mark Batty; Radu Grigore; Mikolás Janota (FM Workshops (2), 2019)

PrideMM: A Solver for Relaxed Memory Models. - Simon Cooksey; Sarah Harris; Mark Batty; Radu Grigore; Mikolás Janota (CoRR, 2019)

Selective monitoring. - Radu Grigore; Stefan Kiefer (J. Comput. Syst. Sci., 2021)

InfERL: scalable and extensible Erlang static analysis. - Ákos Hajdu; Matteo Marescotti; Thibault Suzanne; Ke Mao; Radu Grigore; Per Gustafsson; Dino Distefano (Erlang Workshop, 2022)

Automatic Compositional Checking of Multi-object TypeState Properties of Software. - Radu Grigore; Dino Distefano; Nikos Tzevelekos (Principles of Verification (1), 2024)

PrivacyCAT: Privacy-Aware Code Analysis at Scale. - Ke Mao; Cons Åhs; Sopot Cela; Dino Distefano; Nick Gardner; Radu Grigore; Per Gustafsson; Ákos Hajdu; Timotej Kapus; Matteo Marescotti; Gabriela Cunha Sampaio; Thibault Suzanne (ICSE-SEIP, 2024)

Enhancing Compositional Static Analysis with Dynamic Analysis. - Dino Distefano; Matteo Marescotti; Cons Åhs; Sopot Cela; Gabriela Cunha Sampaio; Radu Grigore; Ákos Hajdu; Timotej Kapus; Ke Mao; Thibault Suzanne (ASE, 2024)