Ingo Sander
TitleCited byYear
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
2142004
Models of computation and languages for embedded system design
A Jantsch, I Sander
IEE Proceedings-Computers and Digital Techniques 152 (2), 114-129, 2005
1252005
System modeling and design refinement in ForSyDe
I Sander
Mikroelektronik och informationsteknik, 2003
712003
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
572005
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
392006
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
382012
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
362008
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
322014
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
312009
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
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
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
291999
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
272010
Hetmoc: Heterogeneous modelling in systemc
J Zhu, I Sander, A Jantsch
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
252010
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
252002
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
242013
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
222015
Modelling adaptive systems in ForSyDe
I Sander, A Jantsch
Electronic Notes in Theoretical Computer Science 200 (2), 39-54, 2008
222008
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
212011
Transformation based communication and clock domain refinement for system design
I Sander, A Jantsch
Proceedings of the 39th annual Design Automation Conference, 281-286, 2002
212002
The system can't perform the operation now. Try again later.
Articles 1–20