Modal Logic Characterization of Markovian Testing and Trace Equivalences. - Marco Bernardo 001; Stefania Botta (LMCS, 2006)

A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. - Marco Bernardo 001; Stefania Botta (Math. Struct. Comput. Sci., 2008)

AURIX TC277 Multicore Contention Model Integration for Automotive Applications. - Enrico Mezzetti; Luca Barbina; Jaume Abella 001; Stefania Botta; Francisco J. Cazorla (DATE, 2019)

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 (DSD, 2020)

Safety and Security Concept for Software Updates on Mixed-criticality Systems. - Imanol Mugarza; Irune Yarza; Irune Agirre; Fabrizio Lussiana; Stefania Botta (ICSRS, 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; et al. (Microprocess. Microsystems, 2021)