| 2007 | WETICE | An Extensible Co-browsing Environment with Conference Support. | Christopher Viana Lima, Roberto Willrich, Roberta Lima-Gomes, Jean-Pierre Courtiat |
| 2006 | FORTE | Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2006 | ICFEM | Mapping RT-LOTOS Specifications into Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2005 | AINA | CoLab: A Flexible Collaborative Web Browsing Tool. | Guillermo de Jess Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat |
| 2005 | DAIS | Loosely-Coupled Integration of CSCW Systems. | Roberta Lima-Gomes, Guillermo de Jess Hoyos-Rivera, Jean-Pierre Courtiat |
| 2005 | SEFM | From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. | Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2003 | FORTE | Formal Design of Interactive Multimedia Documents. | Jean-Pierre Courtiat |
| 2003 | ICALT | The Web as a Tool for Collaborative e-Learning: The Case of CoLab. | Guillermo de Jess Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat, Rachid Benabbou |
| 2002 | WETICE | A Flexible Architecture for Collaborative Browsing. | Guillermo de Jess Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat |
| 2001 | DocEng | An integrated environment for the presentation of consistent SMIL 2.0 documents. | Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat |
| 2001 | ISCC | Formal Validation of a Multicast Transport Protocol. | Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat |
| 2001 | WETICE | A Design Framework for Collaborative Browsing. | Guillermo de Jess Hoyos-Rivera, Jean-Pierre Courtiat, Thierry Villemur |
| 1998 | FORTE | A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. | Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes |
| 1998 | MMM | Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. | Celso A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza |
| 1997 | FORTE | 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, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci |
| 1995 | FORTE | A Reachability Analysis of RT-LOTOS Specifications. | Jean-Pierre Courtiat, Roberto C. de Oliveira |
| 1994 | FORTE | Relating maximality-based semantics to action refinement in process algebras. | Jean-Pierre Courtiat, Djamel-Eddine Sadouni |
| 1992 | FORTE | A true concurrency semantics for LOTOS. | Rosvelter Joo Coelho da Costa, Jean-Pierre Courtiat |
| 1992 | NOSSDAV | Basic Synchronization Concepts in Multimedia Systems. | Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1991 | FORTE | A LOTOS Based Calculus with True Concurrency Semantics. | Jean-Pierre Courtiat, Rosvelter Joo Coelho da Costa |
| 1989 | FORTE | From the Simulation to the Verification of Estelle Specifications. | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1988 | FORTE | ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1982 | ICDCS | Self-Checking software in distributed systems. | Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz |