3CAT-2: A 6U CubeSat-based multi-constellation, dual-polarization, and dual-frequency GNSS-R and GNSS-RO experimental mission. - Hugo Carreno-Luengo; Adriá Amèzaga; Albert Bolet; David Vidal; Jaume Jane; Juan Francisco Muñoz; Roger Olivé; Adriano Catarino; Miguel Hagenfeldt; Pedro Palomo; Stefania Cornara (IGARSS, 2015)

3Cat-2 - An Experimental Nanosatellite for GNSS-R Earth Observation: Mission Concept and Analysis. - Hugo Carreno-Luengo; Adriano Camps; Pol Via; Juan Francisco Muñoz; Alex Cortiella; David Vidal; Jaume Jane; Nuno Catarino; Miguel Hagenfeldt; Pedro Palomo; Stefania Cornara (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2016)

Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). - Fotios Gioulekas; Peter Poplavko; Rany Kahil; Panagiotis Katsaros; Marius Bozga; Saddek Bensalem; Pedro Palomo (SEFM, 2017)

A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (FASE, 2018)

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Pedro Palomo (MeTRiD@ETAPS, 2018)

Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (Int. J. Softw. Tools Technol. Transf., 2020)

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (Int. J. Softw. Tools Technol. Transf., 2020)