François Horn

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