Jinfeng Huang

2008
13	EE	Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans: An Executable Interface Specification for Industrial Embedded System Design. QSIC 2008: 37-44
2007
12	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
11	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
10	EE	Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Predictable real-time software synthesis. Real-Time Systems 36(3): 159-198 (2007)
2006
9	EE	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
8	EE	Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Correctness-preserving synthesis for real-time control software. QSIC 2006: 65-73
7	EE	Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Strengthening Property Preservation in Concurrent Real-Time Systems. RTCSA 2006: 106-109
2004
6	EE	Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal: Error Estimation in Model-Driven Development for Real-Time Software. FDL 2004: 228-240
5	EE	Jinfeng Huang, Jeroen Voeten, Andre Ventevogel: Predictability in Real-time System Development (1) Semantics Support from Development Languages . FDL 2004: 264-278
4	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
2003
3	EE	Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven: Platform-independent Design for Embedded Real-time Systems . FDL 2003: 318-330
2	EE	Jinfeng Huang, Jeroen Voeten, Marc Geilen: Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003: 163-171
2002
1	EE	Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien: A Calculus for Mobile Network Systems. ICFEM 2002: 226-230

Coauthor Index

1	Henri Aalderink	[1]
2	Leo J. van Bokhoven	[3]
3	Jan F. Broenink	[12]
4	Mark Coopmans	[13]
5	Henk Corporaal	[6] [7] [8] [9] [10] [12]
6	Oana Florescu	[6] [7] [11]
7	Marc Geilen	[2] [9] [11]
8	Marcel A. Groothuis	[12]
9	Johan J. Lukkien (Johan Lukkien)	[1]
10	P. H. A. van der Putten	[11]
11	Piet van der Putten	[4]
12	Bart D. Theelen	[11]
13	Andre Ventevogel	[3] [4] [5]
14	Ad Verschueren	[1]
15	Jeroen Voeten	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
16	Serge Wolfs	[13]

Colors in the list of coauthors