Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe International Conference on Reliable Software Technologies. 53–69.(2017).
Enforcing Safety and Security Through Non-Intrusive Runtime Verification. the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems. 19.(2016).
Timeliness runtime verification and adaptation in avionic systems. OSPERT 2016. 37.(2016).
Towards integration of adaptability and non-intrusive runtime verification in avionic systems. ACM SIGBED Review. 13, 60–65.(2016).
A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection. Proceedings of the 7th Simposio de Informatica (INFORUM).(2015).
An architecture pattern enabling safety at lower cost and with higher performance. Embedded Real Time Software and Systems Conference, Toulouse, France.(2014).
A kernel-based architecture for safe cooperative vehicular functions. Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on. 228–237.(2014).
LAN-BASED PROTOCOLS. Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties. 75.(2014).
Mechanisms to enforce dependability and timeliness in wireless communications. Wireless for Space and Extreme Environments (WiSEE), 2014 IEEE International Conference on. 1–6.(2014).
Analysing and reducing network inaccessibility in IEEE 802.15. 4 wireless communications. Local Computer Networks (LCN), 2013 IEEE 38th Conference on. 532–540.(2013).
Improving ns-2 network simulator for ieee 802.15. 4 standard operation. 5th Simpósio de Informática (INFORUM).(2013).
Towards resilient real-time wireless communications. Work-in-Progress Session. 29.(2013).
Characterizing Inaccessibility in IEEE 802.15. 4 Through Theoretical Models and Simulation Tools. D3. 1–First Report on Supporting Technologies (Annex). 63.(2012).
Heterogeneous multiprocessor compositional real-time scheduling. RTSOPS 2012. 21.(2012).
hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator. 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy.(2012).
Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems. Simposio de informatica. 582–585.(2012).
Adaptability and survivability in spaceborne time-and space-partitioned systems. EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE. 1–4.(2011).
AIR: Technology innovation for future spacecraft onboard computing systems. EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE. 1–2.(2011).
An approach to enhance the timeliness of wireless communications. UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies. 277–282.(2011).