Login / Signup
Pedro Palomo
ORCID
Publication Activity (10 Years)
Years Active: 2015-2020
Publications (10 Years): 7
Top Topics
Embedded Real Time Systems
Execution Engine
Hw Sw
Consumer Electronics
Top Venues
Int. J. Softw. Tools Technol. Transf.
MeTRiD@ETAPS
FASE
SEFM
</>
Publications
</>
Fotios Gioulekas
,
Peter Poplavko
,
Panagiotis Katsaros
,
Saddek Bensalem
,
Pedro Palomo
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
Int. J. Softw. Tools Technol. Transf.
22 (1) (2020)
Fotios Gioulekas
,
Peter Poplavko
,
Panagiotis Katsaros
,
Saddek Bensalem
,
Pedro Palomo
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
Int. J. Softw. Tools Technol. Transf.
22 (1) (2020)
Fotios Gioulekas
,
Peter Poplavko
,
Panagiotis Katsaros
,
Pedro Palomo
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine.
MeTRiD@ETAPS
(2018)
Fotios Gioulekas
,
Peter Poplavko
,
Panagiotis Katsaros
,
Saddek Bensalem
,
Pedro Palomo
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.
FASE
(2018)
Fotios Gioulekas
,
Peter Poplavko
,
Rany Kahil
,
Panagiotis Katsaros
,
Marius Bozga
,
Saddek Bensalem
,
Pedro Palomo
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper).
SEFM
(2017)
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
3Cat-2 - An Experimental Nanosatellite for GNSS-R Earth Observation: Mission Concept and Analysis.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
9 (10) (2016)
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
CAT-2: A 6U CubeSat-based multi-constellation, dual-polarization, and dual-frequency GNSS-R and GNSS-RO experimental mission.
IGARSS
(2015)