Ingo Sander

	2009
25		Jun Zhu, Ingo Sander, Axel Jantsch: Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures. DATE 2009: 1506-1511
24		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: 1-4
	2008
23		Jun Zhu, Ingo Sander, Axel Jantsch: Energy efficient streaming applications with guaranteed throughput on MPSoCs. EMSOFT 2008: 119-128
22		Jun Zhu, Ingo Sander, Axel Jantsch: Performance analysis of reconfiguration in adaptive real-time streaming applications. ESTImedia 2008: 53-58
21		Ingo Sander, Axel Jantsch: Modelling Adaptive Systems in ForSyDe. Electr. Notes Theor. Comput. Sci. 200(2): 39-54 (2008)
20		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 27(6): 1091-1103 (2008)
	2007
19		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: 353-358
18		Tarvo Raudvere, Ingo Sander, Axel Jantsch: Synchronization after design refinements with sensitive delay elements. CODES+ISSS 2007: 21-26
17		Andreas Herrholz, Frank Oppenheimer, Philipp A. Hartmann, Andreas Schallenberg, Wolfgang Nebel, Christoph Grimm, Markus Damm, Jan Haase, F. Brame, Fernando Herrera, Eugenio Villar, Ingo Sander, Axel Jantsch, Anne-Marie Fouilliart, M. Martinez: The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems. FPL 2007: 396-401
16		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: 143-149
	2006
15		Zhonghai Lu, Ingo Sander, Axel Jantsch: Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication. DSD 2006: 37-44
14		Rikard Thid, Ingo Sander, Axel Jantsch: Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads. DSD 2006: 681-688
	2005
13		Zhonghai Lu, Axel Jantsch, Ingo Sander: Feasibility analysis of messages for on-chip networks using wormhole routing. ASP-DAC 2005: 960-964
12		Zhonghai Lu, Ingo Sander, Axel Jantsch: Refinement of Perfectly Synchronous Communication Model. FDL 2005: 453-465
11		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: 285-290
	2004
10		Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch: Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits. DATE 2004: 690-691
9		Ingo Sander, Axel Jantsch: System modeling and transformational design refinement in ForSyDe [formal system design]. IEEE Trans. on CAD of Integrated Circuits and Systems 23(1): 17-32 (2004)
	2003
8		Tarvo Raudvere, Ingo Sander, Ashish Kumar Singh, Axel Jantsch: Verification of design decisions in ForSyDe. CODES+ISSS 2003: 176-181
7		Ingo Sander, Axel Jantsch, Zhonghai Lu: Development and Application of Design Transformations in ForSyDe. DATE 2003: 10364-10369
	2002
6		Ingo Sander, Axel Jantsch: Transformation based communication and clock domain refinement for system design. DAC 2002: 281-286
5		Ingo Sander, Axel Jantsch, Zhonghai Lu: A Case Study of Hardware and Software Synthesis in ForSyDe. ISSS 2002: 86-91
	2001
4		Axel Jantsch, Ingo Sander, Wenbiao Wu: The usage of stochastic processes in embedded system specifications. CODES 2001: 5-10
	2000
3		Axel Jantsch, Ingo Sander: On the roles of functions and objects in system specification. CODES 2000: 8-12
	1999
2		Ingo Sander, Axel Jantsch: System synthesis utilizing a layered functional model. CODES 1999: 136-140
1		Ingo Sander, Axel Jantsch: Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons. VLSI Design 1999: 318-323

Coauthor Index

1	F. Brame	[17]
2	Markus Damm	[17]
3	Anne-Marie Fouilliart	[17]
4	Christoph Grimm	[17]
5	Jan Haase	[17]
6	Philipp A. Hartmann	[17] [24]
7	Fernando Herrera	[17]
8	Andreas Herrholz	[17] [24]
9	Axel Jantsch	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
10	Zhonghai Lu	[5] [7] [12] [13] [15] [16]
11	M. Martinez	[17]
12	Wolfgang Nebel	[17] [24]
13	Frank Oppenheimer	[17]
14	Tarvo Raudvere	[8] [10] [11] [18] [19] [20]
15	Andreas Schallenberg	[17]
16	Jonas Sicking	[16]
17	Ashish Kumar Singh	[8] [10] [11]
18	Rikard Thid	[14]
19	Eugenio Villar	[17]
20	Wenbiao Wu	[4]
21	Jun Zhu	[22] [23] [24] [25]