François Horn

Publication Activity (10 Years)

Years Active: 1987-2005
Publications (10 Years): 0

Publications

Nicolas Rivierre, François Horn, Frédéric Dang Tran
On Monitoring Concurrent Systems with TLA: An Example. ACSD (2005)
L. Réveilleau, Erwan Becquet, Eric Gressier-Soudan, Jean-Michel Douin, Laurent Bacon, François Horn
Towards a RT-Java based embedded remote monitoring tool for small and medium power plant units. ETFA (2) (2001)
Bruno Dumant, François Horn, Frédéric Dang Tran, Jean-Bernard Stefani
Jonathan: an open distributed processing environment in Java. Distributed Syst. Eng. 6 (1) (1999)
Gordon S. Blair, Fábio M. Costa, Geoff Coulson, Hector A. Duran, Nikos Parlavantzas, Fabien Delpiano, Bruno Dumant, François Horn, Jean-Bernard Stefani
The Design of a Resource-Aware Reflective Middleware Architecture. Reflection (1999)
Jean-Bernard Stefani, Bruno Dumant, Frédéric Dang Tran, François Horn
The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework. IS&N (1998)
Raymond Boissier, M. Epivent, Eric Gressier-Soudan, François Horn, André Laurent, D. Razafindramary
Providing Real-Time Object Oriented Industrial Messaging Services. ECOOP Workshops (1998)
Gordon S. Blair, Geoff Coulson, Michael Papathomas, Philippe Robin, Jean-Bernard Stefani, François Horn, Laurent Hazard
A Programming Model and System Infrastructure for Real-Time Synchronization in Distributed Multimedia Systems. IEEE J. Sel. Areas Commun. 14 (1) (1996)
Geoff Coulson, Gordon S. Blair, Jean-Bernard Stefani, François Horn, Laurent Hazard
Supporting the Real-Time Requirements of Continuous Media in Open Distributed Processing. Comput. Networks ISDN Syst. 27 (8) (1995)
Gordon S. Blair, Michael Papathomas, Geoff Coulson, Philippe Robin, Laurent Hazard, Jean-Bernard Stefani, François Horn
Supporting Real-Time Multimedia Behaviour in Open Distributed Systems: An Approach Based on Synchronous Languages. ACM Multimedia (1994)
François Horn, Jean-Bernard Stefani
On Programming and Supporting Multimedia Object Synchronisation. Comput. J. 36 (1) (1993)
Wassim Tawbi, François Horn, Eric Horlait, Jean-Bernard Stefani
Video Compression Standards and Quality of Service. Comput. J. 36 (1) (1993)
Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani
Implementation of a synchronous execution machine on Chorus micro-kernel. RTSS (1993)
Gordon S. Blair, Geoff Coulson, P. Auzimour, Laurent Hazard, François Horn, Jean-Bernard Stefani
An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications. NOSSDAV (1992)
Jean-Bernard Stefani, Laurent Hazard, François Horn
Computational model for distributed multimedia applications based on a synchronous programming language. Comput. Commun. 15 (2) (1992)
Ana R. Cavalli, François Horn
Proof of Specification Properties by Using Finite State Machines and Temporal Logic. PSTV (1987)