Ingo Sander

89 papers A* 1A 18B 1C 24Misc 5Journal 19Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Fahimeh Bahrami, Rodolfo Jordão, Ingo Sander, Ingemar Söderquist
2025 J jnl
A transformation strategy for process partitioning in hierarchical concurrent process networks.
J. Syst. Archit.
Fahimeh Bahrami, Ingo Sander
2025 C conf
Automating Transformation Strategy via Attributed Graphs for Process Network Parallelization.
FDL
Fahimeh Bahrami, Ingo Sander
2025 J jnl
High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation.
IEEE Access
Gabriel C. Duarte, Denis Silva Loubach, Ingo Sander
2025 J jnl
SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types.
CoRR
Rui Chen, Ingo Sander
2025 A conf
Towards Coherent Semantics: A Quantitatively Typed EDSL for Synchronous System Design.
DATE
Rui Chen, Ingo Sander
2024 C conf
A Quantitative Type Approach to Formal Component-Based System Design.
FDL
Rui Chen, Ingo Sander
2024 C conf
Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations.
FDL
Fahimeh Bahrami, Rodolfo Jordão, Ingo Sander, George Ungureanu
2024 J jnl
IDeSyDe: Systematic Design Space Exploration via Design Space Identification.
ACM Trans. Design Autom. Electr. Syst.
Rodolfo Jordão, Matthias Becker, Ingo Sander
2024 C conf
Multi-objective preference-free exact design space exploration of static DSP on multicore platforms.
FDL
Rodolfo Jordão, Fahimeh Bahrami, Yu Yang, Matthias Becker, Ingo Sander, Kathrin Rosvall
2023 J jnl
Satellite Image Compression Guided by Regions of Interest.
Sensors
Christofer Schwartz, Ingo Sander, Fredrik Bruhn, Mathias Persson, Joakim Ekblad, Christer Fuglesang
2022 C conf
A multi-view and programming language agnostic framework for model-driven engineering.
FDL
Rodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander
2021 J jnl
An automated parallel simulation flow for cyber-physical system design.
Integr.
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander, Mohammad Ahmadi
2021 J jnl
Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems.
IEEE Access
Denis Silva Loubach, Ricardo Bonna, George Ungureanu, Ingo Sander, Ingemar Söderquist
2021 J jnl
ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers.
ACM Trans. Embed. Comput. Syst.
George Ungureanu, José Edil Guimarães de Medeiros, Timmy Sundström, Ingemar Söderquist, Anders Åhlander, Ingo Sander
2021 A conf
Formulation of Design Space Exploration Problems by Composable Design Space Identification.
DATE
Rodolfo Jordão, Ingo Sander, Matthias Becker
2020 C conf
Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems.
FDL
George Ungureanu, Rodolfo Jordão, Ingo Sander
2020 J jnl
Heterogeneous co-simulation for embedded and cyber-physical systems design.
Simul.
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2019 C conf
Formal Design, Co-Simulation and Validation of a Radar Signal Processing System.
FDL
George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist
2019 J jnl
Modeling and Simulation of Dynamic Applications Using Scenario-Aware Dataflow.
ACM Trans. Design Autom. Electr. Syst.
Ricardo Bonna, Denis Silva Loubach, George Ungureanu, Ingo Sander
2018 A conf
An algebra for modeling continuous time systems.
DATE
José Edil G. de Medeiros, George Ungureanu, Ingo Sander
2018 A conf
Bridging discrete and continuous time models with atoms.
DATE
George Ungureanu, José Edil G. de Medeiros, Ingo Sander
2018 C conf
Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors.
DSD
Kathrin Rosvall, Tage Mohammadat, George Ungureanu, Johnny Öberg, Ingo Sander
2018 J jnl
Flexible and Tradeoff-Aware Constraint-Based Design Space Exploration for Streaming Applications on Heterogeneous Platforms.
ACM Trans. Design Autom. Electr. Syst.
Kathrin Rosvall, Ingo Sander
2017 A conf
A layered formal framework for modeling of cyber-physical systems.
DATE
George Ungureanu, Ingo Sander
2017 A conf
Automatic construction of models for analytic system-level design space exploration problems.
DATE
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2017 J jnl
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocess. Microsystems
Kim Grüttner, Ralph Görgen, Sören Schreiner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Emanuele Vitali, Davide Zoni, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Nima Khalilzad, Davide Quaglia
2017 J jnl
Designing end-to-end resource reservations in predictable distributed embedded systems.
Real Time Syst.
Mohammad Ashjaei, Nima Khalilzad, Saad Mubeen, Moris Behnam, Ingo Sander, Luís Almeida, Thomas Nolte
2017 — ch.
ForSyDe: System Design Using a Functional Language and Models of Computation.
Handbook of Hardware/Software Codesign
Ingo Sander, Axel Jantsch, Seyed-Hosein Attarzadeh-Niaki
2017 J jnl
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems.
Microprocess. Microsystems
Maher Fakih, Alina Lenz, Mikel Azkarate-askasua, Javier Coronel, Alfons Crespo, Simon Davidmann, Juan Carlos Diaz Garcia, Nera González Romero, Kim Grüttner, Sören Schreiner, Razi Seyyedi, Roman Obermaisser, Adele Maleki, Johnny Öberg, Mohamed Tagelsir Mohammadat, Jon Pérez-Cerrolaza, Ingo Sander, Ingemar Söderquist
2017 — conf
Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems.
RAPIDO
Kathrin Rosvall, Nima Khalilzad, George Ungureanu, Ingo Sander
2016 C conf
A modular design space exploration framework for multiprocessor real-time systems.
FDL
Nima Khalilzad, Kathrin Rosvall, Ingo Sander
2016 J jnl
An extensible modeling methodology for embedded and cyber-physical system design.
Simul.
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2016 C conf
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
DSD
Ralph Görgen, Kim Grüttner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Davide Quaglia
2016 C conf
SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems.
DSD
Alina Lenz, Mikel Azkarate-Askasua Blazquez, Javier Coronel, Alfons Crespo, Simon Davidmann, Juan Carlos Diaz Garcia, Nera González Romero, Kim Grüttner, Roman Obermaisser, Johnny Öberg, Jon Pérez, Ingo Sander, Ingemar Söderquist
2015 — conf
A formal, model-driven design flow for system simulation and multi-core implementation.
SIES
Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau, Johnny Öberg
2015 — conf
An efficient joint analytical and simulation-based design space exploration flow for predictable multi-core systems.
RAPIDO@HiPEAC
Fernando Herrera, Ingo Sander, Kathrin Rosvall, Edoardo Paone, Gianluca Palermo
2015 A conf
Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints.
DATE
Edoardo Paone, Francesco Robino, Gianluca Palermo, Vittorio Zaccaria, Ingo Sander, Cristina Silvano
2015 — conf
Towards cognitive reconfigurable hardware: Self-aware learning in RTR fault-tolerant SoCs.
ReCoSoC
Byron Navas, Ingo Sander, Johnny Öberg
2014 A conf
A constraint-based design space exploration framework for real-time applications on MPSoCs.
DATE
Kathrin Rosvall, Ingo Sander
2014 C conf
An extensible infrastructure for modeling and time analysis of predictable embedded systems.
FDL
Fernando Herrera, Ingo Sander
2014 — conf
On providing scalable self-healing adaptive fault-tolerance to RTR SoCs.
ReConFig
Byron Navas, Johnny Öberg, Ingo Sander
2014 C conf
Synthesizing code for GPGPUs from abstract formal models.
FDL
Gabriel Hjort Blindell, Christian Menne, Ingo Sander
2014 — conf
The upset-fault-observer: A concept for self-healing adaptive fault tolerance.
AHS
Byron Navas, Johnny Öberg, Ingo Sander
2013 A conf
An automated parallel simulation flow for heterogeneous embedded systems.
DATE
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2013 C conf
Combining analytical and simulation-based design space exploration for time-critical systems.
FDL
Fernando Herrera, Ingo Sander
2013 C conf
Rapid virtual prototyping of real-time systems using predictable platform characterizations.
FDL
Seyed-Hosein Attarzadeh-Niaki, Marcus Mikulcak, Ingo Sander
2013 Misc conf
System level synthesis of hardware for DSP applications using pre-characterized function implementations.
CODES+ISSS
Shuo Li, Nasim Farahini, Ahmed Hemani, Kathrin Rosvall, Ingo Sander
2013 A conf
The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks.
DATE
Byron Navas, Ingo Sander, Johnny Öberg
2013 C conf
Towards a Modelling and Design Framework for Mixed-Criticality SoCs and Systems-of-Systems.
DSD
Fernando Herrera, Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2013 — conf
Towards the generic reconfigurable accelerator: Algorithm development, core design, and performance analysis.
ReConFig
Byron Navas, Johnny Öberg, Ingo Sander
2012 C conf
Formal heterogeneous system modeling with SystemC.
FDL
Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander
2012 — conf
Heterogeneous system-level modeling for small and medium enterprises.
SBCCI
Seyed-Hosein Attarzadeh-Niaki, Gilmar S. Beserra, Nikolaj Andersen, Mathias Verdon, Ingo Sander
2012 C conf
Integrating virtual platforms into a heterogeneous MoC-based modeling framework.
FDL
Gilmar S. Beserra, Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2012 J jnl
Performance Analysis of Reconfigurations in Adaptive Real-Time Streaming Applications.
ACM Trans. Embed. Comput. Syst.
Jun Zhu, Ingo Sander, Axel Jantsch
2011 — conf
Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework.
SIES
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2011 A conf
Predicting bus contention effects on energy and performance in multi-processor SoCs.
DATE
Sandro Penolazzi, Ingo Sander, Ahmed Hemani
2011 C conf
Semi-formal refinement of heterogeneous embedded systems by foreign model integration.
FDL
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
2010 — conf
Constrained global scheduling of streaming applications on MPSoCs.
ASP-DAC
Jun Zhu, Ingo Sander, Axel Jantsch
2010 C conf
HetMoC: Heterogeneous Modelling in SystemC.
FDL
Jun Zhu, Ingo Sander, Axel Jantsch
2010 — conf
Inferring Energy and Performance Cost of RTOS in Priority-Driven Scheduling.
SIES
Sandro Penolazzi, Ingo Sander, Ahmed Hemani
2010 A conf
Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs.
DATE
Jun Zhu, Ingo Sander, Axel Jantsch
2010 A conf
Predicting energy and performance overhead of Real-Time Operating Systems.
DATE
Sandro Penolazzi, Ingo Sander, Ahmed Hemani
2009 A conf
Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures.
DATE
Jun Zhu, Ingo Sander, Axel Jantsch
2009 A conf
High-level estimation and trade-off analysis for adaptive real-time systems.
IPDPS
Ingo Sander, Jun Zhu, Axel Jantsch, Andreas Herrholz, Philipp A. Hartmann, Wolfgang Nebel
2008 J jnl
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tarvo Raudvere, Ingo Sander, Axel Jantsch
2008 Misc conf
Energy efficient streaming applications with guaranteed throughput on MPSoCs.
EMSOFT
Jun Zhu, Ingo Sander, Axel Jantsch
2008 — conf
Performance analysis of reconfiguration in adaptive real-time streaming applications.
ESTIMedia
Jun Zhu, Ingo Sander, Axel Jantsch
2007 — conf
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops.
ACM Great Lakes Symposium on VLSI
Tarvo Raudvere, Ingo Sander, Axel Jantsch
2007 — conf
Modelling Adaptive Systems in ForSyDe.
VerAS@TPHOLs
Ingo Sander, Axel Jantsch
2007 Misc conf
Synchronization after design refinements with sensitive delay elements.
CODES+ISSS
Tarvo Raudvere, Ingo Sander, Axel Jantsch
2007 B conf
The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems.
FPL
Andreas Herrholz, Frank Oppenheimer, Philipp A. Hartmann, Andreas Schallenberg, Wolfgang Nebel, Christoph Grimm, Markus Damm, Jan Haase, Florian Brame, Fernando Herrera, Eugenio Villar, Ingo Sander, Axel Jantsch, Anne-Marie Fouilliart, Marcos Martínez
2007 C conf
Using Synchronizers for Refining Synchronous Communication onto Hardware/Software Architectures.
IEEE International Workshop on Rapid System Prototyping
Zhonghai Lu, Jonas Sicking, Ingo Sander, Axel Jantsch
2006 C conf
Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads.
DSD
Rikard Thid, Ingo Sander, Axel Jantsch
2006 C conf
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication.
DSD
Zhonghai Lu, Ingo Sander, Axel Jantsch
2005 — conf
Feasibility analysis of messages for on-chip networks using wormhole routing.
ASP-DAC
Zhonghai Lu, Axel Jantsch, Ingo Sander
2005 C conf
Refinement of Perfectly Synchronous Communication Model.
FDL
Zhonghai Lu, Ingo Sander, Axel Jantsch
2005 A conf
System level verification of digital signal processing applications based on the polynomial abstraction technique.
ICCAD
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch
2004 A conf
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits.
DATE
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch
2004 J jnl
System modeling and transformational design refinement in ForSyDe [formal system design].
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ingo Sander, Axel Jantsch
2003 A conf
Development and Application of Design Transformations in ForSyDe.
DATE
Ingo Sander, Axel Jantsch, Zhonghai Lu
2003 — —
System Modeling and Design Refinement in ForSyDe.
Ingo Sander
2003 Misc conf
Verification of design decisions in ForSyDe.
CODES+ISSS
Tarvo Raudvere, Ingo Sander, Ashish Kumar Singh, Axel Jantsch
2002 — conf
A Case Study of Hardware and Software Synthesis in ForSyDe.
ISSS
Ingo Sander, Axel Jantsch, Zhonghai Lu
2002 A* conf
Transformation based communication and clock domain refinement for system design.
DAC
Ingo Sander, Axel Jantsch
2001 — conf
The usage of stochastic processes in embedded system specifications.
CODES
Axel Jantsch, Ingo Sander, Wenbiao Wu
2000 — conf
On the roles of functions and objects in system specification.
CODES
Axel Jantsch, Ingo Sander
1999 Misc conf
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons.
VLSI Design
Ingo Sander, Axel Jantsch
1999 — conf
System synthesis utilizing a layered functional model.
CODES
Ingo Sander, Axel Jantsch