Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. - George Ungureanu; Rodolfo Jordão; Ingo Sander (FDL, 2020)

Formulation of Design Space Exploration Problems by Composable Design Space Identification. - Rodolfo Jordão; Ingo Sander; Matthias Becker 004 (DATE, 2021)

From the Synchronous Data Flow Model of Computation to an Automotive Component Model. - Mehmet Onur Aybek; Rodolfo Jordão; John Lundbäck; Kurt-Lennart Lundbäck; Matthias Becker 004 (ETFA, 2021)

VrFy: Verification of Formal Requirements using Generic Traces. - Jorrit Olthuis; Rodolfo Jordão; Francesco Robino; Sina Borrami (QRS Companion, 2021)

A multi-view and programming language agnostic framework for model-driven engineering. - Rodolfo Jordão; Fahimeh Bahrami; Rui Chen; Ingo Sander (FDL, 2022)

Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations. - Fahimeh Bahrami; Rodolfo Jordão; Ingo Sander; George Ungureanu (FDL, 2024)

Multi-objective preference-free exact design space exploration of static DSP on multicore platforms. - Rodolfo Jordão; Fahimeh Bahrami; Yu Yang; Matthias Becker 004; Ingo Sander; Kathrin Rosvall (FDL, 2024)

IDeSyDe: Systematic Design Space Exploration via Design Space Identification. - Rodolfo Jordão; Matthias Becker 004; Ingo Sander (ACM Trans. Design Autom. Electr. Syst., 2024)

Modular and tuneable designÂ space exploration in model-drivenÂ engineering of embedded systems. - Rodolfo Jordão (2024)