Miguel Masmano

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem.

Nadia Ibellaatti, Edouard Lepape, Alp Kiliç, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia López Cueva, Jean-noel Letrillard, Franck Wartel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

De-RISC: A Complete RISC-V Based Space-Grade Platform.

Nils-Johan Wessman, Fabio Malatesta, Stefano Ribes, Jan Andersson, Antonio García-Vilanova, Miguel Masmano, Vicente Nicolau, Paco Gomez, Jimmy Le Rhun, Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Fabio Mazzocchetti, Jaume Abella

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2016

Separation Kernel Robustness Testing: The XtratuM Case Study.

Stephen Grixti, Nicholas Sammut, Maria Hernek, Elena Carrascosa, Miguel Masmano, Alfons Crespo

Proceedings of the 2016 IEEE International Conference on Cluster Computing, 2016

2014

XtratuM hypervisor redesign for LEON4 multicore processor.

Elena Carrascosa, Javier Coronel, Miguel Masmano, Patricia Balbastre, Alfons Crespo

SIGBED Rev., 2014

Detecting Stack Based Kernel Information Leaks.

Salva Peiró, Manuel Muñoz, Miguel Masmano, Alfons Crespo

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.

Apolinar González, Walter Mata, Alfons Crespo, Miguel Masmano, José Félix, Alvaro Aburto

Comput. Syst. Sci. Eng., 2013

2011

ORK+/XtratuM: An Open Partitioning Platform for Ada.

Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

Enforcing trust in control automotive platforms.

Christophe Jouvray, Grégoire Chartier, Nicolas François, Ismael Ripoll, Miguel Masmano, Alfons Crespo

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach.

Alfons Crespo, Ismael Ripoll, Miguel Masmano

Proceedings of the Eighth European Dependable Computing Conference, 2010

2008

Implementation of a constant-time dynamic storage allocator.

Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings

Softw. Pract. Exp., 2008

A constant-time dynamic storage allocator for real-time systems.

Miguel Masmano, Ismael Ripoll, Patricia Balbastre, Alfons Crespo

Real Time Syst., 2008

2007

Memory Resource Management for Real-Time Systems.

Audrey Marchand, Patricia Balbastre, Ismael Ripoll, Miguel Masmano, Alfons Crespo

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006

A comparison of memory allocators for real-time applications.

Miguel Masmano, Ismael Ripoll, Alfons Crespo

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Dynamic Memory Management for Embedded Real-Time Systems.

Alfons Crespo, Ismael Ripoll, Miguel Masmano

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005

Distributing Criticality Across Ada Partitions.

Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll

Proceedings of the Reliable Software Technology, 2005

2004

TLSF: A New Dynamic Memory Allocator for Real-Time Systems.

Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorge Real

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.

Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo

Proceedings of the Reliable Software Technologies, 2004

2003

Dynamic ceiling priorities in GNAT implementation report.

Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Running Ada on Real-Time Linux.

Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo

Proceedings of the Reliable Software Technologies, 2003