Publications in publications/sw/quantum.bib
18 results
2021
[18]Interval probabilistic timed graph transformation systems (, , ), Technical report 134, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
[17] Formal testing of timed graph transformation systems using metric temporal graph logic (, , , ), In Int. J. Softw. Tools Technol. Transf., volume 23, . [bibtex] [pdf] [doi]
[16] Probabilistic Metric Temporal Graph Logic (, , ), In CoRR, volume abs/2106.08418, . [bibtex] [pdf]
[15] Interval Probabilistic Timed Graph Transformation Systems (, , ), In Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, . [bibtex] [pdf] [doi]
[14] On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems (, , , ), In Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, . [bibtex] [pdf] [doi]
[13] Compositional Analysis of Probabilistic Timed Graph Transformation Systems (, , ), In Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (Esther Guerra, Mariëlle Stoelinga, eds.), Springer, volume 12649, . [bibtex] [pdf] [doi]
2020
[12] A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (, , , , ), In Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, . [bibtex] [pdf] [doi]
[11] Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (, , , ), In Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, . [bibtex] [pdf] [doi]
2019
[10] 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, . [bibtex] [pdf] [doi]
[9] 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, (Reiner Hähnle, Wil M. P. van der Aalst, eds.), Springer, volume 11424, . [bibtex] [pdf] [doi]
2018
[8] Probabilistic Timed Graph Transformation Systems (, , ), In Journal of Logical and Algebraic Methods in Programming, volume 101, . [bibtex] [pdf] [doi]
[7] Metric Temporal Graph Logic over Typed Attributed Graphs (, , , ), Technical report 123, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
2017
[6] Probabilistic Timed Graph Transformation Systems (, , ), Technical report 118, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[5] 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, . [bibtex] [pdf] [doi]
2016
[4] Modeling Collaborations in Adaptive Systems of Systems (), PhD thesis, , . [bibtex] [pdf]
2015
[3] Modeling Collaborations in Self-Adaptive Systems of Systems–Terms, Characteristics, Requirements, and Scenarios (, ), Technical report 96, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[2] Towards Smart Systems of Systems (, , ), In Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, . [bibtex] [pdf] [doi]
[1] 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, . [bibtex] [pdf] [doi]
Powered by bibtexbrowser