Mihaela Gheorghiu Bobaru

According to our database, Mihaela Gheorghiu Bobaru authored at least 13 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Electric Cell-Substrate Impedance Sensing of Cellular Effects under Hypoxic Conditions and Carbonic Anhydrase Inhibition.

Luciana Stanica, Mihnea Rosu-Hamzescu, Mihaela Gheorghiu, Miruna Stan, Loredana Antonescu, Cristina Polonschii, Eugen Gheorghiu

J. Sensors, 2017

High Performance Low Cost Impedance Spectrometer for Biosensing.

Mihnea Rosu-Hamzescu, Sergiu Oprea, Cristina Polonschii, Eugen Gheorghiu, Mihaela Gheorghiu

Proceedings of the 21st International Conference on Control Systems and Computer Science, 2017

2012

Learning Techniques for Software Verification and Validation.

Corina S. Pasareanu, Mihaela Gheorghiu Bobaru

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2008

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.

Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer

Formal Methods Syst. Des., 2008

Automated Assume-Guarantee Reasoning by Abstraction Refinement.

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Refining Interface Alphabets for Compositional Verification.

Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Finding State Solutions to Temporal Logic Queries.

Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Finding Environment Guarantees.

Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Thorough Checking Revisited.

Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

Gate circuits in the algebra of transients.

Janusz A. Brzozowski, Mihaela Gheorghiu

RAIRO Theor. Informatics Appl., 2005

2003

Simulation Of Feedback-Free Circuits In The Algebra Of Transients.

Mihaela Gheorghiu, Janusz A. Brzozowski

Int. J. Found. Comput. Sci., 2003

2002

Feedback-Free Circuits in the Algebra of Transients.

Mihaela Gheorghiu, Janusz A. Brzozowski

Proceedings of the Implementation and Application of Automata, 2002

Simulation of Gate Circuits in the Algebra of Transients.

Janusz A. Brzozowski, Mihaela Gheorghiu

Proceedings of the Implementation and Application of Automata, 2002