| 2008 |
|---|
| 9 | EE | Mihaela Gheorghiu Bobaru,
Corina S. Pasareanu,
Dimitra Giannakopoulou:
Automated Assume-Guarantee Reasoning by Abstraction Refinement.
CAV 2008: 135-148 |
| 8 | EE | Corina S. Pasareanu,
Dimitra Giannakopoulou,
Mihaela Gheorghiu Bobaru,
Jamieson M. Cobleigh,
Howard Barringer:
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
Formal Methods in System Design 32(3): 175-205 (2008) |
| 2007 |
|---|
| 7 | EE | Marsha Chechik,
Mihaela Gheorghiu,
Arie Gurfinkel:
Finding Environment Guarantees.
FASE 2007: 352-367 |
| 6 | EE | Mihaela Gheorghiu,
Arie Gurfinkel,
Marsha Chechik:
Finding State Solutions to Temporal Logic Queries.
IFM 2007: 273-292 |
| 5 | EE | Mihaela Gheorghiu,
Dimitra Giannakopoulou,
Corina S. Pasareanu:
Refining Interface Alphabets for Compositional Verification.
TACAS 2007: 292-307 |
| 2006 |
|---|
| 4 | EE | Shiva Nejati,
Mihaela Gheorghiu,
Marsha Chechik:
Thorough Checking Revisited.
FMCAD 2006: 106-116 |
| 2003 |
|---|
| 3 | EE | Mihaela Gheorghiu,
Janusz A. Brzozowski:
Simulation Of Feedback-Free Circuits In The Algebra Of Transients.
Int. J. Found. Comput. Sci. 14(6): 1033-1054 (2003) |
| 2002 |
|---|
| 2 | EE | Mihaela Gheorghiu,
Janusz A. Brzozowski:
Feedback-Free Circuits in the Algebra of Transients.
CIAA 2002: 106-116 |
| 1 | EE | Janusz A. Brzozowski,
Mihaela Gheorghiu:
Simulation of Gate Circuits in the Algebra of Transients.
CIAA 2002: 57-66 |
