The paper Formal verification of an industrial UML-like model using mCRL2, by Anna Stramaglia and Jeroen Keiren, has been accepted for the CONFEST 2022 conference FMICS. The paper describes the translation of low-code models developed …continue reading
Category: Research
News about research
Visitor: Rance Cleaveland
Rance Cleaveland (Maryland University) will be our guest from 11-15 July. He’ll mainly be working with Jeroen Keiren.
Best Artefact award at FORTE 2022
The software tool for analysing policies specified in XACML, which, under the hood, uses mCRL2, won the best Artefact award at FORTE. The tool is described in the paper ‘Process Algebra Can Save Lives: Static …continue reading
Paper on XACML in FORTE 2022
A paper by Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse, dealing with mCRL2-powered analysis of access control policies, specified in XACML, has been accepted for FORTE 2022.
Paper accepted for presentation at TACAS 2022
The paper “On-The-Fly Solving for Symbolic Parity Games“, by Maurice Laveaux, Wieger Wesselink and Tim Willemse, has been accepted for the ETAPS 2022 conference TACAS. The paper describes how to use on-the-fly solving techniques during …continue reading
Journal paper on non-linear pattern matching accepted for LMCS
The journal paper “Adaptive Non-Linear Pattern Matching Automata” by Rick Erkens and Maurice Laveaux has been accepted for publication in the FSCD2020 special issue of Logical Methods in Computer Science.
Journal paper on the formal verification of OIL component specifications accepted for STTT
The journal paper “Formal verification of OIL component specifications using mCRL2” by Olav Bunte, Louis van Gool and Tim Willemse has been accepted for the special issue FMICS 2019/2020 of the journal on Software Tools …continue reading
Keynote presentation by Luca Aceto on the axiomatisation of parallel composition at LICS 2021
On Friday July 2, 2021, our colleague Luca Aceto from Reykjavik University delivered an invited talk at LICS 2021 entitled In search of lost time: Axiomatising parallel composition in process algebras. An article with the …continue reading
Verifying liveness properties under justness assumptions in mCRL2
In 2020, the article Off-the-shelf Automated Analysis of Liveness Properties for Just Paths by Mark Bouwman, Bas Luttik and Tim Willemse published as Acta Informatica 57:551-590. The article was recently presented at FORTE 2021; you …continue reading
Paper formalising the semantics of SysML state machines in mCRL2 presented at FORTE 2021
The paper A Formalisation of SysML State Machines in mCRL2 by Mark Bouwman, Bas Luttik and Djurre van der Wal was presented at FORTE 2021, a workshop co-located with DisCoTec 2021. Both the paper and Mark Bouman’s …continue reading