Dimitra Giannakopoulou

According to our database1, Dimitra Giannakopoulou authored at least 60 papers between 1997 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Bridging the Gap Between Requirements and Simulink Model Analysis.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Formal Requirements Elicitation with FRET.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Generation of Formal Requirements from Structured Natural Language.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

2018
Compositional Reasoning.
Proceedings of the Handbook of Model Checking., 2018

Thematic series on Verification and Composition for the Internet of Services and Things.
J. Internet Serv. Appl., 2018

Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Statistical Prediction of Failures in Aircraft Collision Avoidance Systems.
Proceedings of the Models, Mindsets, 2018

2017
Formal Analysis of Multiple Coordinated HMI Systems.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016
Automatic Detection of Potential Automation Surprises for ADEPT Models.
IEEE Trans. Hum. Mach. Syst., 2016

Probabilistic verification and synthesis of the next generation airborne collision avoidance system.
Int. J. Softw. Tools Technol. Transf., 2016

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning.
Syst. Eng., 2016

Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172).
Dagstuhl Reports, 2016

JDart: A Dynamic Symbolic Analysis Framework.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Exploring Model Quality for ACAS X.
Proceedings of the FM 2016: Formal Methods, 2016

2015
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications.
ACM SIGSOFT Software Engineering Notes, 2015

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Verifying the Safety of a Flight-Critical System.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Analyzing the Next Generation Airborne Collision Avoidance System.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Taming test inputs for separation assurance.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

State Event Models for the Formal Analysis of Human-Machine Interactions.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Abstraction and Learning for Infinite-State Compositional Verification.
Proceedings of the Semantics, 2013

Hybrid learning: interface generation through static, dynamic, and symbolic analysis.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012
Symbolic Learning of Component Interfaces.
Proceedings of the Static Analysis - 19th International Symposium, 2012

2011
Formal testing for separation assurance.
Ann. Math. Artif. Intell., 2011

Automated test case generation for an autopilot requirement prototype.
Proceedings of the IEEE International Conference on Systems, 2011

A formal framework for design and analysis of human-machine interaction.
Proceedings of the IEEE International Conference on Systems, 2011

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

Interface decomposition for service compositions.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Preface: Special Issue on Nasa Formal Methods Symposium 2009.
ISSE, 2010

Editorial: automated compositional verification.
IET Softw., 2010

"Fly Me to the Moon": Verification of Aerospace Systems.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Learning Component Interfaces with May and Must Abstractions.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Interface Generation and Compositional Verification in JavaPathfinder.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Assume-guarantee testing for software components.
IET Softw., 2008

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
Formal Methods Syst. Des., 2008

Special issue on learning techniques for compositional reasoning.
Formal Methods Syst. Des., 2008

Assume-Guarantee Verification for Interface Automata.
Proceedings of the FM 2008: Formal Methods, 2008

Automated Assume-Guarantee Reasoning by Abstraction Refinement.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Refining Interface Alphabets for Compositional Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Specification and verification of component-based systems 2007.
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.
ACM SIGSOFT Software Engineering Notes, 2006

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

2005
Component Verification with Automatically Generated Assumptions.
Autom. Softw. Eng., 2005

Learning-Based Assume-Guarantee Verification (Tool Paper).
Proceedings of the Model Checking Software, 2005

2004
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.
Formal Methods Syst. Des., 2004

Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Learning Assumptions for Compositional Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Fluent model checking for event-based systems.
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.
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.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001
Automata-Based Verification of Temporal Properties on Running Programs.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
Graphical animation of behavior models.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Model Checking of Workflow Schemas.
Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000

1999
Model checking for concurrent software architectures.
PhD thesis, 1999

Behaviour Analysis of Distributed Systems Using the Tracta Approach.
Autom. Softw. Eng., 1999

Behaviour Analysis of Software Architectures.
Proceedings of the Software Architecture, 1999

Checking Progress with Action Priority: Is it Fair?
Proceedings of the Software Engineering, 1999

1997
Analysing the behaviour of distributed software architectures: a case study.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Verification of Liveness Properties Using Compositional Reachability Analysis.
Proceedings of the Software Engineering, 1997


  Loading...