| 2007 |
|---|
| 8 | EE | Jinfeng Huang,
Jeroen Voeten,
Marcel Groothuis,
Jan F. Broenink,
Henk Corporaal:
A model-driven design approach for mechatronic systems.
ACSD 2007: 127-136 |
| 7 | 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 |
| 6 | EE | Jinfeng Huang,
Jeroen Voeten,
Henk Corporaal:
Predictable real-time software synthesis.
Real-Time Systems 36(3): 159-198 (2007) |
| 2006 |
|---|
| 5 | EE | Jinfeng Huang,
Marc Geilen,
Jeroen Voeten,
Henk Corporaal:
Branching-Time Property Preservation Between Real-Time Systems.
ATVA 2006: 260-275 |
| 4 | EE | Jinfeng Huang,
Jeroen Voeten,
Henk Corporaal:
Correctness-preserving synthesis for real-time control software.
QSIC 2006: 65-73 |
| 3 | EE | Oana Florescu,
Jinfeng Huang,
Jeroen Voeten,
Henk Corporaal:
Strengthening Property Preservation in Concurrent Real-Time Systems.
RTCSA 2006: 106-109 |
| 2003 |
|---|
| 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 |
