Miguel Masmano

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