Jean-Pierre Courtiat

77 papers A* 5A 4B 6C 17Journal 15Unranked 29
YearRankTypeTitle / Venue / Authors
2011 J jnl
A Loosely Coupled Integration Environment for Collaborative Applications.
IEEE Trans. Syst. Man Cybern. Part A
Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Roberto Willrich, Christopher Viana Lima, Jean-Pierre Courtiat
2009 — conf
Coordinating collaborativework with RECOLLVE.
CTS
José Valentim Dos Santos Filho, Roberta Lima-Gomes, Rodrigo Moreira Bacurau, Aloysio De Castro Pinto Pedroza, Jean-Pierre Courtiat
2008 — conf
RECOLLVE - REpresenting COLLaboration in Virtual Environments.
CGVR
José Valentim Dos Santos Filho, Roberta Lima-Gomes, Aloysio De Castro Pinto Pedroza, Jean-Pierre Courtiat
2008 — conf
The Agent-Based Architecture of RECOLLVE.
SBSC
José Valentim Dos Santos Filho, Roberta Lima-Gomes, Aloysio De Castro Pinto Pedroza, Jean-Pierre Courtiat
2007 C conf
An Extensible Co-browsing Environment with Conference Support.
WETICE
Christopher Viana Lima, Roberto Willrich, Roberta Lima-Gomes, Jean-Pierre Courtiat
2007 — conf
Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.
FORMATS
Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat
2007 — conf
TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents.
ICEIS (5)
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
2006 J jnl
CoLab: A New Paradigm and Tool for Collaboratively Browsing the Web.
IEEE Trans. Syst. Man Cybern. Part A
Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Roberto Willrich, Jean-Pierre Courtiat
2006 C conf
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.
FORTE
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2006 C conf
Mapping RT-LOTOS Specifications into Time Petri Nets.
ICFEM
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2006 C conf
Real-Time and Embedded System Verification Based on Formal Requirements.
IES
Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2006 — conf
UML-Based Modeling and Formal Verification of Authentication Protocols.
ISSSE
Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2005 J jnl
A Service-Oriented Architecture for Collaboratively Browsing the Web.
Res. Comput. Sci.
Giner Alor-Hernández, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat, Roberta Lima-Gomes, Roberto Willrich
2005 B conf
CoLab: A Flexible Collaborative Web Browsing Tool.
AINA
Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat
2005 B conf
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.
SEFM
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2005 — conf
Integrating collaborative applications with LEICA.
ITRE
Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
2005 — conf
LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications.
DEXA Workshops
Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
2005 C conf
Loosely-Coupled Integration of CSCW Systems.
DAIS
Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
2004 J jnl
An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents.
J. Braz. Comput. Soc.
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
2004 J jnl
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.
IEEE Trans. Software Eng.
Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
2003 A conf
Collaborative virtual environments: going beyond virtual reality.
ICME
Roberta L. Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
2003 C conf
Formal Design of Interactive Multimedia Documents.
FORTE
Jean-Pierre Courtiat
2003 — conf
New Operators for the TURTLE Real-Time UML Profile.
FMOODS
Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
2003 — conf
Regarding the Integration of Collaborative Applications into Virtual Worlds.
OTM Workshops
Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
2003 B conf
The Web as a Tool for Collaborative e-Learning: The Case of CoLab.
ICALT
Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat, Rachid Benabbou
2002 C conf
A Flexible Architecture for Collaborative Browsing.
WETICE
Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat
2002 — conf
From the Specification to the Scheduling of Time-Dependent Systems.
FTRTFT
Christophe Lohr, Jean-Pierre Courtiat
2002 — conf
Providing consistent SMIL 2.0 documents.
ICME (2)
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
2001 C conf
A Design Framework for Collaborative Browsing.
WETICE
Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat, Thierry Villemur
2001 — conf
A New UML Profile for Real-Time System Formal Design and Validation.
UML
Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
2001 B conf
An integrated environment for the presentation of consistent SMIL 2.0 documents.
ACM Symposium on Document Engineering
Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat
2001 — conf
Analysis and Implementation of a Pre-defined QoS Specification Methodology for VoD Systems.
IMSA
Adilson Eduardo Guelfi, Frank Meylan, Sergio Takeo Kofuji, Jean-Pierre Courtiat
2001 C conf
Formal Validation of a Multicast Transport Protocol.
ISCC
Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat
2001 A conf
Scheduling and Presenting Interactive Multimedia Documents.
ICME
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
2000 A* conf
A formal approach for the presentation of interactive multimedia documents.
ACM Multimedia
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
2000 A conf
About the Semantic Verification of SMIL Documents.
IEEE International Conference on Multimedia and Expo (III)
Paulo Nazareno Maia Sampaio, Celso A. S. Santos, Jean-Pierre Courtiat
2000 J jnl
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique.
Comput. Commun.
Jean-Pierre Courtiat, Celso A. S. Santos, Christophe Lohr, B. Outtaj
1999 J jnl
An experimental study for transmitting MPEG-2 streams over ATM networks.
Telecommun. Syst.
Frank Meylan, Luis Gustavo Gasparini Kiatake, Marcelo Zanoni Santos, Sergio Takeo Kofuji, Jean-Pierre Courtiat
1999 — conf
Comparative Analisys of Multicast Routing Algorithms for Multimedia Communication over ATM Networks.
LANOMS
Frank Meylan, Luis Gustavo Gasparini Kiatake, Marcelo Zanoni Santos, Sergio Takeo Kofuji, Jean-Pierre Courtiat
1999 A* conf
Revisiting the concept of hypermedia document consistency.
ACM Multimedia (2)
Celso A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
1998 C conf
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.
FORTE
Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes
1998 A* conf
Design Methodology and Formal Validation of Hypermedia Documents.
ACM Multimedia
Celso A. S. Santos, Luiz Fernando Gomes Soares, Guido L. De Souza, Jean-Pierre Courtiat
1998 B conf
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model.
MMM
Celso A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza
1997 C conf
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.
FORTE
L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci
1996 J jnl
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations.
IEEE J. Sel. Areas Commun.
Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
1996 J jnl
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Comput. Networks ISDN Syst.
Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
1996 J jnl
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.
Comput. Commun.
Jean-Pierre Courtiat, Michel Diaz, Roberto C. de Oliveira, Patrick Sénac
1996 A* conf
Proving Temporal Consistency in a New Multimedia Synchronization Model.
ACM Multimedia
Jean-Pierre Courtiat, Roberto C. de Oliveira
1995 C conf
A Reachability Analysis of RT-LOTOS Specifications.
FORTE
Jean-Pierre Courtiat, Roberto C. de Oliveira
1995 — conf
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.
MMNET
Jean-Pierre Courtiat, Roberto C. de Oliveira
1995 — conf
Specification and Validation of Multimedia Protocols using RT-LOTOS.
FTDCS
Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana
1995 J jnl
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.
Inf. Syst.
Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
1994 — conf
A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems.
ICMCS
Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
1994 — conf
About time nondeterminism and exception handling in a temporal extension of LOTOS.
PSTV
Jean-Pierre Courtiat, Roberto C. de Oliveira
1994 — conf
Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions.
HPN
Luiz F. Rust da Costa Carmo, Jean-Pierre Courtiat
1994 J jnl
Observer-A Concept for Formal On-Line Validation of Distributed Systems.
IEEE Trans. Software Eng.
Michel Diaz, Guy Juanole, Jean-Pierre Courtiat
1994 C conf
Relating maximality-based semantics to action refinement in process algebras.
FORTE
Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
1994 A* conf
Towards a New Multimedia Synchronization Mechanism and its Formal Definition.
ACM Multimedia
Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
1994 — conf
Verification by abstraction as a preamble for interoperability test suite generation.
PSTV
Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
1993 — conf
Action Refinement in LOTOS.
PSTV
Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
1993 — conf
Syntactic Action Refinement in Presence of Multiway Synchronization.
Semantics of Specification Languages
Djamel-Eddine Saïdouni, Jean-Pierre Courtiat
1992 — conf
A Causality-based Semantics for CCS.
NAPAW
Rosvelter João Coelho da Costa, Jean-Pierre Courtiat
1992 C conf
A true concurrency semantics for LOTOS.
FORTE
Rosvelter João Coelho da Costa, Jean-Pierre Courtiat
1992 B conf
Basic Synchronization Concepts in Multimedia Systems.
NOSSDAV
Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
1992 J jnl
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle.
Comput. Networks ISDN Syst.
Jean-Pierre Courtiat, Pierre de Saqui-Sannes
1991 C conf
A LOTOS Based Calculus with True Concurrency Semantics.
FORTE
Jean-Pierre Courtiat, Rosvelter João Coelho da Costa
1991 — conf
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle.
PSTV
Pierre de Saqui-Sannes, Jean-Pierre Courtiat
1991 — conf
Time in State Based Formal Description Techniques for Distributed Systems.
REX Workshop
Jean-Pierre Courtiat, Michel Diaz
1989 C conf
From the Simulation to the Verification of Estelle Specifications.
FORTE
Pierre de Saqui-Sannes, Jean-Pierre Courtiat
1988 C conf
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.
FORTE
Pierre de Saqui-Sannes, Jean-Pierre Courtiat
1987 — conf
How Could Estelle Become a Better FDT?
PSTV
Jean-Pierre Courtiat
1986 — ch.
Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems.
Current Trends in Concurrency
Michel Diaz, Jean-Pierre Courtiat, Aloysio Pedroza
1985 — conf
A simulation environment for protocol specifications described in ESTELLE.
PSTV
Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache
1984 J jnl
Petri nets are good for protocols.
Comput. Commun. Rev.
Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres
1983 — conf
LC/1, A Specification and Implementation Language for Protocols.
Protocol Specification, Testing, and Verification
Jean-Michel Ayache, Jean-Pierre Courtiat
1982 J jnl
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control.
IEEE Trans. Computers
Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz
1982 A conf
Self-Checking software in distributed systems.
ICDCS
Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz