Publications

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
International Conference on Coordination Models and Languages (COORDINATION) 2025
DOI PDF Code Slides

Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM
Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025
Lecture Notes in Computer Science, vol. 15698, pp. 3–22, © Springer-Verlag 2025
ETAPS Distinguished Paper & ETAPS 2025 Best Tool Paper Award
DOI PDF Code GitHub Slides

Timing is all you need
S. Graf, B. Jonsson, B. Khodabandeloo, C. Huang, N. Huber, P. Rümmer, W. Yi
Hinchey, M., Steffen, B. (eds) The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Lecture Notes in Computer Science, vol. 15240, pp. 259–279, © Springer-Verlag 2024
DOI PDF

An Encoding of Interaction Nets in OCaml
Nikolaus Huber, Wang Yi
Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models (GCM 2023 and 2024)
Electronic Proceedings in Theoretical Computer Science, vol. 417, pp. 1–16, 2025
DOI PDF Code Slides