selected publications

• academic article

  • Legacy software migration based on timing contract aware real-time execution environments.  Journal of Systems and Software.  172:110849-110849. 2021
  • SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems.  Microprocessors and Microsystems.  52:89-105. 2017
  • SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems.  Zenodo (CERN European Organization for Nuclear Research).  2017

• chapter

  • Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs.  IFIP advances in information and communication technology. 2013

• conference paper

  • A Hypervisor Architecture for Low-Power Real-Time Embedded Systems.  . 2018
  • Autonomous Flight Control Meets Custom Payload Processing: A Mixed-Critical Avionics Architecture Approach for Civilian UAVs.  . 2014
  • Session 6: System design.  . 2011

• proceedings

  • A Hypervisor Architecture for Low-Power Real-Time Embedded Systems.  Zenodo (CERN European Organization for Nuclear Research). 2018