The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dimitra Giannakopoulou" ( http://dblp.L3S.de/Authors/Dimitra_Giannakopoulou )

  Author page on DBLP  Author page in RDF  Community of Dimitra Giannakopoulou in ASPL-2

Publication years (Num. hits)
1997-2004 (15) 2005-2010 (19) 2011-2014 (17) 2015-2018 (15)
Publication types (Num. hits)
article(17) incollection(2) inproceedings(39) phdthesis(1) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 27 keywords

Results
Found 67 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu Compositional Reasoning. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Autili, Dimitra Giannakopoulou, Massimo Tivoli Thematic series on Verification and Composition for the Internet of Services and Things. Search on Bibsonomy J. Internet Services and Applications The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuning He, Dimitra Giannakopoulou, Johann Schumann Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. Search on Bibsonomy Models, Mindsets, Meta The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta Formal Analysis of Multiple Coordinated HMI Systems. Search on Bibsonomy Handbook of Formal Methods in Human-Computer Interaction The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur Automatic Detection of Potential Automation Surprises for ADEPT Models. Search on Bibsonomy IEEE Trans. Human-Machine Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. Search on Bibsonomy Systems Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian von Essen, Dimitra Giannakopoulou Probabilistic verification and synthesis of the next generation airborne collision avoidance system. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Dennis Guck, Johann Schumann Exploring Model Quality for ACAS X. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman JDart: A Dynamic Symbolic Analysis Framework. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marko 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. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai Verifying the Safety of a Flight-Critical System. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai Verifying the Safety of a Flight-Critical System. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marko Dimjasevic, Dimitra Giannakopoulou Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. Search on Bibsonomy ISSTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry (eds.) Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Daniel Kroening (eds.) Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers Search on Bibsonomy VSTTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou State Event Models for the Formal Analysis of Human-Machine Interactions. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
1Christian von Essen, Dimitra Giannakopoulou Analyzing the Next Generation Airborne Collision Avoidance System. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman Taming test inputs for separation assurance. Search on Bibsonomy ASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Gwen Salaün (eds.) Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu Abstraction and Learning for Infinite-State Compositional Verification. Search on Bibsonomy Festschrift for Dave Schmidt The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli (eds.) 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 Search on Bibsonomy CBSE The full citation details ... 2013 DBLP  BibTeX  RDF
1Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric Hybrid learning: interface generation through static, dynamic, and symbolic analysis. Search on Bibsonomy ISSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Dominique Méry (eds.) FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman Symbolic Learning of Component Interfaces. Search on Bibsonomy SAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere Formal testing for separation assurance. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu Context Synthesis. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary A formal framework for design and analysis of human-machine interaction. Search on Bibsonomy SMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Neha Rungta, Michael Feary Automated test case generation for an autopilot requirement prototype. Search on Bibsonomy SMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu Interface decomposition for service compositions. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Fernando Orejas (eds.) 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 Search on Bibsonomy FASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu Editorial: automated compositional verification. Search on Bibsonomy IET Software The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu Preface: Special Issue on Nasa Formal Methods Symposium 2009. Search on Bibsonomy ISSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu Learning Component Interfaces with May and Must Abstractions. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou "Fly Me to the Moon": Verification of Aerospace Systems. Search on Bibsonomy SEFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu (eds.) First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. Search on Bibsonomy NASA Formal Methods The full citation details ... 2009 DBLP  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu Interface Generation and Compositional Verification in JavaPathfinder. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell Assume-guarantee testing for software components. Search on Bibsonomy IET Software The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Corina 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. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
1Dimitra Giannakopoulou, Corina S. Pasareanu Special issue on learning techniques for compositional reasoning. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou Automated Assume-Guarantee Reasoning by Abstraction Refinement. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu Assume-Guarantee Verification for Interface Automata. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonathan Aldrich, Gary T. Leavens, Michael Barnett 0001, Natasha Sharygina, Dimitra Giannakopoulou Specification and verification of component-based systems 2007. Search on Bibsonomy ESEC/SIGSOFT FSE (Companion) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, object-oriented, specification, component-based systems
1Jonathan Aldrich, Michael Barnett 0001, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina Specification and verification of component-based systems 2007. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, object-oriented, specification, component-based systems
1Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu Refining Interface Alphabets for Compositional Verification. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu Assume-guarantee testing. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF verification, testing, assume-guarantee reasoning, predictive analysis
1Corina S. Pasareanu, Dimitra Giannakopoulou Towards a Compositional SPIN. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model checking, learning, Assume-guarantee reasoning
1Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer Component Verification with Automatically Generated Assumptions. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF component verification, model checking, assume-guarantee reasoning
1Dimitra Giannakopoulou, Corina S. Pasareanu Learning-Based Assume-Guarantee Verification (Tool Paper). Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Guillaume 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. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mars flight software, model checking, testing, static analysis, runtime analysis
1Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh Assume-Guarantee Verification of Source Code with Design-Level Assumptions. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Jeff Magee Fluent model checking for event-based systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model-checking, linear temporal logic, software architecture analysis
1Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu Learning Assumptions for Compositional Verification. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Flavio Lerda From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer Assumption Generation for Software Component Verification. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Klaus Havelund Automata-Based Verification of Temporal Properties on Running Programs. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer Graphical animation of behavior models. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF behvior analysis, graphic animation, labeled transition system
1Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater Model Checking of Workflow Schemas. Search on Bibsonomy EDOC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF workflow schemas, error-prone process, primitive syntactic verification, automata-based method, compositional reachability analysis, model checking, formal methods, formal verification, robustness, correctness, reachability analysis, liveness properties
1Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung Behaviour Analysis of Distributed Systems Using the Tracta Approach. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou Behaviour Analysis of Software Architectures. Search on Bibsonomy WICSA The full citation details ... 1999 DBLP  BibTeX  RDF
1Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer Checking Progress with Action Priority: Is it Fair? Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou Model checking for concurrent software architectures. Search on Bibsonomy 1999   RDF
1Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer Verification of Liveness Properties Using Compositional Reachability Analysis. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Bu¨chi automata, reachability analysis, labelled transition systems, distributed computing systems, compositional verification, liveness properties
1Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou Analysing the behaviour of distributed software architectures: a case study. Search on Bibsonomy FTDCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF distributed software architecture, software behaviour analysis, behavioural specifications, compositional reachability analysis, composite system models, active badge system, distributed processing, case study, software components, labelled transition systems
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license