Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

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

Author: Bas Luttik

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 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

Paper on up-to techniques for branching bisimilarity accepted at SOFSEM 2020

Posted on October 17, 2019October 17, 2019 by Bas Luttik

The paper “Up-to Techniques for Branching Bisimilarity” by Rick Erkens, Jurriaan Rot and Bas Luttik has been accepted for presentation at SOFSEM 2020 in Limassol, Cyprus.

Posted in Research

Paper on the formal analysis with mCRL2 of a railway interlocking accepted at FMICS 2019

Posted on June 11, 2019June 11, 2019 by Bas Luttik

The paper “Formal Modelling and Verification of an Interlocking using mCRL2” by Mark Bouwman, Bob Janssen, and Bas Luttik has been accepted for presentation at FMICS 2019 in Amsterdam, The Netherlands.

Posted in Research

Paper on sequencing accepted at CALCO 2019

Posted on May 14, 2019 by Bas Luttik

The paper “Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity” by Astrid Belder, Bas Luttik and Jos Baeten has been accepted for presentation at CALCO 2019 in London, UK.

Posted in Research

New group member: Mark Bouwman

Posted on March 11, 2019March 11, 2019 by Bas Luttik

Mark Bouwman started as a PhD candidate on the FormaSig project in our group. The FormaSig project, led by Bas Luttik (TU/e) and Maarten van der Werff (ProRail), is a joint research project of DB …continue reading

Posted in People, Projects, Research

Paper accepted at FMICS 2018

Posted on June 18, 2018June 19, 2018 by Bas Luttik

The paper “Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset” by Maarten Bartholomeus, Bas Luttik and Tim Willemse has been accepted for presentation at FMICS 2018, to be held at Maynooth University, Ireland on …continue reading

Posted in 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