Jinfeng Huang

	2011
15		Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal: Error computation for predictable real-time software synthesis. Simulation 87(4): 334-350 (2011)
	2008
14		Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans: An Executable Interface Specification for Industrial Embedded System Design. QSIC 2008: 37-44
	2007
13		Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal: A model-driven design approach for mechatronic systems. ACSD 2007: 127-136
12		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
11		Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Predictable real-time software synthesis. Real-Time Systems 36(3): 159-198 (2007)
	2006
10		Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
9		Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Correctness-preserving synthesis for real-time control software. QSIC 2006: 65-73
8		Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Strengthening Property Preservation in Concurrent Real-Time Systems. RTCSA 2006: 106-109
	2004
7		Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal: Error Estimation in Model-Driven Development for Real-Time Software. FDL 2004: 228-240
6		Jinfeng Huang, Jeroen Voeten, Andre Ventevogel: Predictability in Real-time System Development (1) Semantics Support from Development Languages . FDL 2004: 264-278
5		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
4		Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven: Platform-independent Design for Embedded Real-time Systems . FDL 2003: 318-330
3		Jinfeng Huang, Jeroen Voeten, Marc Geilen: Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003: 163-171
	2002
2		Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien: A Calculus for Mobile Network Systems. ICFEM 2002: 226-230
	1993
1		Songde Ma, Guoqing Wei, Jinfeng Huang: Segment based camera calibration. J. Comput. Sci. Technol. 8(1): 11-16 (1993)

Coauthor Index

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page