Self-Checking software in distributed systems. - Jean-Michel Ayache; Jean-Pierre Courtiat; Michel Diaz (ICDCS, 1982)

REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. - Jean-Michel Ayache; Jean-Pierre Courtiat; Michel Diaz (IEEE Trans. Computers, 1982)

LC/1, A Specification and Implementation Language for Protocols. - Jean-Michel Ayache; Jean-Pierre Courtiat (Protocol Specification, Testing, and Verification, 1983)

Petri nets are good for protocols. - Jean-Pierre Courtiat; Jean-Michel Ayache; B. Algayres (Comput. Commun. Rev., 1984)

A simulation environment for protocol specifications described in ESTELLE. - Jean-Pierre Courtiat; Aloysio Pedroza; Jean-Michel Ayache (PSTV, 1985)

Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems. - Michel Diaz; Jean-Pierre Courtiat; Aloysio Pedroza (Current Trends in Concurrency, 1986)

How Could Estelle Become a Better FDT? - Jean-Pierre Courtiat (PSTV, 1987)

ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FORTE, 1988)

From the Simulation to the Verification of Estelle Specifications. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FORTE, 1989)

A LOTOS Based Calculus with True Concurrency Semantics. - Jean-Pierre Courtiat; Rosvelter João Coelho da Costa (FORTE, 1991)

An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat (PSTV, 1991)

Time in State Based Formal Description Techniques for Distributed Systems. - Jean-Pierre Courtiat; Michel Diaz (REX Workshop, 1991)

A true concurrency semantics for LOTOS. - Rosvelter João Coelho da Costa; Jean-Pierre Courtiat (FORTE, 1992)

A Causality-based Semantics for CCS. - Rosvelter João Coelho da Costa; Jean-Pierre Courtiat (NAPAW, 1992)

Basic Synchronization Concepts in Multimedia Systems. - Luiz F. Rust da Costa Carmo; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (NOSSDAV, 1992)

ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. - Jean-Pierre Courtiat; Pierre de Saqui-Sannes (Comput. Networks ISDN Syst., 1992)

Action Refinement in LOTOS. - Jean-Pierre Courtiat; Djamel-Eddine Saïdouni (PSTV, 1993)

Syntactic Action Refinement in Presence of Multiway Synchronization. - Djamel-Eddine Saïdouni; Jean-Pierre Courtiat (Semantics of Specification Languages, 1993)

Relating maximality-based semantics to action refinement in process algebras. - Jean-Pierre Courtiat; Djamel-Eddine Saïdouni (FORTE, 1994)

Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions. - Luiz F. Rust da Costa Carmo; Jean-Pierre Courtiat (HPN, 1994)

A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems. - Jean-Pierre Courtiat; Luiz F. Rust da Costa Carmo; Roberto C. de Oliveira (ICMCS, 1994)

Towards a New Multimedia Synchronization Mechanism and its Formal Definition. - Jean-Pierre Courtiat; Roberto C. de Oliveira; Luiz F. Rust da Costa Carmo (ACM Multimedia, 1994)

About time nondeterminism and exception handling in a temporal extension of LOTOS. - Jean-Pierre Courtiat; Roberto C. de Oliveira (PSTV, 1994)

Verification by abstraction as a preamble for interoperability test suite generation. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat; René Casadessus (PSTV, 1994)

Observer-A Concept for Formal On-Line Validation of Distributed Systems. - Michel Diaz; Guy Juanole; Jean-Pierre Courtiat (IEEE Trans. Software Eng., 1994)

A Reachability Analysis of RT-LOTOS Specifications. - Jean-Pierre Courtiat; Roberto C. de Oliveira (FORTE, 1995)

Specification and Validation of Multimedia Protocols using RT-LOTOS. - Jean-Pierre Courtiat; Roberto C. de Oliveira; L. Andriantsiferana (FTDCS, 1995)

RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. - Jean-Pierre Courtiat; Roberto C. de Oliveira (MMNET, 1995)

The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism. - Jean-Pierre Courtiat; Roberto C. de Oliveira; Luiz F. Rust da Costa Carmo (Inf. Syst., 1995)

Proving Temporal Consistency in a New Multimedia Synchronization Model. - Jean-Pierre Courtiat; Roberto C. de Oliveira (ACM Multimedia, 1996)

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). - Jean-Pierre Courtiat; Piotr Dembinski; Gerard J. Holzmann; Luigi Logrippo; Harry Rudin; Pamela Zave (Comput. Networks ISDN Syst., 1996)

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems. - Jean-Pierre Courtiat; Michel Diaz; Roberto C. de Oliveira; Patrick Sénac (Comput. Commun., 1996)

A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations. - Jean-Pierre Courtiat; Luiz F. Rust da Costa Carmo; Roberto C. de Oliveira (IEEE J. Sel. Areas Commun., 1996)

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 (FORTE, 1997)

A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. - Celso A. S. Santos; Jean-Pierre Courtiat; Pierre de Saqui-Sannes (FORTE, 1998)

Design Methodology and Formal Validation of Hypermedia Documents. - Celso A. S. Santos; Luiz Fernando Gomes Soares; Guido L. De Souza; Jean-Pierre Courtiat (ACM Multimedia, 1998)

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 (MMM, 1998)

Comparative Analisys of Multicast Routing Algorithms for Multimedia Communication over ATM Networks. - Frank Meylan; Luis Gustavo Gasparini Kiatake; Marcelo Zanoni Santos; Sergio Takeo Kofuji; Jean-Pierre Courtiat (LANOMS, 1999)

Revisiting the concept of hypermedia document consistency. - Celso A. S. Santos; Paulo Nazareno Maia Sampaio; Jean-Pierre Courtiat (ACM Multimedia (2), 1999)

An experimental study for transmitting MPEG-2 streams over ATM networks. - Frank Meylan; Luis Gustavo Gasparini Kiatake; Marcelo Zanoni Santos; Sergio Takeo Kofuji; Jean-Pierre Courtiat (Telecommun. Syst., 1999)

About the Semantic Verification of SMIL Documents. - Paulo Nazareno Maia Sampaio; Celso A. S. Santos; Jean-Pierre Courtiat (IEEE International Conference on Multimedia and Expo (III), 2000)

A formal approach for the presentation of interactive multimedia documents. - Paulo Nazareno Maia Sampaio; Jean-Pierre Courtiat (ACM Multimedia, 2000)

Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. - Jean-Pierre Courtiat; Celso A. S. Santos; Christophe Lohr; B. Outtaj (Comput. Commun., 2000)

An integrated environment for the presentation of consistent SMIL 2.0 documents. - Paulo Nazareno Maia Sampaio; Christophe Lohr; Jean-Pierre Courtiat (ACM Symposium on Document Engineering, 2001)

Scheduling and Presenting Interactive Multimedia Documents. - Paulo Nazareno Maia Sampaio; Jean-Pierre Courtiat (ICME, 2001)

Analysis and Implementation of a Pre-defined QoS Specification Methodology for VoD Systems. - Adilson Eduardo Guelfi; Frank Meylan; Sergio Takeo Kofuji; Jean-Pierre Courtiat (IMSA, 2001)

Formal Validation of a Multicast Transport Protocol. - Rachid Ben Abbou; Amine Benkiran; Jean-Pierre Courtiat (ISCC, 2001)

A New UML Profile for Real-Time System Formal Design and Validation. - Ludovic Apvrille; Pierre de Saqui-Sannes; Christophe Lohr; Patrick Sénac; Jean-Pierre Courtiat (UML, 2001)

A Design Framework for Collaborative Browsing. - Guillermo de Jesús Hoyos-Rivera; Jean-Pierre Courtiat; Thierry Villemur (WETICE, 2001)

From the Specification to the Scheduling of Time-Dependent Systems. - Christophe Lohr; Jean-Pierre Courtiat (FTRTFT, 2002)

Providing consistent SMIL 2.0 documents. - Paulo Nazareno Maia Sampaio; Jean-Pierre Courtiat (ICME (2), 2002)

A Flexible Architecture for Collaborative Browsing. - Guillermo de Jesús Hoyos-Rivera; Roberta Lima-Gomes; Jean-Pierre Courtiat (WETICE, 2002)

New Operators for the TURTLE Real-Time UML Profile. - Christophe Lohr; Ludovic Apvrille; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FMOODS, 2003)

Formal Design of Interactive Multimedia Documents. - Jean-Pierre Courtiat (FORTE, 2003)

The Web as a Tool for Collaborative e-Learning: The Case of CoLab. - Guillermo de Jesús Hoyos-Rivera; Roberta Lima-Gomes; Jean-Pierre Courtiat; Rachid Benabbou (ICALT, 2003)

Collaborative virtual environments: going beyond virtual reality. - Roberta L. Gomes; Guillermo de Jesús Hoyos-Rivera; Jean-Pierre Courtiat (ICME, 2003)

Regarding the Integration of Collaborative Applications into Virtual Worlds. - Roberta Lima-Gomes; Guillermo de Jesús Hoyos-Rivera; Jean-Pierre Courtiat (OTM Workshops, 2003)

An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents. - Paulo Nazareno Maia Sampaio; Jean-Pierre Courtiat (J. Braz. Comput. Soc., 2004)

TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. - Ludovic Apvrille; Jean-Pierre Courtiat; Christophe Lohr; Pierre de Saqui-Sannes (IEEE Trans. Software Eng., 2004)

CoLab: A Flexible Collaborative Web Browsing Tool. - Guillermo de Jesús Hoyos-Rivera; Roberta Lima-Gomes; Jean-Pierre Courtiat (AINA, 2005)

Loosely-Coupled Integration of CSCW Systems. - Roberta Lima-Gomes; Guillermo de Jesús Hoyos-Rivera; Jean-Pierre Courtiat (DAIS, 2005)

LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications. - Roberta Lima-Gomes; Guillermo de Jesús Hoyos-Rivera; Jean-Pierre Courtiat (DEXA Workshops, 2005)

Integrating collaborative applications with LEICA. - Roberta Lima-Gomes; Guillermo de Jesús Hoyos-Rivera; Jean-Pierre Courtiat (ITRE, 2005)

From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. - Tarek Sadani; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (SEFM, 2005)

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. - Tarek Sadani; Marc Boyer; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FORTE, 2006)

Mapping RT-LOTOS Specifications into Time Petri Nets. - Tarek Sadani; Marc Boyer; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (ICFEM, 2006)

UML-Based Modeling and Formal Verification of Authentication Protocols. - Benjamin Fontan; Sara Mota; Thierry Villemur; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (ISSSE, 2006)

Real-Time and Embedded System Verification Based on Formal Requirements. - Benjamin Fontan; Ludovic Apvrille; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (IES, 2006)

CoLab: A New Paradigm and Tool for Collaboratively Browsing the Web. - Guillermo de Jesús Hoyos-Rivera; Roberta Lima-Gomes; Roberto Willrich; Jean-Pierre Courtiat (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. - Paulo Nazareno Maia Sampaio; Laura Margarita Rodríguez Peralta; Jean-Pierre Courtiat (FORMATS, 2007)

TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents. - Paulo Nazareno Maia Sampaio; Jean-Pierre Courtiat (ICEIS (5), 2007)

An Extensible Co-browsing Environment with Conference Support. - Christopher Viana Lima; Roberto Willrich; Roberta Lima-Gomes; Jean-Pierre Courtiat (WETICE, 2007)

RECOLLVE - REpresenting COLLaboration in Virtual Environments. - José Valentim Dos Santos Filho; Roberta Lima-Gomes; Aloysio De Castro Pinto Pedroza; Jean-Pierre Courtiat (CGVR, 2008)

The Agent-Based Architecture of RECOLLVE. - José Valentim Dos Santos Filho; Roberta Lima-Gomes; Aloysio De Castro Pinto Pedroza; Jean-Pierre Courtiat (SBSC, 2008)

Coordinating collaborativework with RECOLLVE. - José Valentim Dos Santos Filho; Roberta Lima-Gomes; Rodrigo Moreira Bacurau; Aloysio De Castro Pinto Pedroza; Jean-Pierre Courtiat (CTS, 2009)

A Loosely Coupled Integration Environment for Collaborative Applications. - Roberta Lima-Gomes; Guillermo de Jesús Hoyos-Rivera; Roberto Willrich; Christopher Viana Lima; Jean-Pierre Courtiat (IEEE Trans. Syst. Man Cybern. Part A, 2011)