Groupe OLC
Outils Logiciels pour la Communication

Projet
de
Recherche

Multimedia and Hypermedia Documents 

  1. Design Methodology and Formal Validation of Hypermedia Documents.

    2. C.A.S. Santos, L.F.G. Soares, G.L. de Souza Filho, J.-P. Courtiat  
    In Proc. ACM Multimedia'98, Bristol, UK, September, 1998. 
    Also LAAS 98.084. 
  2. Proving Temporal Consistency in a New Multimedia Synchronization Model.

    3. J.-P. Courtiat and R.C. de Oliveira. 
    In Proc. ACM Multimedia'96, Boston, USA, November 18-22, 1996. 
    Also LAAS 96.237. 
  3. Formal Models for the Description of Timed Behaviors of Multimedia 
    and Hypermedia Distributed Systems (invited paper).
    J.-P. Courtiat, M. Diaz, R.C. de Oliveira, and P. Senac. 
    In Computer Communications 19 (1996), pp. 1134-1150, Elsevier Science.
    Also LAAS 95.400. 

Multimedia Synchronization Protocols 

  1. A General-Purpose Multimedia Synchronization Mechanism Based on Causal Relations.

    2. J.-P. Courtiat, L.F.R.C. Carmo, and R.C. de Oliveira. 
    In IEEE Journal on Selected Areas in Communications, Vol. 14, No. 1, pp. 185-195,  January 1996.
    Also LAAS 94.278. 
  2. On RT-LOTOS and its Application to the Formal Design of Multimedia Protocols.

    3. J.-P. Courtiat and R.C. de Oliveira. 
    In Annals of Telecommunications, Vol. 50, No. 11-12, pp. 888-906, Nov.-Dec. 1995. 
    Also LAAS 95.102. 
  3. The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.

    4. J.-P. Courtiat, R.C. de Oliveira, and L.F.R.C. Carmo. 
    In Information Systems, Vol. 20, No. 6, pp. 521-535, 1995,  Elsevier Science.
    Also LAAS 95.198. 
  4. Towards a New Multimedia Synchronization Mechanism and its Formal Specification.

    5. J.-P. Courtiat, R.C. de Oliveira, and L.F.R.C. Carmo. 
    In Proc. ACM Multimedia'94, San Francisco, USA, pp. 133-140, October 1994.
    Also LAAS 94.133. 

Formal Methods (Application Papers) 

  1. An Experiment in Using RT-LOTOS for the Formal Specification and Verification of a 
    Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.
    L. Andriantsiferana, J.-P. Courtiat, R.C. de Oliveira, L. Picci. 
    In Proc. FORTE/PSTV'97,  Osaka, Japan, November 18-21, 1997, Chapman & Hall. 
    Also LAAS 97.135. 
  2. Formal Methods after 15 Years: Status and Trends (invited paper).
    J.-P. Courtiat, P. Dembinski, G. Holzmann, L. Logrippo, H. Rudin, P. Zave. 
    In Computer Networks and ISDN Systems, Vol. 28, No. 13, pp. 1845-1855,October 1996. 
    Also LAAS 96.125
  3. On RT-LOTOS and its Application to the Formal Design of Multimedia Protocols.
    J.-P. Courtiat and R.C. de Oliveira. 
    In Annals of Telecommunications, Vol. 50, No. 11-12, pp. 888-906, Nov.-Dec. 1995. 
    Also LAAS 95.102. 
  4. A Case Study on Protocol Design.

    5. J.-P. Courtiat and D.E. Saidouni. 
    In Lotosphere: Software Development with LOTOS, 
    Kluwer Academic Publishers, ISBN 0-7923-9529-8, 1995, pp.201-217. 
    Also LAAS 92.240. 
  5. ESTIM: an Integrated Environment for the Simulation and Verification of Protocols Specified in Estelle*.
    J.-P. Courtiat and P. de Saqui-Sannes. 
    In Computer Networks and ISDN Systems, Vol.25, pp. 83-98, 1992 
    Also LAAS 91.118. 
  6. Observer - A Concept for Formal on-line Validation of Distributed Systems.
    M. Diaz, G. Juanole, J.-P. Courtiat. 
    In IEEE Transactions on Software Engineering, Vol.20, N. 12, pp. 900-913, December 1994 
    Also LAAS 89.266. 

Formal Methods (Theoretical Papers) 

  1. Une comparaison des sémantiques de maximalité et de causalité de Basic LOTOS.
    D.E. Saidouni and J.-P. Courtiat. 
    In Proc. CFIP'96,  Rabat, Marroco, October 14-17, 1996, Hermes. 
    Also LAAS 96.009. 
  2. A Reachability Analysis of RT-LOTOS Specifications.
    J.-P. Courtiat and R.C. de Oliveira. 
    In Proc. FORTE'95,  Montreal, Canada, October 17-20, 1995, Chapman & Hall. 
    Also LAAS 95.159. 
  3. Relating Maximality-Based Semantics to Action Refinement.
    J.-P. Courtiat and D.E.Saidouni. 
    In Proc. FORTE'94,  Berne, Switzerland, October 4-7, 1994, Chapman & Hall. 
    Also LAAS 94.078. 
  4. Syntactic Action Refinement in Presence of Multiway Synchronization.
    J.-P. Courtiat and D.E.Saidouni. 
    In Proc. SoSL'93,  Utrecht, The Netherlands, October 25-27, 1993, Springer Verlag. 
    Also LAAS 93.129. 
  5. Action Refinement in LOTOS.
    J.-P. Courtiat and D.E.Saidouni. 
    In Proc. PSTV'93,  Liège, Belgium, May 25-28, 1993, North-Holland. 
    Also LAAS 92.477. 
  6. A True Concurrency Semantics for LOTOS.
    R.J.Coelho da Costa and J.-P. Courtiat. 
    In Proc. FORTE'92,  Lannion, France, October 13-16, 1992, North-Holland. 
    Also LAAS 92.017. 
  7. A Causality based Semantics for CCS.
    R.J.Coelho da Costa and J.-P. Courtiat. 
    In Proc. NAPAW'92,  Stony Brook, USA, October 1992, Springer Verlag . 
    Also LAAS 92.312. 
  8. A LOTOS based Calculus with True Concurrency Semantics.
    J.-P. Courtiat and R.J.Coelho da Costa. 
    In Proc. FORTE'91,  Sydney, Australia, November 19-22, 1991, North-Holland. 
    Also LAAS 91.210. 

 Retour au projet RT-LOTOS