Mihaela Gheorghiu Bobaru - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. ProceedingsMihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, Volume 6617 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2008

Automated Assume-Guarantee Reasoning by Abstraction RefinementMihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou. cav 2008: 135-148 [doi]

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoningCorina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer. fmsd, 32(3):175-205, 2008. [doi]