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 in the Cordis SUITE to mCRL2, and the verification of such models. In particular, the paper uses the model of …continue reading
Author: Jeroen Keiren
Paper on system level liveness verification in xMAS accepted for FMCAD 2020
The paper “Effective System Level Liveness Verification” by Alexander Fedotov, Jeroen Keiren and Julien Schmaltz has been accepted for presentation at FMCAD 2020, which will take place as an online conference. The paper introduces a sound encoding of liveness verification for xMAS networks extended with finite state machines.
Anna Stramaglia new PhD student
On July 1 2020, Anna Stramaglia is joining us a PhD student in the MACHINAIDE project. Anna will focus on the scalability of verification, especially in the context of co-evolving system models and verification models.
Best paper award at LATA 2020
The paper “Complexity of Automatic Sequences” by Hans Zantema has been awarded the best paper award for the 14th International Conference on Language and Automata Theory and Applications (LATA 2020), which will be held in Milan March 4-6, 2020.
We are hiring PhD students/postdocs!
We currently have four open positions for PhD students and one open position for a postdoctoral researcher. The open positions are in various externally funded projects. In particular, we are looking for candidates to fill a PhD position and a postdoc position in the ITEA funded MACHINAIDE project. Contact us for more information!
Paper on O(m log n) algorithm for branching bisimulation accepted at TACAS 2020
The paper “An O(m log n) algorithm for branching bisimilarity on labelled transition systems” by David Jansen, Jan Friso Groote, Jeroen Keiren and Anton Wijs has been accepted for presentation at TACAS, part of ETAPS 2020, in Dublin. An extended version including full proofs is available as technical report and on arXiv.
Open position Postdoc: continuous improvement of machines through verified software updates
We are looking for a post-doctoral researcher on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means of verified software updates. Check here for more information and applications Note that in the same project we are also …continue reading
Open position PhD student: continuous improvement of machines through verified software updates
We are looking for an excellent PhD student on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means of verified software updates. Check here for more information and applications Note that in the same project we are …continue reading