| 2005 |
|---|
| 13 | EE | Nicolas Rivierre,
François Horn,
Frédéric Dang Tran:
On Monitoring Concurrent Systems with TLA: An Example.
ACSD 2005: 36-45 |
| 1999 |
|---|
| 12 | EE | 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: 115-134 |
| 11 | EE | Bruno Dumant,
François Horn,
Frédéric Dang Tran,
Jean-Bernard Stefani:
Jonathan: an open distributed processing environment in Java.
Distributed Systems Engineering 6(1): 3-12 (1999) |
| 1998 |
|---|
| 10 | EE | Raymond Boissier,
M. Evivent,
Eric Gressier-Soudan,
François Horn,
A. Laurent,
D. Razafindramary:
Providing Real-Time Object Oriented Industrial Messaging Services.
ECOOP Workshops 1998: 529-532 |
| 9 | EE | 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: 287-296 |
| 1996 |
|---|
| 8 | | 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 Journal on Selected Areas in Communications 14(1): 249-263 (1996) |
| 1995 |
|---|
| 7 | EE | 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.
Computer Networks and ISDN Systems 27(8): 1231-1246 (1995) |
| 1994 |
|---|
| 6 | | 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: 299-306 |
| 1993 |
|---|
| 5 | | François Horn,
Jean-Bernard Stefani:
On Programming and Supporting Multimedia Object Synchronisation.
Comput. J. 36(1): 4-18 (1993) |
| 4 | | Wassim Tawbi,
François Horn,
Eric Horlait,
Jean-Bernard Stefani:
Video Compression Standards and Quality of Service.
Comput. J. 36(1): 43-54 (1993) |
| 1992 |
|---|
| 3 | | 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: 223-236 |
| 2 | EE | Jean-Bernard Stefani,
Laurent Hazard,
François Horn:
Computational model for distributed multimedia applications based on a synchronous programming language.
Computer Communications 15(2): 114-128 (1992) |
| 1987 |
|---|
| 1 | | Ana R. Cavalli,
François Horn:
Proof of Specification Properties by Using Finite State Machines and Temporal Logic.
PSTV 1987: 221-233 |
