Dimitra Giannakopoulou

According to our database, Dimitra Giannakopoulou authored at least 68 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Automated Translation of Natural Language Requirements to Runtime Monitors.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

A compositional proof framework for FRETish requirements.

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET.

Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Automated formalization of structured natural language requirements.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann

Inf. Softw. Technol., 2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

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, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Bridging the Gap Between Requirements and Simulink Model Analysis.

Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Formal Requirements Elicitation with FRET.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Generation of Formal Requirements from Structured Natural Language.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

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

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

2018

Compositional Reasoning.

Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu

Proceedings of the Handbook of Model Checking., 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

Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring.

Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Statistical Prediction of Failures in Aircraft Collision Avoidance Systems.

Yuning He, Dimitra Giannakopoulou, Johann Schumann

Proceedings of the Models, Mindsets, 2018

2017

Formal Analysis of Multiple Coordinated HMI Systems.

Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Automatic Detection of Potential Automation Surprises for ADEPT Models.

Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur

IEEE Trans. Hum. Mach. Syst., 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

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning.

Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle

Syst. Eng., 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

JDart: A Dynamic Symbolic Analysis Framework.

Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Exploring Model Quality for ACAS X.

Dimitra Giannakopoulou, Dennis Guck, Johann Schumann

Proceedings of the FM 2016: Formal Methods, 2016

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

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance.

Marko Dimjasevic, Dimitra Giannakopoulou

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Verifying the Safety of a Flight-Critical System.

Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai

Proceedings of the FM 2015: Formal Methods, 2015

2014

Analyzing the Next Generation Airborne Collision Avoidance System.

Christian von Essen, Dimitra Giannakopoulou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Taming test inputs for separation assurance.

Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

State Event Models for the Formal Analysis of Human-Machine Interactions.

Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Abstraction and Learning for Infinite-State Compositional Verification.

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Semantics, 2013

Hybrid learning: interface generation through static, dynamic, and symbolic analysis.

Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

Symbolic Learning of Component Interfaces.

Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the Static Analysis - 19th International Symposium, 2012

2011

Formal testing for separation assurance.

Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere

Ann. Math. Artif. Intell., 2011

Automated test case generation for an autopilot requirement prototype.

Dimitra Giannakopoulou, Neha Rungta, Michael Feary

Proceedings of the IEEE International Conference on Systems, 2011

A formal framework for design and analysis of human-machine interaction.

Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary

Proceedings of the IEEE International Conference on Systems, 2011

Context Synthesis.

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Interface decomposition for service compositions.

Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Preface: Special Issue on Nasa Formal Methods Symposium 2009.

Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu

Innov. Syst. Softw. Eng., 2010

Editorial: automated compositional verification.

Dimitra Giannakopoulou, Corina S. Pasareanu

IET Softw., 2010

"Fly Me to the Moon": Verification of Aerospace Systems.

Dimitra Giannakopoulou

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Learning Component Interfaces with May and Must Abstractions.

Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Interface Generation and Compositional Verification in JavaPathfinder.

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Assume-guarantee testing for software components.

Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell

IET Softw., 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

Special issue on learning techniques for compositional reasoning.

Dimitra Giannakopoulou, Corina S. Pasareanu

Formal Methods Syst. Des., 2008

Assume-Guarantee Verification for Interface Automata.

Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the FM 2008: Formal Methods, 2008

Automated Assume-Guarantee Reasoning by Abstraction Refinement.

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Refining Interface Alphabets for Compositional Verification.

Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Specification and verification of component-based systems 2007.

Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2006

Assume-guarantee testing.

Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2006

Towards a Compositional SPIN.

Corina S. Pasareanu, Dimitra Giannakopoulou

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

2005

Component Verification with Automatically Generated Assumptions.

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer

Autom. Softw. Eng., 2005

Learning-Based Assume-Guarantee Verification (Tool Paper).

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Model Checking Software, 2005

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 Verification of Source Code with Design-Level Assumptions.

Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Learning Assumptions for Compositional Verification.

Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Fluent model checking for event-based systems.

Dimitra Giannakopoulou, Jeff Magee

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2002

Assumption Generation for Software Component Verification.

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.

Dimitra Giannakopoulou, Flavio Lerda

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Automata-Based Verification of Temporal Properties on Running Programs.

Dimitra Giannakopoulou, Klaus Havelund

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Graphical animation of behavior models.

Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Model Checking of Workflow Schemas.

Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater

Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000

1999

Model checking for concurrent software architectures.

Dimitra Giannakopoulou

PhD thesis, 1999

Behaviour Analysis of Distributed Systems Using the Tracta Approach.

Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung

Autom. Softw. Eng., 1999

Behaviour Analysis of Software Architectures.

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

Proceedings of the Software Architecture, 1999

Checking Progress with Action Priority: Is it Fair?

Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer

Proceedings of the Software Engineering, 1999

1998

Software Architecture Directed Behaviour Analysis.

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

1997

Analysing the behaviour of distributed software architectures: a case study.

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Verification of Liveness Properties Using Compositional Reachability Analysis.

Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer

Proceedings of the Software Engineering, 1997