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 | 260 | 2004 |
Models of computation and languages for embedded system design A Jantsch, I Sander IEE Proceedings-Computers and Digital Techniques 152 (2), 114-129, 2005 | 152 | 2005 |
System modeling and design refinement in ForSyDe I Sander Mikroelektronik och informationsteknik, 2003 | 84 | 2003 |
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 | 62 | 2005 |
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 | 48 | 2014 |
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 | 45 | 2012 |
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 | 42 | 2006 |
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 | 39 | 2008 |
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 | 38 | 2013 |
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 | 34 | 2009 |
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 | 33 | 2008 |
Hetmoc: Heterogeneous modelling in systemc J Zhu, I Sander, A Jantsch 2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010 | 32 | 2010 |
Modelling adaptive systems in ForSyDe I Sander, A Jantsch Electronic Notes in Theoretical Computer Science 200 (2), 39-54, 2008 | 31 | 2008 |
On the roles of functions and objects in system specification A Jantsch, I Sander Proceedings of the eighth international workshop on Hardware/software …, 2000 | 31 | 2000 |
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 | 30 | 2011 |
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 | 29 | 2010 |
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 | 29 | 1999 |
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 | 28 | 2002 |
ForSyDe: System design using a functional language and models of computation I Sander, A Jantsch, SH Attarzadeh-Niaki Springer Netherlands, 2017 | 26 | 2017 |
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 | 25 | 2017 |