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

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

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

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