Miguel Masmano

According to our database1, Miguel Masmano authored at least 19 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
De-RISC: A Complete RISC-V Based Space-Grade Platform.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2016
Separation Kernel Robustness Testing: The XtratuM Case Study.
Proceedings of the 2016 IEEE International Conference on Cluster Computing, 2016

2014
XtratuM hypervisor redesign for LEON4 multicore processor.
SIGBED Rev., 2014

Detecting Stack Based Kernel Information Leaks.
Proceedings of the International Joint Conference SOCO'14-CISIS'14-ICEUTE'14, 2014

2013
A hypervisor based platform to support real-time safety critical embedded java applications.
Comput. Syst. Sci. Eng., 2013

2011
ORK+/XtratuM: An Open Partitioning Platform for Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Enforcing trust in control automotive platforms.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach.
Proceedings of the Eighth European Dependable Computing Conference, 2010

2008
Implementation of a constant-time dynamic storage allocator.
Softw. Pract. Exp., 2008

A constant-time dynamic storage allocator for real-time systems.
Real Time Syst., 2008

2007
Memory Resource Management for Real-Time Systems.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006
A comparison of memory allocators for real-time applications.
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Dynamic Memory Management for Embedded Real-Time Systems.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005
Distributing Criticality Across Ada Partitions.
Proceedings of the Reliable Software Technology, 2005

2004
TLSF: A New Dynamic Memory Allocator for Real-Time Systems.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.
Proceedings of the Reliable Software Technologies, 2004

2003
Dynamic ceiling priorities in GNAT implementation report.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Running Ada on Real-Time Linux.
Proceedings of the Reliable Software Technologies, 2003


  Loading...