Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

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

Category: Research

News about research

Paper on the axiomatisability of parallel composition accepted for presentation at CSL 2021

Posted on October 5, 2020October 5, 2020 by Bas Luttik

The paper Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? by Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik has been accepted for presentation at CSL 2021, which will take …continue reading

Posted in Research

Paper accepted at Concur2020

Posted on July 7, 2020July 7, 2020 by Jan Friso Groote

A paper containing a near-linear time algorithm for weak bisimilarity for Markov chains, by Jansen, Groote, Timmers and Yang has been accepted at Concur 2020. The paper provides an average time O(m log^4 n) algorithm, …continue reading

Posted in Research Tagged Algorithm, Markov chain

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

Paper on the formal verification of OIL component specifications accepted at FMICS 2020

Posted on July 6, 2020July 6, 2020 by Olav Bunte

The paper “Formal verification of OIL component specifications using mCRL2” by Olav Bunte, Louis van Gool and Tim Willemse has been accepted for presentation at FMICS 2020, which will take place as an online conference, …continue reading

Posted in Research

Paper on the axiomatisability of parallel composition accepted for presentation at CONCUR 2020

Posted on June 29, 2020June 29, 2020 by Bas Luttik

The paper On the Axiomatisability of Parallel Composition: A Journey in the Spectrum by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik and Mathias Ruggaard Pedersen has been accepted for presentation at CONCUR 2020, which …continue reading

Posted in Research

Paper on the formal analysis and test generation for the EULYNX Point interface accepted at ESREL 2020 PSAM 15

Posted on June 26, 2020June 26, 2020 by Bas Luttik

The paper What is the Point: Formal Analysis and Test Generation for a Railway Standard by Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga and Arend Rensink has been accepted for presentation at ESREL …continue reading

Posted in Research

EATCS best paper award at ETAPS

Posted on June 12, 2020June 12, 2020 by Thomas Neele

The paper “The inconsistent labelling problem of stutter-preserving partial-order reduction” by Thomas Neele, Antti Valmari and Tim Willemse, published at FoSSaCS 2020 (part of ETAPS), has been awarded with the EATCS award for the best …continue reading

Posted in Research

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

Two papers on partial-order reduction accepted at FoSSaCS, TACAS

Posted on January 2, 2020January 2, 2020 by Thomas Neele

The papers “Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Wieger Wesselink and “The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction” by Thomas Neele, …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
Posts navigation
Older posts →

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