Verification of Liveness Properties Using Compositional Reachability Analysis. - Shing-Chi Cheung; Dimitra Giannakopoulou; Jeff Kramer (ESEC / SIGSOFT FSE, 1997)

Analysing the behaviour of distributed software architectures: a case study. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (FTDCS, 1997)

Software Architecture Directed Behaviour Analysis. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (IWSSD, 1998)

Checking Progress with Action Priority: Is it Fair? - Dimitra Giannakopoulou; Jeff Magee; Jeff Kramer (ESEC / SIGSOFT FSE, 1999)

Behaviour Analysis of Software Architectures. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (WICSA, 1999)

Behaviour Analysis of Distributed Systems Using the Tracta Approach. - Dimitra Giannakopoulou; Jeff Kramer; Shing-Chi Cheung (Autom. Softw. Eng., 1999)

Model checking for concurrent software architectures. - Dimitra Giannakopoulou (1999)

Model Checking of Workflow Schemas. - Christos T. Karamanolis; Dimitra Giannakopoulou; Jeff Magee; Stuart M. Wheater (EDOC, 2000)

Graphical animation of behavior models. - Jeff Magee; Nat Pryce; Dimitra Giannakopoulou; Jeff Kramer (ICSE, 2000)

Automata-Based Verification of Temporal Properties on Running Programs. - Dimitra Giannakopoulou; Klaus Havelund (ASE, 2001)

From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. - Dimitra Giannakopoulou; Flavio Lerda (FORTE, 2002)

Assumption Generation for Software Component Verification. - Dimitra Giannakopoulou; Corina S. Pasareanu; Howard Barringer (ASE, 2002)

Fluent model checking for event-based systems. - Dimitra Giannakopoulou; Jeff Magee (ESEC / SIGSOFT FSE, 2003)

Learning Assumptions for Compositional Verification. - Jamieson M. Cobleigh; Dimitra Giannakopoulou; Corina S. Pasareanu (TACAS, 2003)

Assume-Guarantee Verification of Source Code with Design-Level Assumptions. - Dimitra Giannakopoulou; Corina S. Pasareanu; Jamieson M. Cobleigh (ICSE, 2004)

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. - Guillaume P. Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Arnaud Venet; Willem Visser; Richard Washington (Formal Methods Syst. Des., 2004)

Assume-guarantee testing. - Colin Blundell; Dimitra Giannakopoulou; Corina S. Pasareanu (SAVCBS@ESEC/FSE, 2005)

Learning-Based Assume-Guarantee Verification (Tool Paper). - Dimitra Giannakopoulou; Corina S. Pasareanu (SPIN, 2005)

Component Verification with Automatically Generated Assumptions. - Dimitra Giannakopoulou; Corina S. Pasareanu; Howard Barringer (Autom. Softw. Eng., 2005)

Towards a Compositional SPIN. - Corina S. Pasareanu; Dimitra Giannakopoulou (SPIN, 2006)

Specification and verification of component-based systems 2007. - Jonathan Aldrich; Michael Barnett 001; Dimitra Giannakopoulou; Gary T. Leavens; Natasha Sharygina (ESEC/SIGSOFT FSE, 2007)

Refining Interface Alphabets for Compositional Verification. - Mihaela Gheorghiu; Dimitra Giannakopoulou; Corina S. Pasareanu (TACAS, 2007)

Automated Assume-Guarantee Reasoning by Abstraction Refinement. - Mihaela Gheorghiu Bobaru; Corina S. Pasareanu; Dimitra Giannakopoulou (CAV, 2008)

Assume-Guarantee Verification for Interface Automata. - Michael Emmi; Dimitra Giannakopoulou; Corina S. Pasareanu (FM, 2008)

Special issue on learning techniques for compositional reasoning. - Dimitra Giannakopoulou; Corina S. Pasareanu (Formal Methods Syst. Des., 2008)

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. - Corina S. Pasareanu; Dimitra Giannakopoulou; Mihaela Gheorghiu Bobaru; Jamieson M. Cobleigh; Howard Barringer (Formal Methods Syst. Des., 2008)

Assume-guarantee testing for software components. - Dimitra Giannakopoulou; Corina S. Pasareanu; Colin Blundell (IET Softw., 2008)

Interface Generation and Compositional Verification in JavaPathfinder. - Dimitra Giannakopoulou; Corina S. Pasareanu (FASE, 2009)

Learning Component Interfaces with May and Must Abstractions. - Rishabh Singh; Dimitra Giannakopoulou; Corina S. Pasareanu (CAV, 2010)

Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. - Dimitra Giannakopoulou; Corina S. Pasareanu (ISoLA (1), 2010)

"Fly Me to the Moon": Verification of Aerospace Systems. - Dimitra Giannakopoulou (SEFM, 2010)

Editorial: automated compositional verification. - Dimitra Giannakopoulou; Corina S. Pasareanu (IET Softw., 2010)

Preface: Special Issue on Nasa Formal Methods Symposium 2009. - Ewen Denney; Dimitra Giannakopoulou; Corina S. Pasareanu (Innov. Syst. Softw. Eng., 2010)

Interface decomposition for service compositions. - Domenico Bianculli; Dimitra Giannakopoulou; Corina S. Pasareanu (ICSE, 2011)

Context Synthesis. - Dimitra Giannakopoulou; Corina S. Pasareanu (SFM, 2011)

A formal framework for design and analysis of human-machine interaction. - Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Michael Feary (SMC, 2011)

Automated test case generation for an autopilot requirement prototype. - Dimitra Giannakopoulou; Neha Rungta; Michael Feary (SMC, 2011)

Formal testing for separation assurance. - Dimitra Giannakopoulou; David H. Bushnell; Johann Schumann; Heinz Erzberger; Karen Heere (Ann. Math. Artif. Intell., 2011)

Symbolic Learning of Component Interfaces. - Dimitra Giannakopoulou; Zvonimir Rakamaric; Vishwanath Raman (SAS, 2012)

Hybrid learning: interface generation through static, dynamic, and symbolic analysis. - Falk Howar; Dimitra Giannakopoulou; Zvonimir Rakamaric (ISSTA, 2013)

Abstraction and Learning for Infinite-State Compositional Verification. - Dimitra Giannakopoulou; Corina S. Pasareanu (Festschrift for Dave Schmidt, 2013)

State Event Models for the Formal Analysis of Human-Machine Interactions. - Sébastien Combéfis; Charles Pecheur; Dimitra Giannakopoulou (AAAI Spring Symposia, 2014)

Taming test inputs for separation assurance. - Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Todd Lauderdale; Zvonimir Rakamaric; Vishwanath Raman (ASE, 2014)

Analyzing the Next Generation Airborne Collision Avoidance System. - Christian von Essen; Dimitra Giannakopoulou (TACAS, 2014)

Verifying the Safety of a Flight-Critical System. - Guillaume Brat; David H. Bushnell; Misty D. Davies; Dimitra Giannakopoulou; Falk Howar; Temesghen Kahsai (FM, 2015)

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. - Marko Dimjasevic; Dimitra Giannakopoulou (ISSTA, 2015)

The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. - Marko Dimjasevic; Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Zvonimir Rakamaric; Vishwanath Raman (ACM SIGSOFT Softw. Eng. Notes, 2015)

Exploring Model Quality for ACAS X. - Dimitra Giannakopoulou; Dennis Guck; Johann Schumann (FM, 2016)

JDart: A Dynamic Symbolic Analysis Framework. - Kasper Søe Luckow; Marko Dimjasevic; Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Temesghen Kahsai; Zvonimir Rakamaric; Vishwanath Raman (TACAS, 2016)

Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). - Amel Bennaceur; Dimitra Giannakopoulou; Reiner Hähnle; Karl Meinke (Dagstuhl Reports, 2016)

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. - Hoda Mehrpouyan; Dimitra Giannakopoulou; Guillaume Brat; Irem Y. Tumer; Chris Hoyle (Syst. Eng., 2016)

Probabilistic verification and synthesis of the next generation airborne collision avoidance system. - Christian von Essen; Dimitra Giannakopoulou (Int. J. Softw. Tools Technol. Transf., 2016)

Automatic Detection of Potential Automation Surprises for ADEPT Models. - Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur (IEEE Trans. Hum. Mach. Syst., 2016)

Formal Analysis of Multiple Coordinated HMI Systems. - Guillaume Brat; Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Franco Raimondi; Neha Rungta (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. - Yuning He; Dimitra Giannakopoulou; Johann Schumann (Models, Mindsets, Meta, 2018)

Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. - Falk Howar; Dimitra Giannakopoulou; Malte Mues; Jorge A. Navas (ISoLA (2), 2018)

Thematic series on Verification and Composition for the Internet of Services and Things. - Marco Autili; Dimitra Giannakopoulou; Massimo Tivoli (J. Internet Serv. Appl., 2018)

Compositional Reasoning. - Dimitra Giannakopoulou; Kedar S. Namjoshi; Corina S. Pasareanu (Handbook of Model Checking, 2018)

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. - Anastasia Mavridou; Hamza Bourbouh; Dimitra Giannakopoulou; Thomas Pressburger; Mohammad Hejase; Pierre-Loïc Garoche; Johann Schumann (RE, 2020)

Generation of Formal Requirements from Structured Natural Language. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Johann Schumann (REFSQ, 2020)

Formal Requirements Elicitation with FRET. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Julian Rhein; Johann Schumann; Nija Shi (REFSQ Workshops, 2020)

Bridging the Gap Between Requirements and Simulink Model Analysis. - Anastasia Mavridou; Hamza Bourbouh; Pierre-Loïc Garoche; Dimitra Giannakopoulou; Thomas Pressburger; Johann Schumann (REFSQ Workshops, 2020)

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. - Aaron Dutle; César A. Muñoz; Esther Conrad; Alwyn Goodloe; Laura Titolo; Ivan Perez 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. - Anastasia Mavridou; Andreas Katis; Dimitra Giannakopoulou; David Kooi; Thomas Pressburger; Michael W. Whalen (FM, 2021)

Automated formalization of structured natural language requirements. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Johann Schumann (Inf. Softw. Technol., 2021)

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. - Andreas Katis; Anastasia Mavridou; Dimitra Giannakopoulou; Thomas Pressburger; Johann Schumann (CAV (2), 2022)

A compositional proof framework for FRETish requirements. - Esther Conrad; Laura Titolo; Dimitra Giannakopoulou; Thomas Pressburger; Aaron Dutle (CPP, 2022)

Automated Translation of Natural Language Requirements to Runtime Monitors. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alwyn Goodloe; Dimitra Giannakopoulou (TACAS (1), 2022)

Model Checking Distributed Protocols in Must. - Constantin Enea; Dimitra Giannakopoulou; Michalis Kokologiannakis; Rupak Majumdar (Proc. ACM Program. Lang., 2024)