2020
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
Int. J. Softw. Tools Technol. Transf., 2020

Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
Int. J. Softw. Tools Technol. Transf., 2020

2018
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine.
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper).
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016
3Cat-2 - An Experimental Nanosatellite for GNSS-R Earth Observation: Mission Concept and Analysis.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2016

2015
<sup>3</sup>CAT-2: A 6U CubeSat-based multi-constellation, dual-polarization, and dual-frequency GNSS-R and GNSS-RO experimental mission.
Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015