Radu Grigore : Publications
Journal papers
-
[1]
CLOPS: A DSL for command line options
Mikoláš Janota‚ Fintan Fairmichael‚ Viliam Holub‚ Radu Grigore‚ Julien Charles‚ Dermot Cochran and Joseph R. Kiniry
In IFIP Working Conference on Domain Specific Languages (DSL WC). 2009.
Details about CLOPS: A DSL for command line options | BibTeX data for CLOPS: A DSL for command line options
-
[2]
Strongest Postcondition of Unstructured Programs
Radu Grigore‚ Fintan Fairmichael‚ Julien Charles and Joseph R. Kiniry
In Formal Techniques for Java−like Programs (FTfJP). 2009.
Details about Strongest Postcondition of Unstructured Programs | BibTeX data for Strongest Postcondition of Unstructured Programs
-
[3]
CONSTRUCTING CHECKERS FROM PSL PROPERTIES
¸ Stefan Valentin Gheorghita and Radu Grigore
In 15th International Conference on Control Systems and Computer Science. Vol. 2. Pages 757–762. 2005.
Details about CONSTRUCTING CHECKERS FROM PSL PROPERTIES | BibTeX data for CONSTRUCTING CHECKERS FROM PSL PROPERTIES
Conference papers
-
[1]
Abstraction Refinement by a Learnt Probabilistic Model
Radu Grigore and Hongseok Yang
In POPL. 2016.
Details about Abstraction Refinement by a Learnt Probabilistic Model | BibTeX data for Abstraction Refinement by a Learnt Probabilistic Model
-
[2]
Tree Buffers
Radu Grigore and Stefan Kiefer
In CAV. 2015.
-
[3]
On abstraction refinement for program analyses in Datalog
Xin Zhang‚ Ravi Mangal‚ Radu Grigore‚ Mayur Naik and Hongseok Yang
In Michael F. P. O'Boyle and Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation‚ PLDI '14‚ Edinburgh‚ United Kingdom − June 09 − 11‚ 2014. Pages 27. ACM. 2014.
Details about On abstraction refinement for program analyses in Datalog | BibTeX data for On abstraction refinement for program analyses in Datalog | DOI (10.1145/2594291.2594327) | Link to On abstraction refinement for program analyses in Datalog
-
[4]
On QBF Proofs and Preprocessing
Mikolás Janota‚ Radu Grigore and Joao Marques−Silva
In Kenneth L. McMillan‚ Aart Middeldorp and Andrei Voronkov, editors, Logic for Programming‚ Artificial Intelligence‚ and Reasoning — 19th International Conference‚ LPAR−19‚ Stellenbosch‚ South Africa‚ December 14−19‚ 2013. Proceedings. Vol. 8312 of Lecture Notes in Computer Science. Pages 473–489. Springer. 2013.
Details about On QBF Proofs and Preprocessing | BibTeX data for On QBF Proofs and Preprocessing
-
[5]
History−Register Automata
Nikos Tzevelekos and Radu Grigore
In Frank Pfenning, editor, Foundations of Software Science and Computation Structures − 16th International Conference‚ FOSSACS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings. Vol. 7794 of Lecture Notes in Computer Science. Pages 17−33. Springer. 2013.
Details about History−Register Automata | BibTeX data for History−Register Automata
-
[6]
Runtime Verification Based on Register Automata
Radu Grigore‚ Dino Distefano‚ Rasmus Lerchedahl Petersen and Nikos Tzevelekos
In Nir Piterman and Scott A. Smolka, editors, Tools and Algorithms for the Construction and Analysis of Systems − 19th International Conference‚ TACAS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings. Vol. 7795 of Lecture Notes in Computer Science. Pages 260−276. Springer. 2013.
Details about Runtime Verification Based on Register Automata | BibTeX data for Runtime Verification Based on Register Automata
-
[7]
jStar−eclipse: an IDE for automated verification of Java programs
Daiva Naudziuniene‚ Matko Botincan‚ Dino Distefano‚ Mike Dodds‚ Radu Grigore and Matthew J. Parkinson
In Tibor Gyimóthy and Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE−19) and ESEC'11: 13rd European Software Engineering Conference (ESEC−13)‚ Szeged‚ Hungary‚ September 5−9‚ 2011. Pages 428−431. ACM. 2011.
Details about jStar−eclipse: an IDE for automated verification of Java programs | BibTeX data for jStar−eclipse: an IDE for automated verification of Java programs
-
[8]
TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs
Radu Grigore‚ Rasmus Lerchedahl Petersen and Dino Distefano
In FOOL 2011. 2011.
Details about TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs | BibTeX data for TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs
-
[9]
coreStar: the Core of jStar
Matko Botinčan‚ Dino Distefano‚ Mike Dodds‚ Radu Grigore‚ Daiva ̄unieṅeNaudži and Matthew J. Parkinson
In K. Rustan M. Leino and Michał Moskal, editors, BOOGIE 2011. Pages 65–77. 2011.
Details about coreStar: the Core of jStar | BibTeX data for coreStar: the Core of jStar
-
[10]
How to Complete an Interactive Configuration Process?
Mikolás Janota‚ Goetz Botterweck‚ Radu Grigore and João P. Marques Silva
In Jan van Leeuwen‚ Anca Muscholl‚ David Peleg‚ Jaroslav Pokorný and Bernhard Rumpe, editors, SOFSEM 2010: Theory and Practice of Computer Science‚ 36th Conference on Current Trends in Theory and Practice of Computer Science‚ Spindleruv Mlýn‚ Czech Republic‚ January 23–29‚ 2010. Proceedings. Vol. 5901 of Lecture Notes in Computer Science. Pages 528–539. Springer. 2010.
Details about How to Complete an Interactive Configuration Process? | BibTeX data for How to Complete an Interactive Configuration Process?
-
[11]
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Mikolás Janota‚ Radu Grigore and João Marques−Silva
In Tomi Janhunen and Ilkka Niemelä, editors, Logics in Artificial Intelligence − 12th European Conference‚ JELIA 2010‚ Helsinki‚ Finland‚ September 13−15‚ 2010. Proceedings. Vol. 6341 of Lecture Notes in Computer Science. Pages 195−207. Springer. 2010.
Details about Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription | BibTeX data for Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Theses
-
[1]
The Design and Algorithms of a Verification Condition Generator—FreeBoogie
Radu Grigore
PhD Thesis University College Dublin. 2010.
Details about The Design and Algorithms of a Verification Condition Generator—FreeBoogie | BibTeX data for The Design and Algorithms of a Verification Condition Generator—FreeBoogie
Miscellaneous
-
[1]
Reachability Analysis for Annotated Code
Mikoláš Janota‚ Radu Grigore and Michał Moskal
September, 2007.
accepted‚ SAVCBS 2007
Details about Reachability Analysis for Annotated Code | BibTeX data for Reachability Analysis for Annotated Code
-
[2]
Edit and Verify
Radu Grigore and Michał Moskal
September, 2007.
accepted‚ FTP 2007
Details about Edit and Verify | BibTeX data for Edit and Verify