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 same title, authored by Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik appeared in the proceeding. Luca’s …continue reading
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 can still watch the presentation introducing the work.
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 presentation are available online.
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