Mihaela Gheorghiu Bobaru

Corina S. Pasareanu, Mihaela Gheorghiu Bobaru: Learning Techniques for Software Verification and Validation. ISoLA (1) 2012: 505-507

Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (Eds.): NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6617, Springer 2011, isbn 978-3-642-20397-8

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)

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148

Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel: Finding Environment Guarantees. FASE 2007: 352-367

Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik: Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292

Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307

Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik: Thorough Checking Revisited. FMCAD 2006: 106-116

Janusz A. Brzozowski, Mihaela Gheorghiu: Gate circuits in the algebra of transients. ITA 39(1): 67-91 (2005)

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)

Janusz A. Brzozowski, Mihaela Gheorghiu: Simulation of Gate Circuits in the Algebra of Transients. CIAA 2002: 57-66

Mihaela Gheorghiu, Janusz A. Brzozowski: Feedback-Free Circuits in the Algebra of Transients. CIAA 2002: 106-116