The paper “Efficient Evidence Generation for Modal mu-Calculus Model Checking” by Anna Stramaglia, Jeroen Keiren, Maurice Laveaux and Tim Willemse has been accepted for publication at TACAS 2025 that will take place in Hamilton, Canada, …continue reading
Category: Research
News about research
Paper accepted at ABZ 2025
The paper “On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK”, by Sebastian Betancourt and Valentina Castiglioni, has been accepted at ABZ 2025, that will take place in Dusseldorf, 10-13 June …continue reading
ROCKS 2025 in Eindhoven
The ROCKS Meeting 2025 is taking place in Eindhoven from April 2nd – 4th. The ROCKS Meeting on “Rigorous dependability analysis using model checking techniques for stochastic systems” is a recurring event which connects researchers …continue reading
Paper published in ACM Formal Aspects of Computing
The paper Formal Methods in Industry by M.H. ter Beek, R. Chapman, R. Cleaveland, H. Garavel, R. Gu, I. ter Horst, J.J.A. Keiren, T. Lecompte, M. Leuschel, K.Y. Rozier, A. Sampaio, C. Seceleanu, M. Thomas, …continue reading
Paper accepted for TCS
The following paper has been accepted for publication in Theoretical Computer Science: Robustness for biochemical networks: Step-by-step approach by Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Desiree Manicardi, and Simone Tini. The paper will be published …continue reading
RobTL: Robustness Temporal Logic for CPS @ CONCUR
The paper ‘RobTL: Robustness Temporal Logic for CPS’, by Valentina Castiglioni, Michele Loreti and Simone Tini , recently accepted for presentation at CONCUR (September 2024, Calgary, Canada) is now available, see LIPIcs, volume 311 [doi]
An Expressive Timed Modal Mu-Calculus for Timed Automata @ QEST+FORMATS
The paper An expressive Timed Modal Mu-Calculus for Timed Automata by Rance Cleaveland, Jeroen Keiren and Peter Fontana, accepted for publication at QEST+FORMATS (Calgary, September 2024) is now available in LNCS vol. 14996.
Progress, Justness and Fairness in the modal mu-calculus @ CONCUR
The paper ‘Progress, Justness and Fairness in modal mu-calculus formulae’, by Myrthe Spronck, Bas Luttik and Tim Willemse , recently accepted for presentation at CONCUR (September 2024, Calgary, Canada) is now available, see LIPIcs, volume 311.
Paper accepted for CASE 2024
The paper Validation of Supervisory Control Synthesis Tool CIF Using Model Checker mCRL2 by Michel Reniers and Jeroen Keiren has been accepted for IEEE CASE 2024. The paper describes how the mCRL2 model checker can …continue reading
ABZ 2024 case study paper published
The paper Modelling and Analysing a Mechanical Lung Ventilator in mCRL2 by Danny van Dortmont, Jeroen Keiren and Tim Willemse has been published at ABZ 2024. The paper describes the modelling and analysis of the …continue reading