Search the dblp DataBase

Publications of Author

1. Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal
   Branching-Time Property Preservation Between Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:260-275 [Conf]
   
2. Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien
   A Calculus for Mobile Network Systems. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2002, pp:226-230 [Conf]
   
3. Jinfeng Huang, Jeroen Voeten, Marc Geilen
   Real-time Property Preservation in Approximations of Timed Systems. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2003, pp:163-171 [Conf]
   
4. Jinfeng Huang, Jeroen Voeten, Henk Corporaal
   Correctness-preserving synthesis for real-time control software. [Citation Graph (0, 0)][DBLP]
   QSIC, 2006, pp:65-73 [Conf]
   
5. Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal
   Strengthening Property Preservation in Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   RTCSA, 2006, pp:106-109 [Conf]
   
6. Jinfeng Huang, Jeroen Voeten, Marcel Groothuis, Jan F. Broenink, Henk Corporaal
   A model-driven design approach for mechatronic systems. [Citation Graph (0, 0)][DBLP]
   ACSD, 2007, pp:127-136 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2007, pp:139-148 [Conf]
   
8. Jinfeng Huang, Jeroen Voeten, Henk Corporaal
   Predictable real-time software synthesis. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 2007, v:36, n:3, pp:159-198 [Journal]
   
9. 
   An Executable Interface Specification for Industrial Embedded System Design. [Citation Graph (, )][DBLP]
   
   
10. 
    Error Estimation in Model-Driven Development for Real-Time Software. [Citation Graph (, )][DBLP]
    
    
11. 
    Platform-independent Design for Embedded Real-time Systems . [Citation Graph (, )][DBLP]
    
    
12. 
    Predictability in Real-time System Development (2) A Case Study . [Citation Graph (, )][DBLP]
    
    
13. 
    Predictability in Real-time System Development (1) Semantics Support from Development Languages . [Citation Graph (, )][DBLP]