Proof of Specification Properties by Using Finite State Machines and Temporal Logic. - Ana R. Cavalli; François Horn (PSTV, 1987)

An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications. - Gordon S. Blair; Geoff Coulson; P. Auzimour; Laurent Hazard; François Horn; Jean-Bernard Stefani (NOSSDAV, 1992)

Computational model for distributed multimedia applications based on a synchronous programming language. - Jean-Bernard Stefani; Laurent Hazard; François Horn (Comput. Commun., 1992)

Implementation of a synchronous execution machine on Chorus micro-kernel. - Raphael Bernhard; Laurent Hazard; François Horn; Jean-Bernard Stefani (RTSS, 1993)

On Programming and Supporting Multimedia Object Synchronisation. - François Horn; Jean-Bernard Stefani (Comput. J., 1993)

Video Compression Standards and Quality of Service. - Wassim Tawbi; François Horn; Eric Horlait; Jean-Bernard Stefani (Comput. J., 1993)

Supporting Real-Time Multimedia Behaviour in Open Distributed Systems: An Approach Based on Synchronous Languages. - Gordon S. Blair; Michael Papathomas; Geoff Coulson; Philippe Robin; Laurent Hazard; Jean-Bernard Stefani; François Horn (ACM Multimedia, 1994)

Supporting the Real-Time Requirements of Continuous Media in Open Distributed Processing. - Geoff Coulson; Gordon S. Blair; Jean-Bernard Stefani; François Horn; Laurent Hazard (Comput. Networks ISDN Syst., 1995)

A Programming Model and System Infrastructure for Real-Time Synchronization in Distributed Multimedia Systems. - Gordon S. Blair; Geoff Coulson; Michael Papathomas; Philippe Robin; Jean-Bernard Stefani; François Horn; Laurent Hazard (IEEE J. Sel. Areas Commun., 1996)

Providing Real-Time Object Oriented Industrial Messaging Services. - Raymond Boissier; M. Epivent; Eric Gressier-Soudan; François Horn; André Laurent; D. Razafindramary (ECOOP Workshops, 1998)

The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework. - Jean-Bernard Stefani; Bruno Dumant; Frédéric Dang Tran; François Horn (IS&N, 1998)

The Design of a Resource-Aware Reflective Middleware Architecture. - Gordon S. Blair; Fábio M. Costa; Geoff Coulson; Hector A. Duran; Nikos Parlavantzas; Fabien Delpiano; Bruno Dumant; François Horn; Jean-Bernard Stefani (Reflection, 1999)

Jonathan: an open distributed processing environment in Java. - Bruno Dumant; François Horn; Frédéric Dang Tran; Jean-Bernard Stefani (Distributed Syst. Eng., 1999)

Towards a RT-Java based embedded remote monitoring tool for small and medium power plant units. - L. Réveilleau; Erwan Becquet; Eric Gressier-Soudan; Jean-Michel Douin; Laurent Bacon; François Horn (ETFA (2), 2001)

On Monitoring Concurrent Systems with TLA: An Example. - Nicolas Rivierre; François Horn; Frédéric Dang Tran (ACSD, 2005)