The following paper has been accepted as technical paper for BENEVOL 2023: Compositional ioco using model-based mocking, note that this is work carried out by master student Jore Booy during his graduation project under supervision of Jeroen Keiren (TU/e), and Machiel van der Bijl (Axini). Congratulation Jore on getting the paper accepted before defending your …continue reading
Author: Jeroen Keiren
NGF Project 6G Future Network Services Awarded
The multi-year public-private Future Network Services (FNS) programme focusses on creating a leading international position for the Netherlands in 6G. The focus is on specific and connected topics in 6G: intelligent radio components and antennas, intelligent networks, and leading applications in key sectors. The Formal System Analysis cluster is involved in program line 3: leading …continue reading
Paper accepted for ACM TOCL
The following paper has been accepted for publication in ACM Transactions on Computational Logic:Extensible Proof Systems for Infinite-State Systems, by Rance Cleaveland (University of Maryland, College Park) and Jeroen Keiren
Paper accepted for presentation at FMICS 2022
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
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