 | 2012 |
|---|
| 10 |       | Radu Grigore:
The Design and Algorithms of a Verification Condition Generator
CoRR abs/1204.6719: (2012) |
| 2011 |
|---|
| 9 | | 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 |
|---|
| 8 | | Mikolás Janota,
Radu Grigore,
João Marques-Silva:
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.
JELIA 2010: 195-207 |
| 7 | | Mikolás Janota,
Goetz Botterweck,
Radu Grigore,
João P. Marques Silva:
How to Complete an Interactive Configuration Process?
SOFSEM 2010: 528-539 |
| 6 | | Mikolás Janota,
João Marques-Silva,
Radu Grigore:
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
CoRR abs/1006.5896: (2010) |
| 2009 |
|---|
| 5 | | 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 |
| 4 | | Mikolás Janota,
João Marques-Silva,
Radu Grigore:
Algorithms for finding dispensable variables
CoRR abs/0910.0013: (2009) |
| 3 | | Mikolás Janota,
Goetz Botterweck,
Radu Grigore,
João Marques-Silva:
How to Complete an Interactive Configuration Process?
CoRR abs/0910.3913: (2009) |
| 2007 |
|---|
| 2 | | Mikolás Janota,
Radu Grigore,
Michal Moskal:
Reachability analysis for annotated code.
SAVCBS 2007: 23-30 |
| 1 | | Radu Grigore,
Michal Moskal:
Edit and verify
CoRR abs/0708.0713: (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page