Réalisations du responsable dans le domaine de l’UE
J. Hugues, F. Kordon, and L. Pautet. Towards Proof-Based Real-Time Distribution Middleware. In 13th International Conference On Real-Time Systems (RTS’05), pages 51–70, Paris, France, Avril 2005. BIRP.
Fabrice Kordon and Jörg Henkel. An overview of Rapid System Prototyping today. Design Automation for Embedded Systems, 8(4) :275–282, december 2003.
J. Hugues, F. Kordon, and L. Pautet. Revisiting COTS middleware for DRE systems. In International Symposium on Object-oriented Real-time distributed Computing (ISORC’05), pages 72–79, Seattle, USA, may 2005. IEEE Computer Society.
Fabrice Kordon and William El Kaïm. Code Generation, chapter 21, pages 433–471. Springer Verlag, Petri nets and system engineering (Claude Girault and Rudiger Valk Eds), first edition, 2003.
Fabrice Kordon and Michel Lemoine, editors. Formal methods for embedded distributed systems : how to master the complexity. Kluwer Academic Publishing, first edition, 2004.
