François Horn

According to our database, François Horn authored at least 15 papers between 1987 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

On Monitoring Concurrent Systems with TLA: An Example.

Nicolas Rivierre, François Horn, Frédéric Dang Tran

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2001

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

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

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

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

Proceedings of the Meta-Level Architectures and Reflection, 1999

1998

The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework.

Jean-Bernard Stefani, Bruno Dumant, Frédéric Dang Tran, François Horn

Proceedings of the Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 1998

Providing Real-Time Object Oriented Industrial Messaging Services.

Raymond Boissier, M. Epivent, Eric Gressier-Soudan, François Horn, André Laurent, D. Razafindramary

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1996

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

1995

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

1994

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

Proceedings of the Second ACM International Conference on Multimedia '94, 1994

1993

Video Compression Standards and Quality of Service.

Wassim Tawbi, François Horn, Eric Horlait, Jean-Bernard Stefani

Comput. J., 1993

On Programming and Supporting Multimedia Object Synchronisation.

François Horn, Jean-Bernard Stefani

Comput. J., 1993

Implementation of a synchronous execution machine on Chorus micro-kernel.

Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

1992

Computational model for distributed multimedia applications based on a synchronous programming language.

Jean-Bernard Stefani, Laurent Hazard, François Horn

Comput. Commun., 1992

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

Proceedings of the Network and Operating System Support for Digital Audio and Video, 1992

1987

Proof of Specification Properties by Using Finite State Machines and Temporal Logic.

Ana R. Cavalli, François Horn

Proceedings of the Protocol Specification, 1987