Stefania Botta

According to our database, Stefania Botta authored at least 6 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach.

Irune Agirre, Irune Yarza, Imanol Mugarza, Jacopo Binchi, Peio Onaindia, Tomaso Poggi, Francisco J. Cazorla, Leonidas Kosmidis, Kim Grüttner, Patrick Uven, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta

Microprocess. Microsystems, November, 2021

Safety and Security Concept for Software Updates on Mixed-criticality Systems.

Imanol Mugarza, Irune Yarza, Irune Agirre, Fabrizio Lussiana, Stefania Botta

Proceedings of the 5th International Conference on System Reliability and Safety, 2021

2020

UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems.

Irune Agirre, Peio Onaindia, Tomaso Poggi, Irune Yarza, Francisco J. Cazorla, Leonidas Kosmidis, Kim Grüttner, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

AURIX TC277 Multicore Contention Model Integration for Automotive Applications.

Enrico Mezzetti, Luca Barbina, Jaume Abella, Stefania Botta, Francisco J. Cazorla

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2008

A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.

Marco Bernardo, Stefania Botta

Math. Struct. Comput. Sci., 2008

2006

Modal Logic Characterization of Markovian Testing and Trace Equivalences.

Marco Bernardo, Stefania Botta

Proceedings of the Workshop on Logic, Models and Computer Science, 2006