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 place as a virtual conference in January 2021.
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 will take place as an online conference, organised from Vienna, Austria, in September 2020.
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 2020 PSAM 15, which will take place in Venice, Italy in November 2020. The paper is written in the context …continue reading
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.
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.
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.
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 Netze A.G., Eindhoven University of Technology, ProRail and the University of Twente, to advance the application of formal methods (in …continue reading
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 September 3-4, 2018.