Dimitra Giannakopoulou

2007
20	EE	Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 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]
2	Mike Barnett	[20]
3	Howard Barringer	[10] [15]
4	Colin Blundell	[17]
5	Guillaume P. Brat	[13]
6	Shing-Chi Cheung (S. C. Cheung)	[2] [3]
7	Jamieson M. Cobleigh	[11] [14]
8	Doron Drusinsky	[13]
9	Mihaela Gheorghiu	[19]
10	Allen Goldberg	[13]
11	Klaus Havelund	[8] [13]
12	Christos T. Karamanolis	[7]
13	Jeff Kramer	[1] [2] [3] [4] [5] [6]
14	Gary T. Leavens	[20]
15	Flavio Lerda	[9]
16	Michael R. Lowry	[13]
17	Jeff Magee (Jeff N. Magee)	[1] [4] [5] [6] [7] [12]
18	Corina S. Pasareanu	[10] [11] [13] [14] [15] [16] [17] [18] [19]
19	Nat Pryce	[6]
20	Natasha Sharygina	[20]
21	Arnaud Venet	[13]
22	Willem Visser	[13]
23	Richard Washington	[13]
24	Stuart M. Wheater	[7]

Colors in the list of coauthors