Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Radu Grigore
2010 – today
- 2013
[c8]- [c7]Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos: Runtime Verification Based on Register Automata. TACAS 2013: 260-276
- 2012
- [i7]Radu Grigore: The Design and Algorithms of a Verification Condition Generator. CoRR abs/1204.6719 (2012)
- [i6]
- [i5]Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos: Runtime Verification Based on Register Automata. CoRR abs/1209.5325 (2012)
- 2011
- [c6]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: 3-21
- [c5]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: 428-431
- 2010
- [c4]Mikolás Janota, Radu Grigore, João Marques-Silva: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. JELIA 2010: 195-207
- [c3]Mikolás Janota, Goetz Botterweck, Radu Grigore, João P. Marques Silva: How to Complete an Interactive Configuration Process? SOFSEM 2010: 528-539
- [i4]Mikolás Janota, João Marques-Silva, Radu Grigore: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. CoRR abs/1006.5896 (2010)
2000 – 2009
- 2009
- [c2]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: 187-210
- [i3]Mikolás Janota, João Marques-Silva, Radu Grigore: Algorithms for finding dispensable variables. CoRR abs/0910.0013 (2009)
- [i2]Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva: How to Complete an Interactive Configuration Process? CoRR abs/0910.3913 (2009)
- 2007
- [c1]Mikolás Janota, Radu Grigore, Michal Moskal: Reachability analysis for annotated code. SAVCBS 2007: 23-30
- [i1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 23:39 CET by the dblp team