Jeroen Voeten

2008
29	EE	Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans: An Executable Interface Specification for Industrial Embedded System Design. QSIC 2008: 37-44
2007
28	EE	Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal: A model-driven design approach for mechatronic systems. ACSD 2007: 127-136
27	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
26	EE	Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Predictable real-time software synthesis. Real-Time Systems 36(3): 159-198 (2007)
2006
25	EE	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
24	EE	Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal: Reusing Real-Time Systems Design Experience. FDL 2006: 375-381
23	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
22	EE	Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Correctness-preserving synthesis for real-time control software. QSIC 2006: 65-73
21	EE	Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Strengthening Property Preservation in Concurrent Real-Time Systems. RTCSA 2006: 106-109
20	EE	Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal: Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. SAMOS 2006: 206-215
2005
19	EE	Oana Florescu, Jeroen Voeten, Henk Corporaal: Synthesis for Unified Control- and Data-Oriented Models. FDL 2005: 531-543
2004
18	EE	Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal: Error Estimation in Model-Driven Development for Real-Time Software. FDL 2004: 228-240
17	EE	Jinfeng Huang, Jeroen Voeten, Andre Ventevogel: Predictability in Real-time System Development (1) Semantics Support from Development Languages . FDL 2004: 264-278
16	EE	Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel: Predictability in Real-time System Development (2) A Case Study . FDL 2004: 278-289
15		Oana Florescu, Jeroen Voeten, Henk Corporaal: A Unified Model for Analysis of Real-Time Properties. ISoLA (Preliminary proceedings) 2004: 220-226
2003
14	EE	Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven: Platform-independent Design for Embedded Real-time Systems . FDL 2003: 318-330
13	EE	M. Verhappen, Jeroen Voeten, P. H. A. van der Putten: Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. FDL 2003: 330-342
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, Leo 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	Leo 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	[23]
2	Leo J. van Bokhoven	[4] [7] [14]
3	Jan F. Broenink	[28]
4	Mark Coopmans	[29]
5	Henk Corporaal	[15] [18] [19] [20] [21] [22] [24] [25] [26] [28]
6	Oana Florescu	[15] [18] [19] [20] [21] [24] [27]
7	Marc Geilen	[2] [3] [4] [7] [12] [23] [25] [27]
8	Stefan Valentin Gheorghita	[23]
9	Marcel A. Groothuis	[28]
10	Menno de Hoon	[20]
11	Jinfeng Huang	[12] [14] [16] [17] [18] [21] [22] [25] [26] [27] [28] [29]
12	R. D. J. Kramer	[11]
13	P. H. A. van der Putten	[1] [2] [3] [7] [10] [13] [27]
14	Piet van der Putten	[16]
15	M. P. J. Stevens	[1] [2] [3] [7]
16	Sander Stuijk	[23]
17	Bart D. Theelen	[11] [23] [27]
18	Andre Ventevogel	[14] [16] [17]
19	M. Verhappen	[10] [13]
20	Marcel Verhoef	[24]
21	Harald P. E. Vranken	[6]
22	Serge Wolfs	[29]