Dimitra Giannakopoulou

发表

Colin Blundell, Corina S. Pasareanu, Dimitra Giannakopoulou, 2008, IET Softw..
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer, 1996 .
Dimitra Giannakopoulou, Klaus Havelund, D. Giannakopoulou, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Corina S. Pasareanu, Dimitra Giannakopoulou, Michael Emmi, 2008, FM.
Johann Schumann, Heinz Erzberger, Dimitra Giannakopoulou, 2011, Annals of Mathematics and Artificial Intelligence.
Temesghen Kahsai, Dimitra Giannakopoulou, Falk Howar, 2015, FM.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Stephen H. Edwards, Gary T. Leavens, Dimitra Giannakopoulou, 2004 .
Dimitra Giannakopoulou, D. Giannakopoulou, 1999 .
Dimitra Giannakopoulou, Charles Pecheur, Michael Feary, 2011, MALETS '11.
Dimitra Giannakopoulou, D. Giannakopoulou, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 1999 .
Dimitra Giannakopoulou, Charles Pecheur, Sébastien Combéfis, 2014, AAAI Spring Symposia.
Irem Y. Tumer, Dimitra Giannakopoulou, Christopher Hoyle, 2014 .
Dimitra Giannakopoulou, Charles Pecheur, Sébastien Combéfis, 2011 .
Gary T. Leavens, Dimitra Giannakopoulou, Jonathan Aldrich, 2007, ESEC/SIGSOFT FSE.
Corina S. Pasareanu, Dimitra Giannakopoulou, 2008, Formal Methods Syst. Des..
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 1999, WICSA.
Kedar S. Namjoshi, Corina S. Pasareanu, Dimitra Giannakopoulou, 2018, Handbook of Model Checking.
Dominique Méry, Dimitra Giannakopoulou, 2012, Lecture Notes in Computer Science.
Peter Norvig, John Penix, Dimitra Giannakopoulou, 2001 .
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 1999, ESEC/FSE-7.
Ewen Denney, Corina S. Pasareanu, Dimitra Giannakopoulou, 2009 .
Christian von Essen, Dimitra Giannakopoulou, D. Giannakopoulou, 2014, TACAS.
Johann Schumann, Dimitra Giannakopoulou, Yuning He, 2018, Models, Mindsets, Meta.
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer, 1997, ESEC '97/FSE-5.
Corina S. Pasareanu, Dimitra Giannakopoulou, 2013, Festschrift for Dave Schmidt.
Dimitra Giannakopoulou, Corina Pasareanu, Peter Mehlitz, 2009, 2009 IEEE Aerospace conference.
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer, 2004, Automated Software Engineering.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2008, Formal Methods Syst. Des..
Dimitra Giannakopoulou, Flavio Lerda, D. Giannakopoulou, 2002, FORTE.
Dimitra Giannakopoulou, Marko Dimjasevic, D. Giannakopoulou, 2015, ISSTA.
Dimitra Giannakopoulou, Massimo Tivoli, Marco Autili, 2018, Journal of Internet Services and Applications.
Dimitra Giannakopoulou, D. Giannakopoulou, 2017 .
Dimitra Giannakopoulou, Charles Pecheur, Michael Feary, 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.
Corina S. Pasareanu, Dimitra Giannakopoulou, C. Pasareanu, 2006, SPIN.
Dimitra Giannakopoulou, D. Giannakopoulou, 1999 .
Zvonimir Rakamaric, Dimitra Giannakopoulou, Vishwanath Raman, 2012, SAS.
Colin Blundell, Corina S. Pasareanu, Dimitra Giannakopoulou, 2006, SAVCBS '05.
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Dimitra Giannakopoulou, Flavio Lerda, 2001 .
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2005, Automated Software Engineering.
Dimitra Giannakopoulou, Klaus Havelund, 2001 .
Zvonimir Rakamaric, Dimitra Giannakopoulou, Malte Isberner, 2014, ASE.
Reiner Hähnle, Dimitra Giannakopoulou, Karl Meinke, 2016, Dagstuhl Reports.
Irem Y. Tumer, Dimitra Giannakopoulou, Christopher Hoyle, 2013 .
Zvonimir Rakamaric, Temesghen Kahsai, Dimitra Giannakopoulou, 2016, TACAS.
Dimitra Giannakopoulou, Jeff Magee, D. Giannakopoulou, 2003, ESEC/FSE-11.
Corina S. Pasareanu, Dimitra Giannakopoulou, 2005, SPIN.
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 1999 .
Dimitra Giannakopoulou, Michael Feary, Neha Rungta, 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.
Stephen H. Edwards, Gary T. Leavens, Dimitra Giannakopoulou, 2003 .
Ewen Denney, Corina S. Pasareanu, Dimitra Giannakopoulou, 2010, Innovations in Systems and Software Engineering.
Fernando Orejas, Dimitra Giannakopoulou, D. Giannakopoulou, 2011, Lecture Notes in Computer Science.
Corina S. Pasareanu, Dimitra Giannakopoulou, C. Pasareanu, 2009, FASE.
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 1998, Proceedings Ninth International Workshop on Software Specification and Design.
Gary T. Leavens, Dimitra Giannakopoulou, Jonathan Aldrich, 2007, ESEC-FSE '07.
Christian von Essen, Dimitra Giannakopoulou, 2015, International Journal on Software Tools for Technology Transfer.
Corina S. Pasareanu, Dimitra Giannakopoulou, Jamieson M. Cobleigh, 2004, Proceedings. 26th International Conference on Software Engineering.
Stephen H. Edwards, Gary T. Leavens, Dimitra Giannakopoulou, 2005 .
Corina S. Pasareanu, Dimitra Giannakopoulou, C. Pasareanu, 2010, IET Softw..
Rishabh Singh, Corina S. Pasareanu, Dimitra Giannakopoulou, 2010, CAV.
Zvonimir Rakamaric, Dimitra Giannakopoulou, Malte Isberner, 2015, SOEN.
Johann Schumann, Dimitra Giannakopoulou, Dennis Guck, 2016, FM.
Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater, 2000, Proceedings Fourth International Enterprise Distributed Objects Computing Conference. EDOC2000.
Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, 2007, TACAS.
Corina S. Pasareanu, Dimitra Giannakopoulou, Jamieson M. Cobleigh, 2003, TACAS.
Howard Barringer, Dimitra Giannakopoulou, Jamieson M. Cobleigh, 2007 .
Corina S. Pasareanu, Dimitra Giannakopoulou, Domenico Bianculli, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Corina S. Pasareanu, Dimitra Giannakopoulou, 2011, SFM.
Zvonimir Rakamaric, Dimitra Giannakopoulou, Falk Howar, 2013, ISSTA.
Dimitra Giannakopoulou, Charles Pecheur, Guillaume Brat, 2017, Handbook of Formal Methods in Human-Computer Interaction.
Michael R. Lowry, Doron Drusinsky, Corina S. Pasareanu, 2013, Formal Methods Syst. Des..
Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, 2008, CAV.
Irem Y. Tumer, Dimitra Giannakopoulou, Guillaume Brat, 2016, Syst. Eng..
Irem Y. Tumer, Dimitra Giannakopoulou, Guillaume Brat, 2016 .
Dimitra Giannakopoulou, Michael W. Whalen, Anastasia Mavridou, 2021, FM.
Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, 2021, Inf. Softw. Technol..
Dimitra Giannakopoulou, Thomas Pressburger, Laura Titolo, 2022, CPP.
Dimitra Giannakopoulou, D. Giannakopoulou, 1995 .
Dimitra Giannakopoulou, Klaus Havelund, Willem Visser, 2004 .
Corina S. Pasareanu, Dimitra Giannakopoulou, Laura Brandan Briones, 2004 .
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer, 1998 .