Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Research
  5. Radu Grigore
  6. Publications

Radu Grigore : Publications

Click here to download all publications in a single bibtex file

@inproceedings{rgrig2016,
  title = "Abstraction Refinement by a Learnt Probabilistic Model",
  author = "Radu Grigore and Hongseok Yang",
  year = "2016",
  booktitle = "POPL",
}
@inproceedings{rgrig2015cav,
  title = "Tree Buffers",
  author = "Radu Grigore and Stefan Kiefer",
  year = "2015",
  booktitle = "CAV",
}
@inproceedings{DBLP:conf/pldi/ZhangMGNY14,
  title = "On abstraction refinement for program analyses in Datalog",
  author = "Xin Zhang and Ravi Mangal and Radu Grigore and Mayur Naik and Hongseok Yang",
  year = "2014",
  booktitle = "{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014",
  editor = "Michael F. P. O'Boyle and Keshav Pingali",
  isbn = "978-1-4503-2784-8",
  pages = "27",
  publisher = "{ACM}",
  url = "http://dl.acm.org/citation.cfm?id=2594291",
  doi = "10.1145/2594291.2594327",
}
@inproceedings{DBLP:conf/lpar/JanotaGM13,
  title = "On {QBF} Proofs and Preprocessing",
  author = "Mikol{\'a}s Janota and Radu Grigore and Joao Marques-Silva",
  year = "2013",
  booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning --- 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings",
  editor = "Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov",
  isbn = "978-3-642-45220-8",
  pages = "473--489",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8312",
}
@inproceedings{DBLP:conf/fossacs/TzevelekosG13,
  title = "History-Register Automata",
  author = "Nikos Tzevelekos and Radu Grigore",
  year = "2013",
  booktitle = "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",
  editor = "Frank Pfenning",
  isbn = "978-3-642-37074-8",
  pages = "17-33",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7794",
}
@inproceedings{DBLP:conf/tacas/GrigoreDPT13,
  title = "Runtime Verification Based on Register Automata",
  author = "Radu Grigore and Dino Distefano and Rasmus Lerchedahl Petersen and Nikos Tzevelekos",
  year = "2013",
  booktitle = "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",
  editor = "Nir Piterman and Scott A. Smolka",
  isbn = "978-3-642-36741-0",
  pages = "260-276",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7795",
}
@inproceedings{DBLP:conf/sigsoft/NaudziunieneBDDGP11,
  title = "jStar-eclipse: an IDE for automated verification of Java programs",
  author = "Daiva Naudziuniene and Matko Botincan and Dino Distefano and Mike Dodds and Radu Grigore and Matthew J. Parkinson",
  year = "2011",
  booktitle = "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",
  editor = "Tibor Gyim{\'o}thy and Andreas Zeller",
  isbn = "978-1-4503-0443-6",
  pages = "428-431",
  publisher = "ACM",
}
@inproceedings{grigore2011,
  title = "{TOPL}: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs",
  author = "Radu Grigore and Rasmus Lerchedahl Petersen and Dino Distefano",
  year = "2011",
  booktitle = "FOOL~2011",
}
@inproceedings{botincan2011,
  title = "\textsf{coreStar}: the Core of \textsf{jStar}",
  author = "Matko Botin\v{c}an and Dino Distefano and Mike Dodds and Radu Grigore and Daiva Naud\v{z}i\=unien\.e and Matthew J. Parkinson",
  year = "2011",
  booktitle = "BOOGIE~2011",
  editor = "K. Rustan M. Leino and Micha{\l} Moskal",
  pages = "65--77",
}
@inproceedings{janota2010cip,
  title = "How to Complete an Interactive Configuration Process?",
  author = "Mikol{\'a}s Janota and Goetz Botterweck and Radu Grigore and Jo{\~a}o P. Marques Silva",
  year = "2010",
  booktitle = "SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml{\'y}n, Czech Republic, January 23--29, 2010. Proceedings",
  editor = "Jan van Leeuwen and Anca Muscholl and David Peleg and Jaroslav Pokorn{\'y} and Bernhard Rumpe",
  isbn = "978-3-642-11265-2",
  pages = "528--539",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5901",
}
@inproceedings{DBLP:conf/jelia/JanotaGM10,
  title = "Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription",
  author = "Mikol{\'a}s Janota and Radu Grigore and Jo{\~a}o Marques-Silva",
  year = "2010",
  booktitle = "Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings",
  editor = "Tomi Janhunen and Ilkka Niemel{\"a}",
  isbn = "978-3-642-15674-8",
  pages = "195-207",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6341",
}
@phdthesis{grigore2010,
  title = "The Design and Algorithms of a Verification Condition Generator---{FreeBoogie}",
  author = "Radu Grigore",
  year = "2010",
  school = "University College Dublin",
}
@article{janota2009clops,
  title = "{CLOPS}: A {DSL} for command line options",
  author = "Mikol\'a\v{s} Janota and Fintan Fairmichael and Viliam Holub and Radu Grigore and Julien Charles and Dermot Cochran and Joseph R. Kiniry",
  year = "2009",
  journal = "IFIP Working Conference on Domain Specific Languages (DSL WC)",
}
@article{grigore2009spup,
  title = "Strongest Postcondition of Unstructured Programs",
  author = "Radu Grigore and Fintan Fairmichael and Julien Charles and Joseph R. Kiniry",
  year = "2009",
  journal = "Formal Techniques for Java-like Programs (FTfJP)",
}
@unpublished{janota2007raa,
  title = "Reachability Analysis for Annotated Code",
  author = "Mikol\'a\v{s} Janota and Radu Grigore and Micha{\l} Moskal",
  year = "2007",
  month = "September",
  note = "accepted, SAVCBS~2007",
}
@unpublished{grigore2007ev,
  title = "Edit and Verify",
  author = "Radu Grigore and Micha{\l} Moskal",
  year = "2007",
  month = "September",
  note = "accepted, FTP~2007",
}
@article{gheorghita2005ccp,
  title = "CONSTRUCTING CHECKERS FROM {PSL} PROPERTIES",
  author = "\c Stefan Valentin Gheorghita and Radu Grigore",
  year = "2005",
  journal = "15th International Conference on Control Systems and Computer Science",
  pages = "757--762",
  volume = "2",
}

About Us

Back to Top