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)

A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, 2018)

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Pedro Palomo (Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018, 2018)

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 (Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, 2017)

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)

\(^3\)CAT-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 (2015 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2015, Milan, Italy, July 26-31, 2015, 2015)