Mihaela Gheorghiu Bobaru

Mihaela Gheorghiu

	2008
10		Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148
9		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)
	2007
8		Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel: Finding Environment Guarantees. FASE 2007: 352-367
7		Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik: Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292
6		Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307
	2006
5		Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik: Thorough Checking Revisited. FMCAD 2006: 106-116
	2005
4		Janusz A. Brzozowski, Mihaela Gheorghiu: Gate circuits in the algebra of transients. ITA 39(1): 67-91 (2005)
	2003
3		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)
	2002
2		Mihaela Gheorghiu, Janusz A. Brzozowski: Feedback-Free Circuits in the Algebra of Transients. CIAA 2002: 106-116
1		Janusz A. Brzozowski, Mihaela Gheorghiu: Simulation of Gate Circuits in the Algebra of Transients. CIAA 2002: 57-66

Coauthor Index

1	Howard Barringer	[9]
2	Janusz A. Brzozowski	[1] [2] [3] [4]
3	Marsha Chechik	[5] [7] [8]
4	Jamieson M. Cobleigh	[9]
5	Dimitra Giannakopoulou	[6] [9] [10]
6	Arie Gurfinkel	[7] [8]
7	Shiva Nejati	[5]
8	Corina S. Pasareanu	[6] [9] [10]

Colors in the list of coauthors