| Formulation of design space exploration problems by composable design space identification R Jordão, I Sander, M Becker 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 9 | 2021 |
| Optimizing BCPNN learning rule for memory access Y Yang, D Stathis, R Jordão, A Hemani, A Lansner Frontiers in Neuroscience 14, 878, 2020 | 9 | 2020 |
| Towards correct-by-construction design of safety-critical embedded avionics systems I Sander, I Söderquist, M Ekman, R Jordao, F Bahrami, R Chen, ... International council for aeronautical sciences, 2022 | 6 | 2022 |
| A multi-view and programming language agnostic framework for model-driven engineering R Jordão, F Bahrami, R Chen, I Sander 2022 Forum on Specification & Design Languages (FDL), 1-8, 2022 | 5 | 2022 |
| On-board satellite data processing to achieve smart information collection C Schwartz, I Sander, R Jordão, F Bruhn, M Persson, J Ekblad, ... Optics, Photonics and Digital Technologies for Imaging Applications VII …, 2022 | 5 | 2022 |
| IDeSyDe: Systematic Design Space Exploration via Design Space Identification R Jordão, M Becker, I Sander ACM Transactions on Design Automation of Electronic Systems, 2024 | 4 | 2024 |
| Multi-objective preference-free exact design space exploration of static DSP on multicore platforms R Jordão, F Bahrami, Y Yang, M Becker, I Sander, K Rosvall 2024 Forum on Specification & Design Languages (FDL), 1-9, 2024 | 2 | 2024 |
| Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems G Ungureanu, R Jordão, I Sander 2020 Forum for Specification and Design Languages (FDL), 1-4, 2020 | 2 | 2020 |
| Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations F Bahrami, R Jordão, I Sander, G Ungureanu 2024 Forum on Specification & Design Languages (FDL), 1-9, 2024 | 1 | 2024 |
| Design space exploration for safe and optimal mapping of avionics functionality on IMA platforms R Jordão, M Becker, I Sander, I Söderquist 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-9, 2023 | 1 | 2023 |
| VrFy: Verification of Formal Requirements using Generic Traces JJ Olthuis, R Jordão, F Robino, S Borrami 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 1 | 2021 |
| From the Synchronous Data Flow Model of Computation to an Automotive Component Model MO Aybek, R Jordao, J Lundbäck, KL Lundbäck, M Becker 2021 26th IEEE International Conference on Emerging Technologies and Factory …, 2021 | 1 | 2021 |
| Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems F Bahrami, R Jordao, I Sander, I Söderquist ACM Transactions on Embedded Computing Systems, 2025 | | 2025 |
| Modular and tuneable design space exploration in model-driven engineering of embedded systems R Jordao KTH Royal Institute of Technology, 2024 | | 2024 |
| Applying Constraint Programming for Design Space Exploration in Avionics R Jordão, T Mohammadat, G Ungureanu, I Soderquist, M Ekman, ... Aerospace Technology Congress, 2019 | | 2019 |
| Planning for Cooperative Persistent Long Term Autonomous Missions R Jordao | | |
| Amin, Muhammad Ihtisham 84 F Bahrami, M Becker, L Capogrosso, J Castrillon, S Chakraborty, R Chen, ... | | |
| Julian Robledo, Christian Menard, Erling Jellum, Edward A. Lee and Jeronimo Castrillon A Quantitative Type Approach to Formal Component-Based System Design.............. 27 Rui … F Bahrami, R Jordao | | |
