Pedro Palomo
Orcid: 0000-0001-5393-1667
According to our database1,
Pedro Palomo
authored at least 7 papers
between 2015 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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