Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Ingo
    Last name: Sander
    DBLP: 21/1257
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 60 of 60  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Kathrin Rosvall, Nima Khalilzad, George Ungureanu, Ingo Sander.
    Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems.
    Proceedings of the 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2017, Stockholm, Sweden, January 23-25, 2017 2017 (0) 2017
    Conference paper
    George Ungureanu, Ingo Sander.
    A layered formal framework for modeling of cyber-physical systems.
    Design, Automation Test in Europe Conference Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017 2017 (0) 2017
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Ingo Sander.
    Automatic construction of models for analytic system-level design space exploration problems.
    Design, Automation Test in Europe Conference Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017 2017 (0) 2017
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Ingo Sander.
    An extensible modeling methodology for embedded and cyber-physical system design.
    Simulation 2016, Volume 92 (0) 2016
    Conference paper
    Alina Lenz, Mikel Azkarate-askasua, Javier Coronel, Alfons Crespo, Simon Davidmann, Juan Carlos Diaz Garcia, Nera Gonzalez Romero, Kim Grüttner, Roman Obermaisser, Johnny Öberg, Jon Perez, Ingo Sander, Ingemar Söderquist.
    SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems.
    2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016 2016 (0) 2016
    Conference paper
    Ralph Görgen, Kim Grüttner, Fernando Herrera, Pablo Peñil, Julio L. Medina Pasaje, 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 Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Davide Quaglia.
    CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
    2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016 2016 (0) 2016
    Conference paper
    Nima Khalilzad, Kathrin Rosvall, Ingo Sander.
    A modular design space exploration framework for multiprocessor real-time systems.
    2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016 2016 (0) 2016
    Conference paper
    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.
    Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO@HiPEAC 2015, 21 January, 2015, Amsterdam, The Netherlands 2015 (0) 2015
    Conference paper
    Edoardo Paone, Francesco Robino, Gianluca Palermo, Vittorio Zaccaria, Ingo Sander, Cristina Silvano.
    Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints.
    Proceedings of the 2015 Design, Automation Test in Europe Conference Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015 2015 (0) 2015
    Conference paper
    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.
    10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015 2015 (0) 2015
    Conference paper
    Byron Navas, Ingo Sander, Johnny Öberg.
    Towards cognitive reconfigurable hardware: Self-aware learning in RTR fault-tolerant SoCs.
    10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2015, Bremen, Germany, June 29 - July 1, 2015 2015 (0) 2015
    Conference paper
    Kathrin Rosvall, Ingo Sander.
    A constraint-based design space exploration framework for real-time applications on MPSoCs.
    Design, Automation Test in Europe Conference Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014 2014 (0) 2014
    Conference paper
    Byron Navas, Johnny Öberg, Ingo Sander.
    The upset-fault-observer: A concept for self-healing adaptive fault tolerance.
    2014 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2014, Leicester, United Kingdom, July 14-17, 2014 2014 (0) 2014
    Conference paper
    Byron Navas, Johnny Öberg, Ingo Sander.
    On providing scalable self-healing adaptive fault-tolerance to RTR SoCs.
    2014 International Conference on ReConFigurable Computing and FPGAs, ReConFig14, Cancun, Mexico, December 8-10, 2014 2014 (0) 2014
    Conference paper
    Gabriel Hjort Blindell, Christian Menne, Ingo Sander.
    Synthesizing code for GPGPUs from abstract formal models.
    Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014 2014 (0) 2014
    Conference paper
    Fernando Herrera, Ingo Sander.
    An extensible infrastructure for modeling and time analysis of predictable embedded systems.
    Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014 2014 (0) 2014
    Conference paper
    Byron Navas, Ingo Sander, Johnny Öberg.
    The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks.
    Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013 2013 (0) 2013
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Ingo Sander.
    An automated parallel simulation flow for heterogeneous embedded systems.
    Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013 2013 (0) 2013
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Marcus Mikulcak, Ingo Sander.
    Rapid virtual prototyping of real-time systems using predictable platform characterizations.
    Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013 2013 (0) 2013
    Conference paper
    Fernando Herrera, Ingo Sander.
    Combining analytical and simulation-based design space exploration for time-critical systems.
    Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013 2013 (0) 2013
    Conference paper
    Byron Navas, Johnny Öberg, Ingo Sander.
    Towards the generic reconfigurable accelerator: Algorithm development, core design, and performance analysis.
    2012 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2013, Cancun, Mexico, December 9-11, 2013 2013 (0) 2013
    Conference paper
    Fernando Herrera, Seyed Hosein Attarzadeh Niaki, Ingo Sander.
    Towards a Modelling and Design Framework for Mixed-Criticality SoCs and Systems-of-Systems.
    2013 Euromicro Conference on Digital System Design, DSD 2013, Los Alamitos, CA, USA, September 4-6, 2013 2013 (0) 2013
    Conference paper
    Shuo Li, Nasim Farahini, Ahmed Hemani, Kathrin Rosvall, Ingo Sander.
    System level synthesis of hardware for DSP applications using pre-characterized function implementations.
    Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2013, Montreal, QC, Canada, September 29 - October 4, 2013 2013 (0) 2013
    Conference paper
    Jun Zhu, Ingo Sander, Axel Jantsch.
    Performance Analysis of Reconfigurations in Adaptive Real-Time Streaming Applications.
    ACM Trans. Embedded Comput. Syst. 2012, Volume 11 (0) 2012
    Conference paper
    Gilmar S. Beserra, Seyed Hosein Attarzadeh Niaki, Ingo Sander.
    Integrating virtual platforms into a heterogeneous MoC-based modeling framework.
    Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012 2012 (0) 2012
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander.
    Formal heterogeneous system modeling with SystemC.
    Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012 2012 (0) 2012
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Gilmar S. Beserra, Nikolaj Andersen, Mathias Verdon, Ingo Sander.
    Heterogeneous system-level modeling for small and medium enterprises.
    25th Symposium on Integrated Circuits and Systems Design, SBCCI 2012, Brasilia, Brazil, August 30 - September 2, 2012 2012 (0) 2012
    Conference paper
    Sandro Penolazzi, Ingo Sander, Ahmed Hemani.
    Predicting bus contention effects on energy and performance in multi-processor SoCs.
    Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011 2011 (0) 2011
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Ingo Sander.
    Semi-formal refinement of heterogeneous embedded systems by foreign model integration.
    2011 Forum on Specification Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011 2011 (0) 2011
    Conference paper
    Seyed Hosein Attarzadeh Niaki, Ingo Sander.
    Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework.
    Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on, SIES 2011. Vasteras, Sweden, June 15-17, 2011 2011 (0) 2011
    Conference paper
    Jun Zhu, Ingo Sander, Axel Jantsch.
    Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs.
    Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010 2010 (0) 2010
    Conference paper
    Sandro Penolazzi, Ingo Sander, Ahmed Hemani.
    Predicting energy and performance overhead of Real-Time Operating Systems.
    Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010 2010 (0) 2010
    Conference paper
    Jun Zhu, Ingo Sander, Axel Jantsch.
    Constrained global scheduling of streaming applications on MPSoCs.
    Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010 2010 (0) 2010
    Conference paper
    Sandro Penolazzi, Ingo Sander, Ahmed Hemani.
    Inferring Energy and Performance Cost of RTOS in Priority-Driven Scheduling.
    IEEE Fifth International Symposium on Industrial Embedded Systems, SIES 2010, University of Trento, Italy, July 7-9, 2010 2010 (0) 2010
    Conference paper
    Jun Zhu, Ingo Sander, Axel Jantsch.
    HetMoC: Heterogeneous Modelling in SystemC.
    Proceedings of the 2010 Forum on specification Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK 2010 (0) 2010
    Conference paper
    Jun Zhu, Ingo Sander, Axel Jantsch.
    Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures.
    Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009 2009 (0) 2009
    Conference paper
    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.
    23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009 2009 (0) 2009
    Conference paper
    Jun Zhu, Ingo Sander, Axel Jantsch.
    Energy efficient streaming applications with guaranteed throughput on MPSoCs.
    Proceedings of the 8th ACM IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 2008 (0) 2008
    Conference paper
    Jun Zhu, Ingo Sander, Axel Jantsch.
    Performance analysis of reconfiguration in adaptive real-time streaming applications.
    Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008 2008 (0) 2008
    Conference paper
    Ingo Sander, Axel Jantsch.
    Modelling Adaptive Systems in ForSyDe.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 200 (0) 2008
    Conference paper
    Tarvo Raudvere, Ingo Sander, Axel Jantsch.
    Application and Verification of Local Nonsemantic-Preserving Transformations in System Design.
    IEEE Trans. on CAD of Integrated Circuits and Systems 2008, Volume 27 (0) 2008
    Conference paper
    Tarvo Raudvere, Ingo Sander, Axel Jantsch.
    Synchronization after design refinements with sensitive delay elements.
    Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007 2007 (0) 2007
    Conference paper
    Tarvo Raudvere, Ingo Sander, Axel Jantsch.
    A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops.
    Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007 2007 (0) 2007
    Conference paper
    Zhonghai Lu, Jonas Sicking, Ingo Sander, Axel Jantsch.
    Using Synchronizers for Refining Synchronous Communication onto Hardware/Software Architectures.
    18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil 2007 (0) 2007
    Conference paper
    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, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007 2007 (0) 2007
    Conference paper
    Zhonghai Lu, Ingo Sander, Axel Jantsch.
    Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication.
    Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia 2006 (0) 2006
    Conference paper
    Rikard Thid, Ingo Sander, Axel Jantsch.
    Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads.
    Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia 2006 (0) 2006
    Conference paper
    Zhonghai Lu, Axel Jantsch, Ingo Sander.
    Feasibility analysis of messages for on-chip networks using wormhole routing.
    Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005 2005 (0) 2005
    Conference paper
    Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch.
    System level verification of digital signal processing applications based on the polynomial abstraction technique.
    2005 International Conference on Computer-Aided Design, ICCAD 2005, San Jose, CA, USA, November 6-10, 2005 2005 (0) 2005
    Conference paper
    Zhonghai Lu, Ingo Sander, Axel Jantsch.
    Refinement of Perfectly Synchronous Communication Model.
    Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings 2005 (0) 2005
    Conference paper
    Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch.
    Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits.
    2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France 2004 (0) 2004
    Conference paper
    Ingo Sander, Axel Jantsch.
    System modeling and transformational design refinement in ForSyDe [formal system design].
    IEEE Trans. on CAD of Integrated Circuits and Systems 2004, Volume 23 (0) 2004
    Conference paper
    Tarvo Raudvere, Ingo Sander, Ashish Kumar Singh, Axel Jantsch.
    Verification of design decisions in ForSyDe.
    Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, CA, USA, October 1-3, 2003 2003 (0) 2003
    Conference paper
    Ingo Sander, Axel Jantsch, Zhonghai Lu.
    Development and Application of Design Transformations in ForSyDe.
    2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany 2003 (0) 2003
    Conference paper
    Ingo Sander, Axel Jantsch.
    Transformation based communication and clock domain refinement for system design.
    Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002 2002 (0) 2002
    Conference paper
    Ingo Sander, Axel Jantsch, Zhonghai Lu.
    A Case Study of Hardware and Software Synthesis in ForSyDe.
    Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan 2002 (0) 2002
    Conference paper
    Axel Jantsch, Ingo Sander, Wenbiao Wu.
    The usage of stochastic processes in embedded system specifications.
    Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001 2001 (0) 2001
    Conference paper
    Axel Jantsch, Ingo Sander.
    On the roles of functions and objects in system specification.
    Proceedings of the Eighth International Workshop on Hardware/Software Codesign, CODES 2000, San Diego, California, USA, 2000 2000 (0) 2000
    Conference paper
    Ingo Sander, Axel Jantsch.
    System synthesis utilizing a layered functional model.
    Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999 1999 (0) 1999
    Conference paper
    Ingo Sander, Axel Jantsch.
    Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons.
    12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India 1999 (0) 1999
    Show item 1 to 60 of 60  

    Your query returned 60 matches in the database.