Miguel Masmano

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 4

Top Topics

Safety Critical

Computer Network Security

Top Venues

SOCO-CISIS-ICEUTE

Publications

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ñioz, Vicente Nicolau Gallego, Patricia López Cueva, Jean-noel Letrillard, Franck Wartel
HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem. DATE (2023)
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
HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem. CoRR (2023)
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
De-RISC: A Complete RISC-V Based Space-Grade Platform. DATE (2022)
S. Grixti, Nicholas Sammut, M. Hernek, E. Carrascosa, Miguel Masmano, Alfons Crespo
Separation Kernel Robustness Testing: The XtratuM Case Study. CLUSTER (2016)
E. Carrascosa, Javier Coronel, Miguel Masmano, Patricia Balbastre, Alfons Crespo
XtratuM hypervisor redesign for LEON4 multicore processor. SIGBED Rev. 11 (2) (2014)
Salva Peiró, Manuel Muñoz, Miguel Masmano, Alfons Crespo
Detecting Stack Based Kernel Information Leaks. SOCO-CISIS-ICEUTE (2014)
Apolinar González, Walter Mata, Alfons Crespo, Miguel Masmano, José Félix, Alvaro Aburto
A hypervisor based platform to support real-time safety critical embedded java applications. Comput. Syst. Sci. Eng. 28 (3) (2013)
Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo
ORK+/XtratuM: An Open Partitioning Platform for Ada. Ada-Europe (2011)
Christophe Jouvray, Grégoire Chartier, Nicolas François, Ismael Ripoll, Miguel Masmano, Alfons Crespo
Enforcing trust in control automotive platforms. EDCC-CARS (2010)
Alfons Crespo, Ismael Ripoll, Miguel Masmano
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. EDCC (2010)
Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings
Implementation of a constant-time dynamic storage allocator. Softw. Pract. Exp. 38 (10) (2008)
Miguel Masmano, Ismael Ripoll, Patricia Balbastre, Alfons Crespo
A constant-time dynamic storage allocator for real-time systems. Real Time Syst. 40 (2) (2008)
Audrey Marchand, Patricia Balbastre, Ismael Ripoll, Miguel Masmano, Alfons Crespo
Memory Resource Management for Real-Time Systems. ECRTS (2007)
Alfons Crespo, Ismael Ripoll, Miguel Masmano
Dynamic Memory Management for Embedded Real-Time Systems. DIPES (2006)
Miguel Masmano, Ismael Ripoll, Alfons Crespo
A comparison of memory allocators for real-time applications. JTRES (2006)
Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll
Distributing Criticality Across Ada Partitions. Ada-Europe (2005)
Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux. Ada-Europe (2004)
Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorge Real
TLSF: A New Dynamic Memory Allocator for Real-Time Systems. ECRTS (2004)
Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
Running Ada on Real-Time Linux. Ada-Europe (2003)
Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo
Dynamic ceiling priorities in GNAT implementation report. IRTAW (2003)