default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDimitra Giannakopoulou
Person information
- affiliation: NASA Ames Research Center, Moffett Field, CA, USA
- affiliation (PhD 1999): Imperial College, London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j17]Constantin Enea
, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar:
Model Checking Distributed Protocols in Must. Proc. ACM Program. Lang. 8(OOPSLA2): 1900-1927 (2024)- 2022
- [c49]Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) 2022: 490-504 - [c48]Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle:
A compositional proof framework for FRETish requirements. CPP 2022: 68-81 - [c47]Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou:
Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) 2022: 387-395 - [i3]Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle:
A Compositional Proof Framework for FRETish Requirements. CoRR abs/2201.03641 (2022) - 2021
- [j16]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137: 106590 (2021) - [c46]Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen:
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM 2021: 503-523 - 2020
- [c45]Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann:
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE 2020: 300-310 - [c44]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Generation of Formal Requirements from Structured Natural Language. REFSQ 2020: 19-35 - [c43]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi:
Formal Requirements Elicitation with FRET. REFSQ Workshops 2020 - [c42]Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops 2020 - [c41]Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger:
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS 2020: 23-30
2010 – 2019
- 2018
- [j15]Marco Autili, Dimitra Giannakopoulou, Massimo Tivoli:
Thematic series on Verification and Composition for the Internet of Services and Things. J. Internet Serv. Appl. 9(1): 10:1-10:3 (2018) - [c40]Yuning He, Dimitra Giannakopoulou, Johann Schumann:
Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. Models, Mindsets, Meta 2018: 249-267 - [c39]Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas:
Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. ISoLA (2) 2018: 120-136 - [p2]Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu:
Compositional Reasoning. Handbook of Model Checking 2018: 345-383 - 2017
- [p1]Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta:
Formal Analysis of Multiple Coordinated HMI Systems. Handbook of Formal Methods in Human-Computer Interaction 2017: 405-431 - 2016
- [j14]Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle:
Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. Syst. Eng. 19(6): 461-476 (2016) - [j13]Christian von Essen, Dimitra Giannakopoulou:
Probabilistic verification and synthesis of the next generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 18(2): 227-243 (2016) - [j12]Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur:
Automatic Detection of Potential Automation Surprises for ADEPT Models. IEEE Trans. Hum. Mach. Syst. 46(2): 267-278 (2016) - [c38]Dimitra Giannakopoulou, Dennis Guck, Johann Schumann:
Exploring Model Quality for ACAS X. FM 2016: 274-290 - [c37]Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman:
JDart: A Dynamic Symbolic Analysis Framework. TACAS 2016: 442-459 - [i2]Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke:
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). Dagstuhl Reports 6(4): 161-173 (2016) - 2015
- [j11]Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman:
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [c36]Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai:
Verifying the Safety of a Flight-Critical System. FM 2015: 308-324 - [c35]Marko Dimjasevic, Dimitra Giannakopoulou:
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. ISSTA 2015: 282-292 - [i1]Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai:
Verifying the Safety of a Flight-Critical System. CoRR abs/1502.02605 (2015) - 2014
- [c34]Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou:
State Event Models for the Formal Analysis of Human-Machine Interactions. AAAI Spring Symposia 2014 - [c33]Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman:
Taming test inputs for separation assurance. ASE 2014: 373-384 - [c32]Christian von Essen, Dimitra Giannakopoulou:
Analyzing the Next Generation Airborne Collision Avoidance System. TACAS 2014: 620-635 - [e7]Dimitra Giannakopoulou, Gwen Salaün:
Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Lecture Notes in Computer Science 8702, Springer 2014, ISBN 978-3-319-10430-0 [contents] - [e6]Dimitra Giannakopoulou, Daniel Kroening:
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8471, Springer 2014, ISBN 978-3-319-12153-6 [contents] - [e5]Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014 [contents] - 2013
- [c31]Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric:
Hybrid learning: interface generation through static, dynamic, and symbolic analysis. ISSTA 2013: 268-279 - [c30]Dimitra Giannakopoulou, Corina S. Pasareanu:
Abstraction and Learning for Infinite-State Compositional Verification. Festschrift for Dave Schmidt 2013: 211-228 - [e4]Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli:
CBSE'13, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2122-8 [contents] - 2012
- [c29]Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman:
Symbolic Learning of Component Interfaces. SAS 2012: 248-264 - [e3]Dimitra Giannakopoulou, Dominique Méry:
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7436, Springer 2012, ISBN 978-3-642-32758-2 [contents] - 2011
- [j10]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) - [c28]Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface decomposition for service compositions. ICSE 2011: 501-510 - [c27]Dimitra Giannakopoulou, Corina S. Pasareanu:
Context Synthesis. SFM 2011: 191-216 - [c26]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 - [c25]Dimitra Giannakopoulou, Neha Rungta, Michael Feary:
Automated test case generation for an autopilot requirement prototype. SMC 2011: 1825-1830 - [e2]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. Lecture Notes in Computer Science 6603, Springer 2011, ISBN 978-3-642-19810-6 [contents] - 2010
- [j9]Dimitra Giannakopoulou, Corina S. Pasareanu:
Editorial: automated compositional verification. IET Softw. 4(3): 179-180 (2010) - [j8]Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu:
Preface: Special Issue on Nasa Formal Methods Symposium 2009. Innov. Syst. Softw. Eng. 6(3): 171-172 (2010) - [c24]Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning Component Interfaces with May and Must Abstractions. CAV 2010: 527-542 - [c23]Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. ISoLA (1) 2010: 640-642 - [c22]Dimitra Giannakopoulou:
"Fly Me to the Moon": Verification of Aerospace Systems. SEFM 2010: 5-11
2000 – 2009
- 2009
- [c21]Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108 - [e1]Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu:
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407, 2009 [contents] - 2008
- [j7]Dimitra Giannakopoulou, Corina S. Pasareanu:
Special issue on learning techniques for compositional reasoning. Formal Methods Syst. Des. 32(3): 173-174 (2008) - [j6]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 Syst. Des. 32(3): 175-205 (2008) - [j5]Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell:
Assume-guarantee testing for software components. IET Softw. 2(6): 547-562 (2008) - [c20]Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou:
Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148 - [c19]Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131 - 2007
- [c18]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 - [c17]Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu:
Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307 - 2006
- [j4]Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-guarantee testing. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c16]Corina S. Pasareanu, Dimitra Giannakopoulou:
Towards a Compositional SPIN. SPIN 2006: 234-251 - 2005
- [j3]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005) - [c15]Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-guarantee testing. SAVCBS@ESEC/FSE 2005: 1 - [c14]Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287 - 2004
- [j2]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 Syst. Des. 25(2-3): 167-198 (2004) - [c13]Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh:
Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220 - 2003
- [c12]Dimitra Giannakopoulou, Jeff Magee:
Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266 - [c11]Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning Assumptions for Compositional Verification. TACAS 2003: 331-346 - 2002
- [c10]Dimitra Giannakopoulou, Flavio Lerda:
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. FORTE 2002: 308-326 - [c9]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Assumption Generation for Software Component Verification. ASE 2002: 3-12 - 2001
- [c8]Dimitra Giannakopoulou, Klaus Havelund:
Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416 - 2000
- [c7]Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater:
Model Checking of Workflow Schemas. EDOC 2000: 170-181 - [c6]Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer:
Graphical animation of behavior models. ICSE 2000: 499-508
1990 – 1999
- 1999
- [b1]Dimitra Giannakopoulou:
Model checking for concurrent software architectures. Imperial College London, UK, 1999 - [j1]Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung:
Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999) - [c5]Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer:
Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527 - [c4]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Behaviour Analysis of Software Architectures. WICSA 1999: 35-50 - 1998
- [c3]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Software Architecture Directed Behaviour Analysis. IWSSD 1998: 144-146 - 1997
- [c2]Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer:
Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243 - [c1]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
