CORSE - Components Operationally: Reversibility and System Engineering

CORSE is a satellite workshop of DisCoTec 2025, held on June 16th in Lille, France. This workshop aims to celebrate the 65th birthday of Jean-Bernard Stefani.

Jean-Bernard Sfenani, Head of Research at INRIA-Grenoble, has made significant contributions across various fields, including software engineering, system modeling, and the theoretical aspects of distributed systems. His primary research focus has been on component models, with recent work emphasizing reversibility. Also Jean-Bernard was an active member of the FMOODS / FORTE community within the DisCoTec confederation.

Accepted Papers

Sergueï Lenglet, Camille Noûs and Alan Schmitt. From Complementary to Zipper Semantics
Aurélie Kong Win Chang, Jérôme Feret and Gregor Goessler. CESAn: a Core Erlang Semantics Analyser
Hernán Melgratti, Claudio Antares Mezzina and G. Michele Pinna. Encoding Reversible Petri nets into CCSK
Ivan Lanese, Claudio Antares Mezzina and Martin Vassor. Bounded Reversibility in HO$\pi$
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin and Gianluigi Zavattaro. Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess
Kai Pischke and Nobuko Yoshida. Asynchronous Global Protocols, Precisely
Duncan Paul Attard, Keith Bugeja, Adrian Francalanza, Marietta Galea, Gerard Tabone and Gianluca Zahra. Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems
Davide Sangiorgi. Unique-solution of Equations in Higher-Order Process Calculi with Passivation
Simon Bliudze, Sophie Cerf and Olga Kouchnarenko. A Hybrid Modelling Approach for Hierarchical Controlof Structured CPSs
Clément Aubert, Iain Phillips and Irek Ulidowski. Bisimulations and Reversibility
Michaël Lienhardt. Applied Formal Methods at ONERA: An experience Report
Michele Loreti, Michela Quadrini and Aniqa Rehman. Scalable verification of Local and Global properties of Collective Systems

Programme

9:00 - 10:00

Jean-Bernard Presentation
Unique-solution of Equations in Higher-Order Process Calculi with Passivation

10:30 - 12:30 Verification

Applied Formal Methods at ONERA: An experience Report
Scalable verification of Local and Global properties of Collective Systems
A Hybrid Modelling Approach for Hierarchical Controlof Structured CPSs
From Complementary to Zipper Semantics

14:30 - 16:00 Reversibility

Encoding Reversible Petri nets into CCSK
Bounded Reversibility in HO$\pi$
Bisimulations and Reversibility

16:30 - 18:00 Applications

Reversible Computation vs. Runtime Adaptation in Industrial IoT System
Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess
CESAn: a Core Erlang Semantics Analyser
Asynchronous Global Protocols, Precisely

Organization

Claudio Antares Mezzina (University of Urbino, Italy)
Alan Schmitt (INRIA, Rennes, France)