Meet some of our Researchers
Recent Publications
Our most recent peer reviewed publications
-
Thom Badings,Matthias Volk,Sebastian Junges,Marielle Stoelinga,Nils Jansen
CTMCs with Imprecisely Timed Observations
(2024) -
Clemens Dubslaff,Kallistos Weis,Christel Baier,Sven Apel
Feature causality
Journal of Systems and Software (2024) -
Valentina Castiglioni,Ruggero Lanotte,Simone Tini
Back to the format
Journal of Logical and Algebraic Methods in Programming (2024) -
Hamed Arshad,Ross Horne,Christian Johansen,Olaf Owe,Tim A.C. Willemse
XACML2mCRL2
Science of Computer Programming (2024) -
Clemens Dubslaff,Jonas Schulz,Patrick Wienhöft,Christel Baier,Frank H.P. Fitzek,Stefan J. Kiebel,Johannes Lehmann
Towards a Formal Account on Negative Latency.
(2024)