Stefania Botta

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 4

Top Topics

Heterogeneous Platforms

Complex Systems

Top Venues

Microprocess. Microsystems

Publications

Imanol Mugarza, Irune Yarza, Irune Agirre, Fabrizio Lussiana, Stefania Botta
Safety and Security Concept for Software Updates on Mixed-criticality Systems. ICSRS (2021)
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
Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach. Microprocess. Microsystems 87 (2021)
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
UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems. DSD (2020)
Enrico Mezzetti, Luca Barbina, Jaume Abella, Stefania Botta, Francisco J. Cazorla
AURIX TC277 Multicore Contention Model Integration for Automotive Applications. DATE (2019)
Marco Bernardo, Stefania Botta
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. Math. Struct. Comput. Sci. 18 (1) (2008)
Marco Bernardo, Stefania Botta
Modal Logic Characterization of Markovian Testing and Trace Equivalences. Electron. Notes Theor. Comput. Sci. 169 (2007)