Publications in publications/sw/quantum.bib
12 results
2020
Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese, "A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies", in Fabio Gadducci, Timo Kehrer, Eds., Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, vol. 12150 of Lecture Notes in Computer Science, pp. 325–334, Springer, 2020. [bibtex] [url] [doi]
Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese, "Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic", in Fabio Gadducci, Timo Kehrer, Eds., Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, vol. 12150 of Lecture Notes in Computer Science, pp. 276–294, Springer, 2020. [bibtex] [url] [doi]
2019
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider, "Metric Temporal Graph Logic over Typed Attributed Graphs", in Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 282–298, 2019. [bibtex] [url] [doi]
Reiner Hähnle, Wil M. P. van der Aalst, Eds., Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, vol. 11424 of Lecture Notes in Computer Science, Springer, 2019. [bibtex] [url] [doi]
2018
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", Journal of Logical and Algebraic Methods in Programming, vol. 101, pp. 110 - 131, 2018. [bibtex] [url] [doi]
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider, "Metric Temporal Graph Logic over Typed Attributed Graphs", Technical Report 123, Hasso Plattner Institute at the University of Potsdam, 2018. [bibtex] [url]
2017
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", Technical Report 118, Hasso Plattner Institute at the University of Potsdam, 2017. [bibtex] [url]
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", in Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 159–175, 2017. [bibtex] [url] [doi]
2016
Sebastian Wätzoldt, "Modeling Collaborations in Adaptive Systems of Systems", Ph.D. dissertation, 2016. [bibtex] [url]
2015
Sebastian Wätzoldt and Holger Giese, "Modeling Collaborations in Self-Adaptive Systems of Systems–Terms, Characteristics, Requirements, and Scenarios", Technical Report 96, Hasso Plattner Institute at the University of Potsdam, April 2015. [bibtex] [url]
Holger Giese, Thomas Vogel and Sebastian Wätzoldt, "Towards Smart Systems of Systems", in Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, pp. 1–29, 2015. [bibtex] [url] [doi]
Sebastian Wätzoldt and Holger Giese, "Modeling Collaborations in Adaptive Systems of Systems", in Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, pp. 3:1–3:8, 2015. [bibtex] [url] [doi]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser