François Horn

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
On Monitoring Concurrent Systems with TLA: An Example.
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.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1999
Jonathan: an open distributed processing environment in Java.
Distributed Syst. Eng., 1999

The Design of a Resource-Aware Reflective Middleware Architecture.
Proceedings of the Meta-Level Architectures and Reflection, 1999

1998
The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework.
Proceedings of the Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 1998

Providing Real-Time Object Oriented Industrial Messaging Services.
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.
IEEE J. Sel. Areas Commun., 1996

1995
Supporting the Real-Time Requirements of Continuous Media in Open Distributed Processing.
Comput. Networks ISDN Syst., 1995

1994
Supporting Real-Time Multimedia Behaviour in Open Distributed Systems: An Approach Based on Synchronous Languages.
Proceedings of the Second ACM International Conference on Multimedia '94, 1994

1993
Video Compression Standards and Quality of Service.
Comput. J., 1993

On Programming and Supporting Multimedia Object Synchronisation.
Comput. J., 1993

Implementation of a synchronous execution machine on Chorus micro-kernel.
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.
Comput. Commun., 1992

An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications.
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.
Proceedings of the Protocol Specification, 1987


  Loading...