MAIN OUTCOMES

Scientific production

In this page you will be able to find the scientific publications related to SELFY project published by partners

Finite Automata synthesis from Interactions

We propose a new approach to generate finite automata from an expressive interaction language with operators such as the concurrent region. Our approach leverages an operational semantics to compute derivatives of an interaction and assimilate them to states of a finite automata. In addition, we use term rewriting to merge states on-the-fly so as to obtain small automata without relying on costly a-posteriori minimization techniques.

Read more

Fail-Safe Decision Architecture for Positioning Failures on Automated Vehicles

Fail-Safe Decision Architecture for Positioning Failures on Automated VehiclesProceedings of the IEEE Autonomous and Trusted Vehicles Conference by Mario Rodríguez-Arozamena (TECNALIA, Basque Research and Technology Alliance, University of the Basque Country (UPV/EHU); Iñigo Aranguren-Mendieta; Joshué Pérez; Asier Zubizarreta (TECNALIA, Basque Research and Technology Alliance) Abstract Precise localization is essential for the operation of Connected and…

Read more

Interaction-based Offline Runtime Verification of Distributed Systems

Interaction-based Offline Runtime Verification of Distributed SystemsProceedings of the Fundamentals of Software Engineering Conference (FSEN) by Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre (Université Paris-Saclay, CEA List), and Pascale Le Gall (Université Paris-Saclay, CentraleSupéle)  Abstract Interactions are formal models describing asynchronous communications within a distributed system. They can be drawn in the fashion of…

Read more