Mihaela Bobaru (Gheorghiu)
Mihaela Bobaru (Gheorghiu)
Verified email at utoronto.ca - Homepage
Title
Cited by
Cited by
Year
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
CS Păsăreanu, D Giannakopoulou, MG Bobaru, JM Cobleigh, ...
Formal Methods in System Design 32 (3), 175-205, 2008
1442008
Automated assume-guarantee reasoning by abstraction refinement
MG Bobaru, CS Păsăreanu, D Giannakopoulou
International Conference on Computer Aided Verification, 135-148, 2008
1072008
Refining interface alphabets for compositional verification
M Gheorghiu, D Giannakopoulou, CS Păsăreanu
International Conference on Tools and Algorithms for the Construction and …, 2007
662007
Verification of plans and procedures
G Brat, M Gheorghiu, D Giannakopoulou, C Pasareanu
2008 IEEE Aerospace Conference, 1-8, 2008
162008
Finding environment guarantees
M Chechik, M Gheorghiu, A Gurfinkel
International Conference on Fundamental Approaches to Software Engineering …, 2007
122007
VaqUoT: A tool for vacuity detection
M Gheorghiu, A Gurfinkel, M Chechik
Posters & research tools track, FM 2006, 2006
122006
Circuit simulation using a hazard algebra
M Gheorghiu
University of Waterloo, 2001
92001
Simulation of feedback-free circuits in the algebra of transients
M Gheorghiu, J Brzozowski
International Journal of Foundations of Computer Science 14 (06), 1033-1054, 2003
82003
Thorough checking revisited
S Nejati, M Gheorghiu, M Chechik
2006 Formal Methods in Computer Aided Design, 106-116, 2006
72006
Learning techniques for software verification and validation
CS Păsăreanu, M Bobaru
International Symposium On Leveraging Applications of Formal Methods …, 2012
62012
Gate circuits in the algebra of transients
J Brzozowski, M Gheorghiu
RAIRO-Theoretical Informatics and Applications 39 (1), 67-91, 2005
62005
Finding state solutions to temporal logic queries
M Gheorghiu, A Gurfinkel, M Chechik
International Conference on Integrated Formal Methods, 273-292, 2007
52007
Finding state solutions to temporal queries
M Chechik, M Gheorghiu, A Gurfinkel
Proc. Integrated Formal Methods, 273-292, 2007
52007
Tlq: A Query Solver for States
M Gheorghiu, A Gurfinkel
Tools and Posters Session at the 14th International Symposium on Formal …, 2006
32006
Feedback-free circuits in the algebra of transients
M Gheorghiu, J Brzozowski
International Conference on Implementation and Application of Automata, 106-116, 2002
32002
Simulation of gate circuits in the algebra of transients
J Brzozowski, M Gheorghiu
International Conference on Implementation and Application of Automata, 57-66, 2002
32002
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
M Bobaru, K Havelund, G Holzmann, R Joshi
Springer Science & Business Media, 2011
12011
Approximation and Refinement Techniques for Hard Model-checking Problems
M Bobaru
2009
The system can't perform the operation now. Try again later.
Articles 1–18