Follow
Ingo Sander
Title
Cited by
Cited by
Year
System modeling and transformational design refinement in ForSyDe [formal system design]
I Sander, A Jantsch
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004
2592004
Models of computation and languages for embedded system design
A Jantsch, I Sander
IEE Proceedings-Computers and Digital Techniques 152 (2), 114-129, 2005
1502005
System modeling and design refinement in ForSyDe
I Sander
Mikroelektronik och informationsteknik, 2003
822003
Feasibility analysis of messages for on-chip networks using wormhole routing
Z Lu, A Jantsch, I Sander
Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005
642005
A constraint-based design space exploration framework for real-time applications on MPSoCs
K Rosvall, I Sander
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
462014
Formal heterogeneous system modeling with SystemC
SHA Niaki, MK Jakobsen, T Sulonen, I Sander
Proceeding of the 2012 Forum on Specification and Design Languages, 160-167, 2012
462012
Flexible bus and NoC performance analysis with configurable synthetic workloads
R Thid, I Sander, A Jantsch
9th EUROMICRO Conference on Digital System Design (DSD'06), 681-688, 2006
422006
Application and verification of local nonsemantic-preserving transformations in system design
T Raudvere, I Sander, A Jantsch
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
392008
System level synthesis of hardware for DSP applications using pre-characterized function implementations
S Li, N Farahini, A Hemani, K Rosvall, I Sander
2013 International Conference on Hardware/Software Codesign and System …, 2013
362013
Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures
J Zhu, I Sander, A Jantsch
2009 Design, Automation & Test in Europe Conference & Exhibition, 1506-1511, 2009
342009
Hetmoc: Heterogeneous modelling in systemc
J Zhu, I Sander, A Jantsch
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
332010
Energy efficient streaming applications with guaranteed throughput on mpsocs
J Zhu, I Sander, A Jantsch
Proceedings of the 8th ACM international conference on Embedded software …, 2008
332008
Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework
SHA Niaki, I Sander
2011 6th IEEE International Symposium on Industrial and Embedded Systems …, 2011
312011
On the roles of functions and objects in system specification
A Jantsch, I Sander
Proceedings of the eighth international workshop on Hardware/software …, 2000
312000
Constrained global scheduling of streaming applications on MPSoCs
J Zhu, I Sander, A Jantsch
2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC), 223-228, 2010
302010
Modelling adaptive systems in ForSyDe
I Sander, A Jantsch
Electronic Notes in Theoretical Computer Science 200 (2), 39-54, 2008
302008
System synthesis based on a formal computational model and skeletons
I Sander, A Jantsch
Proceedings. IEEE Computer Society Workshop on VLSI'99. System Design …, 1999
301999
A case study of hardware and software synthesis in ForSyDe
Z Lu, I Sander, A Jantsch
Proceedings of the 15th international symposium on System Synthesis, 86-91, 2002
282002
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems
M Fakih, A Lenz, M Azkarate-Askasua, J Coronel, A Crespo, ...
Microprocessors and Microsystems 52, 89-105, 2017
252017
Customization of opencl applications for efficient task mapping under heterogeneous platform constraints
E Paone, F Robino, G Palermo, V Zaccaria, I Sander, C Silvano
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 736-741, 2015
242015
The system can't perform the operation now. Try again later.
Articles 1–20