Search the dblp DataBase

Publications of Author

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