Miguel Masmano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2004–2023
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DATE | 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 Muoz, Vicente Nicolau Gallego, Patricia Lpez Cueva, Jean-noel Letrillard, Franck Wartel |
| 2022 | DATE | De-RISC: A Complete RISC-V Based Space-Grade Platform. | Nils-Johan Wessman, Fabio Malatesta, Stefano Ribes, Jan Andersson, Antonio Garca-Vilanova, Miguel Masmano, Vicente Nicolau, Paco Gomez, Jimmy Le Rhun, Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Fabio Mazzocchetti, Jaume Abella |
| 2016 | CLUSTER | Separation Kernel Robustness Testing: The XtratuM Case Study. | Stephen Grixti, Nicholas Sammut, Maria Hernek, Elena Carrascosa, Miguel Masmano, Alfons Crespo |
| 2010 | EDCC | Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. | Alfons Crespo, Ismael Ripoll, Miguel Masmano |
| 2010 | EDCC | Enforcing trust in control automotive platforms. | Christophe Jouvray, Grgoire Chartier, Nicolas Franois, Ismael Ripoll, Miguel Masmano, Alfons Crespo |
| 2007 | ECRTS | Memory Resource Management for Real-Time Systems. | Audrey Marchand, Patricia Balbastre, Ismael Ripoll, Miguel Masmano, Alfons Crespo |
| 2004 | ECRTS | TLSF: A New Dynamic Memory Allocator for Real-Time Systems. | Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorge Real |