Dimitra Giannakopoulou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
15
Active years
2000–2026
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2022 | CAV | Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. | Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2022 | CPP | A compositional proof framework for FRETish requirements. | Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle |
| 2022 | TACAS | Automated Translation of Natural Language Requirements to Runtime Monitors. | Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou |
| 2021 | FM | 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 |
| 2020 | RE | The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. | Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loc Garoche, Johann Schumann |
| 2020 | REFSQ | Generation of Formal Requirements from Structured Natural Language. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann |
| 2020 | REFSQ | Formal Requirements Elicitation with FRET. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi |
| 2020 | REFSQ | Bridging the Gap Between Requirements and Simulink Model Analysis. | Anastasia Mavridou, Hamza Bourbouh, Pierre-Loc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2018 | ISoLA | Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. | Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas |
| 2016 | FM | Exploring Model Quality for ACAS X. | Dimitra Giannakopoulou, Dennis Guck, Johann Schumann |
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
| 2015 | FM | Verifying the Safety of a Flight-Critical System. | Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai |
| 2015 | ISSTA | Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. | Marko Dimjasevic, Dimitra Giannakopoulou |
| 2014 | TACAS | Analyzing the Next Generation Airborne Collision Avoidance System. | Christian von Essen, Dimitra Giannakopoulou |
| 2013 | ISSTA | Hybrid learning: interface generation through static, dynamic, and symbolic analysis. | Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric |
| 2012 | SAS | Symbolic Learning of Component Interfaces. | Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman |
| 2011 | ICSE | Interface decomposition for service compositions. | Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2011 | SMC | A formal framework for design and analysis of human-machine interaction. | Sbastien Combfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary |
| 2011 | SMC | Automated test case generation for an autopilot requirement prototype. | Dimitra Giannakopoulou, Neha Rungta, Michael Feary |
| 2010 | CAV | Learning Component Interfaces with May and Must Abstractions. | Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2010 | ISoLA | Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. | Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2010 | SEFM | "Fly Me to the Moon": Verification of Aerospace Systems. | Dimitra Giannakopoulou |
| 2009 | FASE | Interface Generation and Compositional Verification in JavaPathfinder. | Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2008 | CAV | Automated Assume-Guarantee Reasoning by Abstraction Refinement. | Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou |
| 2008 | FM | Assume-Guarantee Verification for Interface Automata. | Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2007 | TACAS | Refining Interface Alphabets for Compositional Verification. | Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2004 | ICSE | Assume-Guarantee Verification of Source Code with Design-Level Assumptions. | Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh |
| 2003 | TACAS | Learning Assumptions for Compositional Verification. | Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2002 | FORTE | From States to Transitions: Improving Translation of LTL Formulae to Bchi Automata. | Dimitra Giannakopoulou, Flavio Lerda |
| 2000 | EDOC | Model Checking of Workflow Schemas. | Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater |
| 2000 | ICSE | Graphical animation of behavior models. | Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer |