Radu Grigore

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 16

Top Topics

Coloured Petri Nets

Static Analysis

Top Venues

J. Comput. Syst. Sci.

Publications

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
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP (2024)
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop (2022)
Radu Grigore, Stefan Kiefer
Selective monitoring. J. Comput. Syst. Sci. 117 (2021)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
PrideMM: A Solver for Relaxed Memory Models. CoRR (2019)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
PrideMM: Second Order Model Checking for Memory Consistency Models. FM Workshops (2) (2019)
Radu Grigore, Stefan Kiefer
Selective Monitoring. CONCUR (2018)
Radu Grigore, Stefan Kiefer
Selective Monitoring. CoRR (2018)
Mikolás Janota, Radu Grigore, Vasco M. Manquinho
On the Quest for an Acyclic Graph. RCRA@AI*IA (2017)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
Maximum Satisfiability in Software Analysis: Applications and Techniques. CAV (1) (2017)
Mikolas Janota, Radu Grigore, Vasco M. Manquinho
On the Quest for an Acyclic Graph. CoRR (2017)
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
Effective interactive resolution of static analysis alarms. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Radu Grigore
Java generics are turing complete. POPL (2017)
Radu Grigore
Java Generics are Turing Complete. CoRR (2016)
Radu Grigore, Hongseok Yang
Abstraction refinement guided by a learnt probabilistic model. POPL (2016)
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
Proving the Herman-Protocol Conjecture. ICALP (2016)
Radu Grigore, Nikos Tzevelekos
History-Register Automata Log. Methods Comput. Sci. 12 (1) (2016)
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
Proving the Herman-Protocol Conjecture. CoRR (2015)
Radu Grigore, Stefan Kiefer
Tree Buffers. CAV (1) (2015)
Radu Grigore, Stefan Kiefer
Tree Buffers. CoRR (2015)
Radu Grigore, Hongseok Yang
Abstraction Refinement Guided by a Learnt Probabilistic Model. CoRR (2015)
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
On abstraction refinement for program analyses in Datalog. PLDI (2014)
Nikos Tzevelekos, Radu Grigore
History-Register Automata. FoSSaCS (2013)
Mikolás Janota, Radu Grigore, João Marques-Silva
On QBF Proofs and Preprocessing. LPAR (2013)
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata. TACAS (2013)
Mikolás Janota, Radu Grigore, João Marques-Silva
On QBF Proofs and Preprocessing. CoRR (2013)
Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata CoRR (2012)
Radu Grigore
The Design and Algorithms of a Verification Condition Generator CoRR (2012)
Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson
jStar-eclipse: an IDE for automated verification of Java programs. SIGSOFT FSE (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, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Mikolás Janota, Goetz Botterweck, Radu Grigore, João P. Marques Silva
How to Complete an Interactive Configuration Process? SOFSEM (2010)
Mikolás Janota, João Marques-Silva, Radu Grigore
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription CoRR (2010)
Mikolás Janota, Radu Grigore, João Marques-Silva
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. JELIA (2010)
Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva
How to Complete an Interactive Configuration Process? CoRR (2009)
Mikolás Janota, João Marques-Silva, Radu Grigore
Algorithms for finding dispensable variables CoRR (2009)
Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry
CLOPS: A DSL for Command Line Options. DSL (2009)
Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry
Strongest postcondition of unstructured programs. FTfJP@ECOOP (2009)
Radu Grigore, Michal Moskal
Edit and verify CoRR (2007)
Mikolás Janota, Radu Grigore, Michal Moskal
Reachability analysis for annotated code. SAVCBS (2007)