Jeroen Voeten

2007
20	EE	Jinfeng Huang, Jeroen Voeten, Marcel Groothuis, Jan F. Broenink, Henk Corporaal: A model-driven design approach for mechatronic systems. ACSD 2007: 127-136
19	EE	Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten: Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. MEMOCODE 2007: 139-148
18	EE	Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Predictable real-time software synthesis. Real-Time Systems 36(3): 159-198 (2007)
2006
17	EE	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
16	EE	Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. MEMOCODE 2006: 185-194
15	EE	Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Correctness-preserving synthesis for real-time control software. QSIC 2006: 65-73
14	EE	Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Strengthening Property Preservation in Concurrent Real-Time Systems. RTCSA 2006: 106-109
13	EE	Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal: Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. SAMOS 2006: 206-215
2003
12	EE	Jinfeng Huang, Jeroen Voeten, Marc Geilen: Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003: 163-171
11		Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer: Performance modelling of a network processor using POOSL. Computer Networks 41(5): 667-684 (2003)
2002
10	EE	M. Verhappen, P. H. A. van der Putten, Jeroen Voeten: On the Fundamental Design Gap in Terabit per Second Packet Switching. DSD 2002: 371-379
9		Jeroen Voeten: Performance evaluation with temporal rewards. Perform. Eval. 50(2/3): 189-218 (2002)
2001
8	EE	Jeroen Voeten: On the fundamental limitations of transformational design. ACM Trans. Design Autom. Electr. Syst. 6(4): 533-552 (2001)
7		Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, L. J. van Bokhoven, M. P. J. Stevens: Object-oriented modelling and specification using SHE. Comput. Lang. 27(1/3): 19-38 (2001)
2000
6	EE	Jeroen Voeten, Harald P. E. Vranken: Behavior-Preserving Transformations for Design-for-Test. EUROMICRO 2000: 1193-
5		Jeroen Voeten: Temporal Rewards for Performance Evaluation. ICALP Satellite Workshops 2000: 511-522
1999
4	EE	L. J. van Bokhoven, Jeroen Voeten, Marc Geilen: Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO 1999: 1463-1467
3	EE	P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens: System Level Models for Real-Time Communication. EUROMICRO 1999: 1496-
1998
2	EE	Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens: System Level Modelling for Hardware/Software Systems. EUROMICRO 1998: 10154-10161
1996
1	EE	Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens: Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. EUROMICRO 1996: 19-27

Coauthor Index

1	Twan Basten	[16]
2	L. J. van Bokhoven	[4] [7]
3	Jan F. Broenink	[20]
4	Henk Corporaal	[13] [14] [15] [17] [18] [20]
5	Oana Florescu	[13] [14] [19]
6	Marc Geilen	[2] [3] [4] [7] [12] [16] [17] [19]
7	Stefan Valentin Gheorghita	[16]
8	Marcel Groothuis	[20]
9	Menno de Hoon	[13]
10	Jinfeng Huang	[12] [14] [15] [17] [18] [19] [20]
11	R. D. J. Kramer	[11]
12	P. H. A. van der Putten	[1] [2] [3] [7] [10] [19]
13	M. P. J. Stevens	[1] [2] [3] [7]
14	Sander Stuijk	[16]
15	Bart D. Theelen	[11] [16] [19]
16	M. Verhappen	[10]
17	Harald P. E. Vranken	[6]