Dimitra Giannakopoulou

	2011
38		Dimitra Giannakopoulou, Fernando Orejas: Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings Springer 2011
37		Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu: Interface decomposition for service compositions. ICSE 2011: 501-510
36		Dimitra Giannakopoulou, Corina S. Pasareanu: Context Synthesis. SFM 2011: 191-216
35		Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary: A formal framework for design and analysis of human-machine interaction. SMC 2011: 1801-1808
34		Dimitra Giannakopoulou, Neha Rungta, Michael Feary: Automated test case generation for an autopilot requirement prototype. SMC 2011: 1825-1830
33		Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere: Formal testing for separation assurance. Ann. Math. Artif. Intell. 63(1): 5-30 (2011)
	2010
32		Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Component Interfaces with May and Must Abstractions. CAV 2010: 527-542
31		Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. ISoLA (1) 2010: 640-642
30		Dimitra Giannakopoulou: "Fly Me to the Moon": Verification of Aerospace Systems. SEFM 2010: 5-11
29		Dimitra Giannakopoulou, Corina S. Pasareanu: Editorial: automated compositional verification. IET Software 4(3): 179-180 (2010)
28		Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu: Preface: Special Issue on Nasa Formal Methods Symposium 2009. ISSE 6(3): 171-172 (2010)
	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	Domenico Bianculli	[37]
5	Colin Blundell	[17] [22]
6	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[19] [23] [26]
7	Guillaume P. Brat	[13]
8	David H. Bushnell	[33]
9	Shing-Chi Cheung (S. C. Cheung)	[2] [3]
10	Jamieson M. Cobleigh	[11] [14] [23]
11	Sébastien Combéfis	[35]
12	Ewen Denney	[28]
13	Doron Drusinsky	[13]
14	Michael Emmi	[25]
15	Heinz Erzberger	[33]
16	Michael Feary	[34] [35]
17	Allen Goldberg	[13]
18	Klaus Havelund	[8] [13]
19	Karen Heere	[33]
20	Christos T. Karamanolis	[7]
21	Jeff Kramer (Jeffrey Kramer)	[1] [2] [3] [4] [5] [6]
22	Gary T. Leavens	[20] [21]
23	Flavio Lerda	[9]
24	Michael R. Lowry	[13]
25	Jeff Magee (Jeff N. Magee)	[1] [4] [5] [6] [7] [12]
26	Fernando Orejas	[38]
27	Corina S. Pasareanu	[10] [11] [13] [14] [15] [16] [17] [18] [19] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [36] [37]
28	Charles Pecheur	[35]
29	Nat Pryce (Nathaniel Pryce)	[6]
30	Neha Rungta	[34]
31	Johann Schumann	[33]
32	Natasha Sharygina	[20] [21]
33	Rishabh Singh	[32]
34	Arnaud Venet	[13]
35	Willem Visser	[13]
36	Richard Washington	[13]
37	Stuart M. Wheater	[7]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page