Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

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

Category: Research

News about research

Paper accepted for presentation at TACAS 2022

Posted on December 28, 2021December 28, 2021 by Tim Willemse

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

Posted in Research

Journal paper on non-linear pattern matching accepted for LMCS

Posted on October 8, 2021October 8, 2021 by Maurice Laveaux

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.

Posted in Research

Journal paper on the formal verification of OIL component specifications accepted for STTT

Posted on September 29, 2021December 28, 2021 by Olav Bunte

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

Posted in Research

Keynote presentation by Luca Aceto on the axiomatisation of parallel composition at LICS 2021

Posted on August 21, 2021 by Bas Luttik

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

Posted in Research

Verifying liveness properties under justness assumptions in mCRL2

Posted on August 21, 2021August 21, 2021 by Bas Luttik

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

Posted in Research

Paper formalising the semantics of SysML state machines in mCRL2 presented at FORTE 2021

Posted on August 19, 2021August 19, 2021 by Bas Luttik

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

Posted in Research

IPA Dissertation Award for Thomas Neele

Posted on June 30, 2021June 30, 2021 by Tim Willemse

Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions …continue reading

Posted in People, Research

Paper on process decomposition accepted for ICE 2021

Posted on June 23, 2021 by Tim Willemse

The paper Decomposing Monolithic Processes in a Process Algebra with Multi-actions by Maurice Laveaux and Tim Willemse was accepted for presentation at ICE 2021, a workshop co-located with DisCoTec 2021. The interactive style of reviewing …continue reading

Posted in Research

Proceedings TACAS 2021 are online

Posted on April 2, 2021April 2, 2021 by Jan Friso Groote

The proceedings of TACAS 2021 are online (LNCS 12651 and LNCS 12652). Editors are J.F. Groote and K.G. Larsen. They are open access.

Posted in Research

Two Assistant Professor and/or Support Positions in FSA

Posted on April 2, 2021April 21, 2021 by Tim Willemse

The Formal System Analysis group has two vacancies for tenured/tenure track assistant professor and/or support staff positions. More information about these positions can be found here. Screening has started. The application deadline is 30 April, …continue reading

Posted in People, Research
Posts navigation
Older posts →

Agenda

May 2022
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      
« Apr   Jun »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box