Mihaela Gheorghiu Bobaru

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Learning Process

Object Recognition

Evolutionary Algorithm

Top Venues

Publications

Corina S. Pasareanu, Mihaela Gheorghiu Bobaru
Learning Techniques for Software Verification and Validation. ISoLA (1) (2012)
Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou
Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV (2008)
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 Syst. Des. 32 (3) (2008)