MAIN OUTCOMES

Scientific production

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

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