Ingo Sander

ORCID

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 28

Top Venues

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

Christofer Schwartz, Ingo Sander, Fredrik Bruhn, Mathias Persson, Joakim Ekblad, Christer Fuglesang
Satellite Image Compression Guided by Regions of Interest. Sensors 23 (2) (2023)
Rodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander
A multi-view and programming language agnostic framework for model-driven engineering. FDL (2022)
Rodolfo Jordão, Ingo Sander, Matthias Becker
Formulation of Design Space Exploration Problems by Composable Design Space Identification. DATE (2021)
Denis Silva Loubach, Ricardo Bonna, George Ungureanu, Ingo Sander, Ingemar Söderquist
Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems. IEEE Access 9 (2021)
George Ungureanu, José Edil Guimarães de Medeiros, Timmy Sundström, Ingemar Söderquist, Anders Åhlander, Ingo Sander
ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers. ACM Trans. Embed. Comput. Syst. 20 (2) (2021)
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander, Mohammad Ahmadi
An automated parallel simulation flow for cyber-physical system design. Integr. 77 (2021)
George Ungureanu, Rodolfo Jordão, Ingo Sander
Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. FDL (2020)
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
Heterogeneous co-simulation for embedded and cyber-physical systems design. Simul. 96 (9) (2020)
George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist
Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. FDL (2019)
Ricardo Bonna, Denis Silva Loubach, George Ungureanu, Ingo Sander
Modeling and Simulation of Dynamic Applications Using Scenario-Aware Dataflow. ACM Trans. Design Autom. Electr. Syst. 24 (5) (2019)
José Edil G. de Medeiros, George Ungureanu, Ingo Sander
An algebra for modeling continuous time systems. DATE (2018)
Kathrin Rosvall, Tage Mohammadat, George Ungureanu, Johnny Öberg, Ingo Sander
Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors. DSD (2018)
George Ungureanu, José Edil G. de Medeiros, Ingo Sander
Bridging discrete and continuous time models with atoms. DATE (2018)
Kathrin Rosvall, Ingo Sander
Flexible and Tradeoff-Aware Constraint-Based Design Space Exploration for Streaming Applications on Heterogeneous Platforms. ACM Trans. Design Autom. Electr. Syst. 23 (2) (2018)
Mohammad Ashjaei, Nima Khalilzad, Saad Mubeen, Moris Behnam, Ingo Sander, Luís Almeida, Thomas Nolte
Designing end-to-end resource reservations in predictable distributed embedded systems. Real Time Syst. 53 (6) (2017)
George Ungureanu, Ingo Sander
A layered formal framework for modeling of cyber-physical systems. DATE (2017)
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
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. Microprocess. Microsystems 51 (2017)
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
Automatic construction of models for analytic system-level design space exploration problems. DATE (2017)
Kathrin Rosvall, Nima Khalilzad, George Ungureanu, Ingo Sander
Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems. RAPIDO (2017)
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
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems. Microprocess. Microsystems 52 (2017)
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
SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems. DSD (2016)
Nima Khalilzad, Kathrin Rosvall, Ingo Sander
A modular design space exploration framework for multiprocessor real-time systems. FDL (2016)
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
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties. DSD (2016)
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
An extensible modeling methodology for embedded and cyber-physical system design. Simul. 92 (8) (2016)
Edoardo Paone, Francesco Robino, Gianluca Palermo, Vittorio Zaccaria, Ingo Sander, Cristina Silvano
Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints. DATE (2015)
Byron Navas, Ingo Sander, Johnny Öberg
Towards cognitive reconfigurable hardware: Self-aware learning in RTR fault-tolerant SoCs. ReCoSoC (2015)
Fernando Herrera, Ingo Sander, Kathrin Rosvall, Edoardo Paone, Gianluca Palermo
An efficient joint analytical and simulation-based design space exploration flow for predictable multi-core systems. RAPIDO@HiPEAC (2015)
Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau, Johnny Öberg
A formal, model-driven design flow for system simulation and multi-core implementation. SIES (2015)
Byron Navas, Johnny Öberg, Ingo Sander
The upset-fault-observer: A concept for self-healing adaptive fault tolerance. AHS (2014)
Byron Navas, Johnny Öberg, Ingo Sander
On providing scalable self-healing adaptive fault-tolerance to RTR SoCs. ReConFig (2014)
Gabriel Hjort Blindell, Christian Menne, Ingo Sander
Synthesizing code for GPGPUs from abstract formal models. FDL (2014)
Kathrin Rosvall, Ingo Sander
A constraint-based design space exploration framework for real-time applications on MPSoCs. DATE (2014)
Fernando Herrera, Ingo Sander
An extensible infrastructure for modeling and time analysis of predictable embedded systems. FDL (2014)
Shuo Li, Nasim Farahini, Ahmed Hemani, Kathrin Rosvall, Ingo Sander
System level synthesis of hardware for DSP applications using pre-characterized function implementations. CODES+ISSS (2013)
Fernando Herrera, Ingo Sander
Combining analytical and simulation-based design space exploration for time-critical systems. FDL (2013)
Byron Navas, Ingo Sander, Johnny Öberg
The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks. DATE (2013)
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
An automated parallel simulation flow for heterogeneous embedded systems. DATE (2013)
Seyed-Hosein Attarzadeh-Niaki, Marcus Mikulcak, Ingo Sander
Rapid virtual prototyping of real-time systems using predictable platform characterizations. FDL (2013)
Fernando Herrera, Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
Towards a Modelling and Design Framework for Mixed-Criticality SoCs and Systems-of-Systems. DSD (2013)
Byron Navas, Johnny Öberg, Ingo Sander
Towards the generic reconfigurable accelerator: Algorithm development, core design, and performance analysis. ReConFig (2013)
Jun Zhu, Ingo Sander, Axel Jantsch
Performance Analysis of Reconfigurations in Adaptive Real-Time Streaming Applications. ACM Trans. Embed. Comput. Syst. 11 (S1) (2012)
Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander
Formal heterogeneous system modeling with SystemC. FDL (2012)
Gilmar S. Beserra, Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
Integrating virtual platforms into a heterogeneous MoC-based modeling framework. FDL (2012)
Seyed-Hosein Attarzadeh-Niaki, Gilmar S. Beserra, Nikolaj Andersen, Mathias Verdon, Ingo Sander
Heterogeneous system-level modeling for small and medium enterprises. SBCCI (2012)
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
Semi-formal refinement of heterogeneous embedded systems by foreign model integration. FDL (2011)
Sandro Penolazzi, Ingo Sander, Ahmed Hemani
Predicting bus contention effects on energy and performance in multi-processor SoCs. DATE (2011)
Seyed-Hosein Attarzadeh-Niaki, Ingo Sander
Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework. SIES (2011)
Jun Zhu, Ingo Sander, Axel Jantsch
Constrained global scheduling of streaming applications on MPSoCs. ASP-DAC (2010)
Jun Zhu, Ingo Sander, Axel Jantsch
Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs. DATE (2010)
Sandro Penolazzi, Ingo Sander, Ahmed Hemani
Predicting energy and performance overhead of Real-Time Operating Systems. DATE (2010)
Jun Zhu, Ingo Sander, Axel Jantsch
HetMoC: Heterogeneous Modelling in SystemC. FDL (2010)
Sandro Penolazzi, Ingo Sander, Ahmed Hemani
Inferring Energy and Performance Cost of RTOS in Priority-Driven Scheduling. SIES (2010)
Ingo Sander, Jun Zhu, Axel Jantsch, Andreas Herrholz, Philipp A. Hartmann, Wolfgang Nebel
High-level estimation and trade-off analysis for adaptive real-time systems. IPDPS (2009)
Jun Zhu, Ingo Sander, Axel Jantsch
Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures. DATE (2009)
Ingo Sander, Axel Jantsch
Modelling Adaptive Systems in ForSyDe. Electron. Notes Theor. Comput. Sci. 200 (2) (2008)
Jun Zhu, Ingo Sander, Axel Jantsch
Performance analysis of reconfiguration in adaptive real-time streaming applications. ESTIMedia (2008)
Tarvo Raudvere, Ingo Sander, Axel Jantsch
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (6) (2008)
Jun Zhu, Ingo Sander, Axel Jantsch
Energy efficient streaming applications with guaranteed throughput on MPSoCs. EMSOFT (2008)
Zhonghai Lu, Jonas Sicking, Ingo Sander, Axel Jantsch
Using Synchronizers for Refining Synchronous Communication onto Hardware/Software Architectures. IEEE International Workshop on Rapid System Prototyping (2007)
Tarvo Raudvere, Ingo Sander, Axel Jantsch
Synchronization after design refinements with sensitive delay elements. CODES+ISSS (2007)
Tarvo Raudvere, Ingo Sander, Axel Jantsch
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops. ACM Great Lakes Symposium on VLSI (2007)
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
The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems. FPL (2007)
Rikard Thid, Ingo Sander, Axel Jantsch
Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads. DSD (2006)
Zhonghai Lu, Ingo Sander, Axel Jantsch
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication. DSD (2006)
Zhonghai Lu, Ingo Sander, Axel Jantsch
Refinement of Perfectly Synchronous Communication Model. FDL (2005)
Zhonghai Lu, Axel Jantsch, Ingo Sander
Feasibility analysis of messages for on-chip networks using wormhole routing. ASP-DAC (2005)
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch
System level verification of digital signal processing applications based on the polynomial abstraction technique. ICCAD (2005)
Ingo Sander, Axel Jantsch
System modeling and transformational design refinement in ForSyDe [formal system design]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23 (1) (2004)
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits. DATE (2004)
Ingo Sander, Axel Jantsch, Zhonghai Lu
Development and Application of Design Transformations in ForSyDe. DATE (2003)
Tarvo Raudvere, Ingo Sander, Ashish Kumar Singh, Axel Jantsch
Verification of design decisions in ForSyDe. CODES+ISSS (2003)
Ingo Sander, Axel Jantsch
Transformation based communication and clock domain refinement for system design. DAC (2002)
Ingo Sander, Axel Jantsch, Zhonghai Lu
A Case Study of Hardware and Software Synthesis in ForSyDe. ISSS (2002)
Axel Jantsch, Ingo Sander, Wenbiao Wu
The usage of stochastic processes in embedded system specifications. CODES (2001)
Axel Jantsch, Ingo Sander
On the roles of functions and objects in system specification. CODES (2000)
Ingo Sander, Axel Jantsch
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons. VLSI Design (1999)
Ingo Sander, Axel Jantsch
System synthesis utilizing a layered functional model. CODES (1999)

Ingo Sander.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ingo Sander