Cache-Aware Development of High-Integrity Systems. - Enrico Mezzetti; Adam Betts; José F. Ruiz; Tullio Vardanega (Ada-Europe, 2010)

Preservation of Timing Properties with the Ada Ravenscar Profile. - Enrico Mezzetti; Marco Panunzio; Tullio Vardanega (Ada-Europe, 2010)

Towards a Cache-Aware Development of High Integrity Real-Time Systems. - Enrico Mezzetti; Tullio Vardanega (RTCSA, 2010)

Bounding the Effects of Resource Access Protocols on Cache Behavior. - Enrico Mezzetti; Marco Panunzio; Tullio Vardanega (WCET, 2010)

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. - Liliana Cucu-Grosjean; Luca Santinelli; Michael Houston; Code Lo; Tullio Vardanega; Leonidas Kosmidis; Jaume Abella 001; Enrico Mezzetti; Eduardo Quiñones; Francisco J. Cazorla (ECRTS, 2012)

A Time-composable Operating System. - Andrea Baldovin; Enrico Mezzetti; Tullio Vardanega (WCET, 2012)

Cache-aware development of high integrity real-time systems. - Enrico Mezzetti (2012)

Towards a Time-Composable Operating System. - Andrea Baldovin; Enrico Mezzetti; Tullio Vardanega (Ada-Europe, 2013)

Limited preemptive scheduling of non-independent task sets. - Andrea Baldovin; Enrico Mezzetti; Tullio Vardanega (EMSOFT, 2013)

A rapid cache-aware procedure positioning optimization to favor incremental development. - Enrico Mezzetti; Tullio Vardanega (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Kernel-level time composability for avionics applications. - Andrea Baldovin; Andrea Graziano; Enrico Mezzetti; Tullio Vardanega (SAC, 2013)

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. - Franck Wartel; Leonidas Kosmidis; Code Lo; Benoit Triquet; Eduardo Quiñones; Jaume Abella 001; Adriana Gogonel; Andrea Baldovin; Enrico Mezzetti; Liliana Cucu; Tullio Vardanega; Francisco J. Cazorla (SIES, 2013)

Putting RUN into Practice: Implementation and Evaluation. - Davide Compagnin; Enrico Mezzetti; Tullio Vardanega (ECRTS, 2014)

Supporting Global Resource Sharing in RUN-scheduled Multiprocessor Systems. - Luca Bonato; Enrico Mezzetti; Tullio Vardanega (RTNS, 2014)

Challenges in the Implementation of MrsP. - Sebastiano Catellani; Luca Bonato; Sebastian Huber; Enrico Mezzetti (Ada-Europe, 2015)

Timing analysis of an avionics case study on complex hardware/software platforms. - Franck Wartel; Leonidas Kosmidis; Adriana Gogonel; Andrea Baldovin; Zoë R. Stephenson; Benoit Triquet; Eduardo Quiñones; Code Lo; Enrico Mezzetti; Ian Broster; Jaume Abella 001; Liliana Cucu-Grosjean; et al. (DATE, 2015)

Experimental Evaluation of Optimal Schedulers Based on Partitioned Proportionate Fairness. - Davide Compagnin; Enrico Mezzetti; Tullio Vardanega (ECRTS, 2015)

EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis. - Marco Ziccardi; Enrico Mezzetti; Tullio Vardanega; Jaume Abella 001; Francisco J. Cazorla (RTSS, 2015)

WCET analysis methods: Pitfalls and challenges on their trustworthiness. - Jaume Abella 001; Carles Hernández 001; Eduardo Quiñones; Francisco J. Cazorla; Philippa Ryan Conmy; Mikel Azkarate-askasua; Jon Pérez 001; Enrico Mezzetti; Tullio Vardanega (SIES, 2015)

Software-enforced Interconnect Arbitration for COTS Multicores. - Marco Ziccardi; Alessandro Cornaglia; Enrico Mezzetti; Tullio Vardanega (WCET, 2015)

Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems. - Enrico Mezzetti; Marco Ziccardi; Tullio Vardanega; Jaume Abella 001; Eduardo Quiñones; Francisco J. Cazorla (Leibniz Trans. Embed. Syst., 2015)

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. - Francisco J. Cazorla; Jaume Abella 001; Jan Andersson; Tullio Vardanega; Francis Vatrinet; Iain Bate; Ian Broster; Mikel Azkarate-askasua; Franck Wartel; Liliana Cucu; Fabrice Cros; Glenn Farrall; et al. (DSD, 2016)

Mitigating Software-Instrumentation Cache Effects in Measurement-Based Timing Analysis. - Enrique Díaz; Jaume Abella 001; Enrico Mezzetti; Irune Agirre; Mikel Azkarate-askasua; Tullio Vardanega; Francisco J. Cazorla (WCET, 2016)

Measurement-Based Timing Analysis of the AURIX Caches. - Leonidas Kosmidis; Davide Compagnin; David Morales; Enrico Mezzetti; Eduardo Quiñones; Jaume Abella 001; Tullio Vardanega; Francisco J. Cazorla (WCET, 2016)

MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding. - Enrique Díaz; Mikel Fernández; Leonidas Kosmidis; Enrico Mezzetti; Carles Hernández 001; Jaume Abella 001; Francisco J. Cazorla (Ada-Europe, 2017)

Software Time Reliability in the Presence of Cache Memories. - Suzana Milutinovic; Jaume Abella 001; Irune Agirre; Mikel Azkarate-askasua; Enrico Mezzetti; Tullio Vardanega; Francisco J. Cazorla (Ada-Europe, 2017)

EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application. - Enrico Mezzetti; Mikel Fernández; Alen Bardizbanyan; Irune Agirre; Jaume Abella 001; Tullio Vardanega; Francisco J. Cazorla (RTAS, 2017)

Work-in-Progress Paper: An Analysis of the Impact of Dependencies on Probabilistic Timing Analysis and Task Scheduling. - Enrico Mezzetti; Jaume Abella 001; Carles Hernández 001; Francisco J. Cazorla (RTSS, 2017)

On uses of extreme value theory fit for industrial-quality WCET analysis. - Suzana Milutinovic; Enrico Mezzetti; Jaume Abella 001; Tullio Vardanega; Francisco J. Cazorla (SIES, 2017)

Modelling multicore contention on the AURIXTM TC27x. - Enrique Díaz; Enrico Mezzetti; Leonidas Kosmidis; Jaume Abella 001; Francisco J. Cazorla (DAC, 2018)

Measurement-based cache representativeness on multipath programs. - Suzana Milutinovic; Jaume Abella 001; Enrico Mezzetti; Francisco J. Cazorla (DAC, 2018)

NoCo: ILP-Based Worst-Case Contention Estimation for Mesh Real-Time Manycores. - Jordi Cardona; Carles Hernández 001; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (RTSS, 2018)

Reconciling Time Predictability and Performance in Future Computing Systems. - Francisco J. Cazorla; Jaume Abella 001; Enrico Mezzetti; Carles Hernández 001; Tullio Vardanega; Guillem Bernat (IEEE Des. Test, 2018)

High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V. - Enrico Mezzetti; Leonidas Kosmidis; Jaume Abella 001; Francisco J. Cazorla (IEEE Micro, 2018)

Fitting Software Execution-Time Exceedance into a Residual Random Fault in ISO-26262. - Irune Agirre; Francisco J. Cazorla; Jaume Abella 001; Carles Hernández 001; Enrico Mezzetti; Mikel Azkarate-askatsua; Tullio Vardanega (IEEE Trans. Reliab., 2018)

Towards limiting the impact of timing anomalies in complex real-time processors. - Pedro Benedicte; Jaume Abella 001; Carles Hernández 001; Enrico Mezzetti; Francisco J. Cazorla (ASP-DAC, 2019)

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

Generating and Exploiting Deep Learning Variants to Increase Heterogeneous Resource Utilization in the NVIDIA Xavier. - Roger Pujol; Hamid Tabani; Leonidas Kosmidis; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (ECRTS, 2019)

Accurate ILP-Based Contention Modeling on Statically Scheduled Multicore Systems. - Xavier Palomo; Enrico Mezzetti; Jaume Abella 001; Reinder J. Bril; Francisco J. Cazorla (RTAS, 2019)

On assessing the viability of probabilistic scheduling with dependent tasks. - Jaume Abella 001; Enrico Mezzetti; Francisco J. Cazorla (SAC, 2019)

ePAPI: Performance Application Programming Interface for Embedded Platforms. - Jeremy Giesen; Enrico Mezzetti; Jaume Abella 001; Enrique Fernández; Francisco J. Cazorla (WCET, 2019)

Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey. - Francisco J. Cazorla; Leonidas Kosmidis; Enrico Mezzetti; Carles Hernández 001; Jaume Abella 001; Tullio Vardanega (ACM Comput. Surv., 2019)

Increasing the Reliability of Software Timing Analysis for Cache-Based Processors. - Suzana Milutinovic; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (IEEE Trans. Computers, 2019)

Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study. - Xavier Palomo; Mikel Fernández; Sylvain Girbal; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla; Laurent Rioux (ECRTS, 2020)

Timing of Autonomous Driving Software: Problem Analysis and Prospects for Future Solutions. - Miguel Alcon; Hamid Tabani; Leonidas Kosmidis; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (RTAS, 2020)

Modeling Contention Interference in Crossbar-based Systems via Sequence-Aware Pairing (SeAP). - Jeremy Giesen; Pedro Benedicte; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (RTAS, 2020)

On the reliability of hardware event monitors in MPSoCs for critical domains. - Javier Barrera; Leonidas Kosmidis; Hamid Tabani; Enrico Mezzetti; Jaume Abella 001; Mikel Fernández; Guillem Bernat; Francisco J. Cazorla (SAC, 2020)

HRM: Merging Hardware Event Monitors for Improved Timing Analysis of Complex MPSoCs. - Sergi Vilardell; Isabel Serra; Roberto Santalla; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Leveraging Hardware QoS to Control Contention in the Xilinx Zynq UltraScale+ MPSoC. - Alejandro Serrano-Cases; Juan M. Reina; Jaume Abella 001; Enrico Mezzetti; Francisco J. Cazorla (ECRTS, 2021)

PRL: Standardizing Performance Monitoring Library for High-Integrity Real-Time Systems. - Jeremy Giesen; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (ICCD, 2021)

MUCH: exploiting pairwise hardware event monitor correlations for improved timing analysis of complex MPSoCs. - Sergi Vilardell; Isabel Serra; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (SAC, 2021)

Using Quantile Regression in Neural Networks for Contention Prediction in Multicore Processors. - Axel Brando; Isabel Serra; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (ECRTS, 2022)

Using Markov's Inequality with Power-Of-k Function for Probabilistic WCET Estimation. - Sergi Vilardell; Isabel Serra; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla; Joan del Castillo (ECRTS, 2022)

Standardizing the Probabilistic Sources of Uncertainty for the sake of Safety Deep Learning. - Axel Brando; Isabel Serra; Enrico Mezzetti; Francisco J. Cazorla; Jaume Abella 001 (SafeAI@AAAI, 2023)

SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI. - Jaume Abella 001; Jon Pérez 001; Cristofer Englund; Bahram Zonooz; Gabriele Giordana; Carlo Donzella; Francisco J. Cazorla; Enrico Mezzetti; Isabel Serra; Axel Brando; Irune Agirre; Fernando Eizaguirre; et al. (DATE, 2023)

Quasi Isolation QoS Setups to Control MPSoC Contention in Integrated Software Architectures. - Sergio Garcia-Esteban; Alejandro Serrano-Cases; Jaume Abella 001; Enrico Mezzetti; Francisco J. Cazorla (ECRTS, 2023)

Improving Timing-Related Guarantees for Main Memory in Multicore Critical Embedded Systems. - Asier Fernández de Lecea; Mohamed Hassan 002; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (RTSS, 2023)

ASCOM: Affordable Sequence-aware COntention Modeling in Crossbar-based MPSoCs. - Jeremy Jens Giesen León; Enrico Mezzetti; Jaume Abella 001; Francisco Javier Cazorla-Almeida (SAC, 2023)

Accurately Measuring Contention in Mesh NoCs in Time-Sensitive Embedded Systems. - Jordi Cardona; Carles Hernández 001; Jaume Abella 001; Enrico Mezzetti; Francisco J. Cazorla (ACM Trans. Design Autom. Electr. Syst., 2023)

Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems. - Roger Pujol; Josep Jorba 002; Hamid Tabani; Leonidas Kosmidis; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (ACM Trans. Embed. Comput. Syst., 2023)

On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems. - Axel Brando; Isabel Serra; Enrico Mezzetti; Francisco J. Cazorla; Jon Pérez-Cerrolaza; Jaume Abella 001 (Computer, 2023)

Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them. - Miguel Alcon; Axel Brando; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (Real Time Syst., 2023)

TAP: Task-Aware Profiling on Integrated Systems. - Jeremy Giesen; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (DSD, 2024)

Event Monitor Validation in High-Integrity Systems. - Roger Pujol; Sergi Vilardell; Enrico Mezzetti; Mohamed Hassan 002; Jaume Abella 001; Francisco J. Cazorla (DSD, 2024)

Achieving Flexible Performance Isolation on the AMD Xilinx Zynq UltraScale+. - Alejandro Serrano-Cases; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (DSD, 2024)

Increasing Testing Robustness of GPU Software in Embedded Critical Systems. - Javier Barrera; Leonidas Kosmidis; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (SAC, 2024)

Detecting Low-Density Mixtures in High-Quantile Tails for pWCET Estimation. - Blau Manau; Sergi Vilardell; Isabel Serra; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (ECRTS, 2025)

Probabilistic Timing Estimates in Scenarios Under Testing Constraints. - Sergi Vilardell; Francesco Rossi; Gabriele Giordana; Isabel Serra; Enrico Mezzetti; Jaume Abella 001; Francisco J. Cazorla (SAC, 2025)

ROSGuard: A Bandwidth Regulation Mechanism for ROS2-based Applications. - Jon Altonaga Puente; Enrico Mezzetti; Irune Agirre; Jaume Abella 001; Francisco Javier Cazorla-Almeida (CoRR, 2025)