Dimitra Giannakopoulou

	2009
27		Dimitra Giannakopoulou, Corina S. Pasareanu: Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108
	2008
26		Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148
25		Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131
24		Dimitra Giannakopoulou, Corina S. Pasareanu: Special issue on learning techniques for compositional reasoning. Formal Methods in System Design 32(3): 173-174 (2008)
23		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)
22		Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell: Assume-guarantee testing for software components. IET Software 2(6): 547-562 (2008)
	2007
21		Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610
20		Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (Companion) 2007: 609-610
19		Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307
	2006
18		Corina S. Pasareanu, Dimitra Giannakopoulou: Towards a Compositional SPIN. SPIN 2006: 234-251
17		Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-guarantee testing. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
	2005
16		Dimitra Giannakopoulou, Corina S. Pasareanu: Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287
15		Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005)
	2004
14		Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220
13		Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3): 167-198 (2004)
	2003
12		Dimitra Giannakopoulou, Jeff Magee: Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266
11		Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346
	2002
10		Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Assumption Generation for Software Component Verification. ASE 2002: 3-12
9		Dimitra Giannakopoulou, Flavio Lerda: From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. FORTE 2002: 308-326
	2001
8		Dimitra Giannakopoulou, Klaus Havelund: Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416
	2000
7		Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater: Model Checking of Workflow Schemas. EDOC 2000: 170-181
6		Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer: Graphical animation of behavior models. ICSE 2000: 499-508
	1999
5		Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer: Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527
4		Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Behaviour Analysis of Software Architectures. WICSA 1999: 35-50
3		Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999)
	1997
2		Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243
1		Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247

Coauthor Index

1	Jonathan Aldrich	[20] [21]
2	Michael Barnett	[20] [21]
3	Howard Barringer	[10] [15] [23]
4	Colin Blundell	[17] [22]
5	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[19] [23] [26]
6	Guillaume P. Brat	[13]
7	Shing-Chi Cheung (S. C. Cheung)	[2] [3]
8	Jamieson M. Cobleigh	[11] [14] [23]
9	Doron Drusinsky	[13]
10	Michael Emmi	[25]
11	Allen Goldberg	[13]
12	Klaus Havelund	[8] [13]
13	Christos T. Karamanolis	[7]
14	Jeff Kramer	[1] [2] [3] [4] [5] [6]
15	Gary T. Leavens	[20] [21]
16	Flavio Lerda	[9]
17	Michael R. Lowry	[13]
18	Jeff Magee (Jeff N. Magee)	[1] [4] [5] [6] [7] [12]
19	Corina S. Pasareanu	[10] [11] [13] [14] [15] [16] [17] [18] [19] [22] [23] [24] [25] [26] [27]
20	Nat Pryce	[6]
21	Natasha Sharygina	[20] [21]
22	Arnaud Venet	[13]
23	Willem Visser	[13]
24	Richard Washington	[13]
25	Stuart M. Wheater	[7]

Colors in the list of coauthors