In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer Science (LNCS), Vol. 16143, ISBN 978-3-032-05791-4, Springer Nature, Switzerland, 10/2025.
Elisabeth Dillies; Quentin Delfosse; Jannis Blüml; Raban Emunds; Florian Peter Busch; Kristian Kersting
In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2502.12707, Pages 1-32, Computing Research Repository, 2025.
Rupert Mitchell; Antonio Alliegro; Raffaello Camoriano; Dustin Carrión-Ojeda; Antonio Carta; Georgia Chalvatzaki; Nikhil Churamani; Carlo D'Eramo; Samin Hamidi; Robin Hesse; Fabian Hinder; Roshni Kamath; Vincenzo Lomonaco; Subarnaduti Paul; Francesca Pistilli; Tinne Tuytelaars; Gido M. van de Ven; Kristian Kersting; Simone Schaub-Meyer; Martin Mundt