• Published

  The Kieker Observability Framework Version 2

  Yang, S., Reichelt, D. G., Jung, R., Hansson, M. & Hasselbring, W., 5/05/2025, ICPE '25: Companion of the 16th ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 11-15 5 p.

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

• Published

  SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

  Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

• Published

  Sound Statistical Model Checking for Probabilities and Expected Rewards

  Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 167-190 24 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

View all »