Dimitra Giannakopoulou

80 papers A* 8A 7B 15C 1Journal 21Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Neurosymbolic Approach to Natural Language Formalization and Verification. CoRR Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, 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
2024	J	`jnl`	Model Checking Distributed Protocols in Must. Proc. ACM Program. Lang. Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar
2022	J	`jnl`	A Compositional Proof Framework for FRETish Requirements. CoRR Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
2022	B	`conf`	A compositional proof framework for FRETish requirements. CPP Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
2022	—	`conf`	Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou
2022	—	`conf`	Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
2021	J	`jnl`	Automated formalization of structured natural language requirements. Inf. Softw. Technol. Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
2021	B	`conf`	From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
2020	—	`conf`	Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
2020	—	`conf`	Formal Requirements Elicitation with FRET. REFSQ Workshops Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi
2020	—	`conf`	From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
2020	B	`conf`	Generation of Formal Requirements from Structured Natural Language. REFSQ Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
2020	A	`conf`	The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann
2018	—	`ch.`	Compositional Reasoning. Handbook of Model Checking Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu
2018	—	`conf`	Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. ISoLA (2) Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
2018	—	`conf`	Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. Models, Mindsets, Meta Yuning He, Dimitra Giannakopoulou, Johann Schumann
2018	J	`jnl`	Thematic series on Verification and Composition for the Internet of Services and Things. J. Internet Serv. Appl. Marco Autili, Dimitra Giannakopoulou, Massimo Tivoli
2017	—	`ch.`	Formal Analysis of Multiple Coordinated HMI Systems. Handbook of Formal Methods in Human-Computer Interaction Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta
2016	J	`jnl`	Automatic Detection of Potential Automation Surprises for ADEPT Models. IEEE Trans. Hum. Mach. Syst. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur
2016	J	`jnl`	Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. Syst. Eng. Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle
2016	B	`conf`	Exploring Model Quality for ACAS X. FM Dimitra Giannakopoulou, Dennis Guck, Johann Schumann
2016	A	`conf`	JDart: A Dynamic Symbolic Analysis Framework. TACAS Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
2016	J	`jnl`	Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). Dagstuhl Reports Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke
2016	J	`jnl`	Probabilistic verification and synthesis of the next generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. Christian von Essen, Dimitra Giannakopoulou
2015	A	`conf`	Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. ISSTA Marko Dimjasevic, Dimitra Giannakopoulou
2015	J	`jnl`	The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman
2015	B	`conf`	Verifying the Safety of a Flight-Critical System. FM Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2015	J	`jnl`	Verifying the Safety of a Flight-Critical System. CoRR Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2014	A	`conf`	Analyzing the Next Generation Airborne Collision Avoidance System. TACAS Christian von Essen, Dimitra Giannakopoulou
2014	—	`ed.`	Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. F-IDE Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
2014	B	`ed.`	Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings SEFM Dimitra Giannakopoulou, Gwen Salaün
2014	—	`conf`	State Event Models for the Formal Analysis of Human-Machine Interactions. AAAI Spring Symposia Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou
2014	A*	`conf`	Taming test inputs for separation assurance. ASE Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
2014	—	`ed.`	Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers VSTTE Dimitra Giannakopoulou, Daniel Kroening
2013	—	`conf`	Abstraction and Learning for Infinite-State Compositional Verification. Festschrift for Dave Schmidt Dimitra Giannakopoulou, Corina S. Pasareanu
2013	—	`ed.`	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 CBSE Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli
2013	A	`conf`	Hybrid learning: interface generation through static, dynamic, and symbolic analysis. ISSTA Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric
2012	B	`ed.`	FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings FM Dimitra Giannakopoulou, Dominique Méry
2012	B	`conf`	Symbolic Learning of Component Interfaces. SAS Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman
2011	B	`conf`	A formal framework for design and analysis of human-machine interaction. SMC Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary
2011	B	`conf`	Automated test case generation for an autopilot requirement prototype. SMC Dimitra Giannakopoulou, Neha Rungta, Michael Feary
2011	—	`conf`	Context Synthesis. SFM Dimitra Giannakopoulou, Corina S. Pasareanu
2011	J	`jnl`	Formal testing for separation assurance. Ann. Math. Artif. Intell. Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere
2011	B	`ed.`	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 FASE Dimitra Giannakopoulou, Fernando Orejas
2011	A*	`conf`	Interface decomposition for service compositions. ICSE Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu
2010	B	`conf`	"Fly Me to the Moon": Verification of Aerospace Systems. SEFM Dimitra Giannakopoulou
2010	J	`jnl`	Editorial: automated compositional verification. IET Softw. Dimitra Giannakopoulou, Corina S. Pasareanu
2010	A*	`conf`	Learning Component Interfaces with May and Must Abstractions. CAV Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu
2010	—	`conf`	Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. ISoLA (1) Dimitra Giannakopoulou, Corina S. Pasareanu
2010	J	`jnl`	Preface: Special Issue on Nasa Formal Methods Symposium 2009. Innov. Syst. Softw. Eng. Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
2009	—	`ed.`	First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Formal Methods Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
2009	B	`conf`	Interface Generation and Compositional Verification in JavaPathfinder. FASE Dimitra Giannakopoulou, Corina S. Pasareanu
2008	B	`conf`	Assume-Guarantee Verification for Interface Automata. FM Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu
2008	J	`jnl`	Assume-guarantee testing for software components. IET Softw. Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell
2008	A*	`conf`	Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou
2008	J	`jnl`	Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods Syst. Des. Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer
2008	J	`jnl`	Special issue on learning techniques for compositional reasoning. Formal Methods Syst. Des. Dimitra Giannakopoulou, Corina S. Pasareanu
2007	A	`conf`	Refining Interface Alphabets for Compositional Verification. TACAS Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu
2007	—	`conf`	Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
2006	J	`jnl`	Assume-guarantee testing. ACM SIGSOFT Softw. Eng. Notes Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
2006	—	`conf`	Towards a Compositional SPIN. SPIN Corina S. Pasareanu, Dimitra Giannakopoulou
2005	—	`conf`	Assume-guarantee testing. SAVCBS@ESEC/FSE Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
2005	J	`jnl`	Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
2005	—	`conf`	Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN Dimitra Giannakopoulou, Corina S. Pasareanu
2004	A*	`conf`	Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh
2004	J	`jnl`	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
2003	—	`conf`	Fluent model checking for event-based systems. ESEC / SIGSOFT FSE Dimitra Giannakopoulou, Jeff Magee
2003	A	`conf`	Learning Assumptions for Compositional Verification. TACAS Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
2002	A*	`conf`	Assumption Generation for Software Component Verification. ASE Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
2002	C	`conf`	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. FORTE Dimitra Giannakopoulou, Flavio Lerda
2001	A*	`conf`	Automata-Based Verification of Temporal Properties on Running Programs. ASE Dimitra Giannakopoulou, Klaus Havelund
2000	A*	`conf`	Graphical animation of behavior models. ICSE Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
2000	B	`conf`	Model Checking of Workflow Schemas. EDOC Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater
1999	J	`jnl`	Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung
1999	—	`conf`	Behaviour Analysis of Software Architectures. WICSA Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1999	—	`conf`	Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
1999	—	`—`	Model checking for concurrent software architectures. Dimitra Giannakopoulou
1998	—	`conf`	Software Architecture Directed Behaviour Analysis. IWSSD Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1997	—	`conf`	Analysing the behaviour of distributed software architectures: a case study. FTDCS Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1997	—	`conf`	Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer