Dimitra Giannakopoulou

2009
26	EE	Dimitra Giannakopoulou, Corina S. Pasareanu: Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108
2008
25	EE	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148
24	EE	Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131
23	EE	Dimitra Giannakopoulou, Corina S. Pasareanu: Special issue on learning techniques for compositional reasoning. Formal Methods in System Design 32(3): 173-174 (2008)
22	EE	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
21	EE	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	EE	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	EE	Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307
2006
18	EE	Corina S. Pasareanu, Dimitra Giannakopoulou: Towards a Compositional SPIN. SPIN 2006: 234-251
17	EE	Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-guarantee testing. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
2005
16	EE	Dimitra Giannakopoulou, Corina S. Pasareanu: Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287
15	EE	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005)
2004
14	EE	Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220
13	EE	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	EE	Dimitra Giannakopoulou, Jeff Magee: Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266
11	EE	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346
2002
10	EE	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Assumption Generation for Software Component Verification. ASE 2002: 3-12
9	EE	Dimitra Giannakopoulou, Flavio Lerda: From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. FORTE 2002: 308-326
2001
8	EE	Dimitra Giannakopoulou, Klaus Havelund: Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416
2000
7	EE	Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater: Model Checking of Workflow Schemas. EDOC 2000: 170-181
6	EE	Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer: Graphical animation of behavior models. ICSE 2000: 499-508
1999
5	EE	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	EE	Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243
1	EE	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] [22]
4	Colin Blundell	[17]
5	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[19] [22] [25]
6	Guillaume P. Brat	[13]
7	Shing-Chi Cheung (S. C. Cheung)	[2] [3]
8	Jamieson M. Cobleigh	[11] [14] [22]
9	Doron Drusinsky	[13]
10	Michael Emmi	[24]
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]
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