Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Author: Jeroen Keiren

Paper on system level liveness verification in xMAS accepted for FMCAD 2020

Posted on July 7, 2020July 7, 2020 by Jeroen Keiren

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 …continue reading

Posted in Research

Anna Stramaglia new PhD student

Posted on June 22, 2020July 6, 2020 by Jeroen Keiren

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.

Posted in People, Projects

Best paper award at LATA 2020

Posted on January 2, 2020 by Jeroen Keiren

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 …continue reading

Posted in Research

We are hiring PhD students/postdocs!

Posted on December 23, 2019December 6, 2020 by Jeroen Keiren

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 …continue reading

Posted in People, Projects, Research

Paper on O(m log n) algorithm for branching bisimulation accepted at TACAS 2020

Posted on December 23, 2019 by Jeroen Keiren

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 …continue reading

Posted in Research

Open position Postdoc: continuous improvement of machines through verified software updates

Posted on December 19, 2019 by Jeroen Keiren

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 …continue reading

Posted in Education, People, Projects

Open position PhD student: continuous improvement of machines through verified software updates

Posted on December 19, 2019December 19, 2019 by Jeroen Keiren

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 …continue reading

Posted in People, Projects, Research

Agenda

March 2021
MTWTFSS
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31     
« Feb   Apr »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box