Jean-Pierre Courtiat - researchr alias

researchr

You are not signed in
Sign in
Sign up

2008

RECOLLVE - REpresenting COLLaboration in Virtual EnvironmentsJosé Valentim Dos Santos Filho, Roberta Lima-Gomes, Aloysio De Castro Pinto Pedroza, Jean-Pierre Courtiat. cgvr 2008: 174-180

The Agent-Based Architecture of RECOLLVEJosÃ© Valentim Dos Santos Filho, Roberta Lima-Gomes, Aloysio De Castro Pinto Pedroza, Jean-Pierre Courtiat. sbsc 2008: 134-145 [doi]

2007

An Extensible Co-browsing Environment with Conference SupportChristopher Viana Lima, Roberto Willrich, Roberta Lima-Gomes, Jean-Pierre Courtiat. wetice 2007: 204-205 [doi]

TLSA Player: A Tool for Presenting Consistent SMIL 2.0 DocumentsPaulo Nazareno Maia Sampaio, Jean-Pierre Courtiat. ICEIS 2007: 268-271

Designing Consistent Multimedia Documents: The RT-LOTOS MethodologyPaulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat. formats 2007: 290-303 [doi]

2006

2005

2004

TURTLE: A Real-Time UML Profile Supported by a Formal Validation ToolkitLudovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes. TSE, 30(7):473-487, 2004. [doi]

An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 DocumentsPaulo Nazareno Maia Sampaio, Jean-Pierre Courtiat. jbcs, 9(3):39-51, 2004. [doi]

2003

2002

A Flexible Architecture for Collaborative BrowsingGuillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat. wetice 2002: 164-169 [doi]

From the Specification to the Scheduling of Time-Dependent SystemsChristophe Lohr, Jean-Pierre Courtiat. ftrtft 2002: 129-146 [doi]

2001

Formal Validation of a Multicast Transport ProtocolR. Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat. ISCC 2001: 642-647 [doi]

A New UML Profile for Real-Time System Formal Design and ValidationLudovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat. uml 2001: 287-301 [doi]

A Design Framework for Collaborative BrowsingGuillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat, Thierry Villemur. wetice 2001: 362-367 [doi]

Analysis and Implementation of a Pre-defined QoS Specification Methodology for VoD SystemsAdilson Eduardo Guelfi, Frank Meylan, Sergio Takeo Kofuji, Jean-Pierre Courtiat. aimsa 2001: 406-411

Scheduling and Presenting Interactive Multimedia DocumentsPaulo Nazareno Maia Sampaio, Jean-Pierre Courtiat. icmcs 2001: [doi]

An integrated environment for the presentation of consistent SMIL 2.0 documentsPaulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat. DOCENG 2001: 115-124 [doi]

2000

Experience with RT-LOTOS, a temporal extension of the LOTOS formal description techniqueJean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj. comcom, 23(12):1104-1123, 2000. [doi]

A formal approach for the presentation of interactive multimedia documentsPaulo Nazareno Maia Sampaio, Jean-Pierre Courtiat. mm 2000: 435-438 [doi]

About the Semantic Verification of SMIL DocumentsPaulo Nazareno Maia Sampaio, C. A. S. Santos, Jean-Pierre Courtiat. icmcs 2000: 1675-1678

1999

An experimental study for transmitting MPEG-2 streams over ATM networksFrank Meylan, Luis Gustavo G. Kiatake, Marcelo Zanoni Santos, Sergio Takeo Kofuji, Jean-Pierre Courtiat. telsys, 11(3-4):305-321, 1999.

Revisiting the concept of hypermedia document consistencyC. A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat. mm 1999: 183-186 [doi]

1998

Formal Specification and Verification of Hypermedia Documents based on the Nested Context ModelC. A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza. mmm 1998: 21 [doi]

Design Methodology and Formal Validation of Hypermedia DocumentsC. A. S. Santos, Luiz Fernando Gomes Soares, Guido L. De Souza, Jean-Pierre Courtiat. mm 1998: 39-48 [doi]

A Design Methodology for the Formal Specification and Verification of Hypermedia DocumentsC. A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes. forte 1998: 163-178

1997

An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring SystemL. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci. forte 1998: 433-448

1996

1995

1994

Relating maximality-based semantics to action refinement in process algebrasJean-Pierre Courtiat, Djamel-Eddine Saïdouni. forte 1995: 293-308

Towards a New Multimedia Synchronization Mechanism and its Formal DefinitionJean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo. mm 1994: 133-140

About time nondeterminism and exception handling in a temporal extension of LOTOSJean-Pierre Courtiat, Roberto C. de Oliveira. pstv 1995: 37-52

A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication SystemsJean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira. icmcs 1994: 173-182

Implementing Intra-Stream Synchronization by Means of Conditional Dependency ExpressionsLuiz F. Rust da Costa Carmo, Jean-Pierre Courtiat. hpn 1994: 187-200

Verification by abstraction as a preamble for interoperability test suite generationPierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus. pstv 1995: 152-166

Observer-A Concept for Formal On-Line Validation of Distributed SystemsMichel Diaz, Guy Juanole, Jean-Pierre Courtiat. TSE, 20(12):900-913, 1994. [doi]

1993

Action Refinement in LOTOSJean-Pierre Courtiat, Djamel-Eddine Saïdouni. pstv 1993: 341-354

Syntactic Action Refinement in Presence of Multiway SynchronisationDjamel-Eddine Saïdouni, Jean-Pierre Courtiat. sosl 1994: 289-303

1992

ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in EstelleJean-Pierre Courtiat, Pierre de Saqui-Sannes. cn, 25(1):83-98, 1992.

Basic Synchronization Concepts in Multimedia SystemsLuiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat. nossdav 1993: 94-105

A true concurrency semantics for LOTOSRosvelter João Coelho da Costa, Jean-Pierre Courtiat. forte 1993: 347-362

A Causality-based Semantics for CCSRosvelter João Coelho da Costa, Jean-Pierre Courtiat. napaw 1993: 200-215

1991

A LOTOS Based Calculus with True Concurrency SemanticsJean-Pierre Courtiat, Rosvelter João Coelho da Costa. forte 1992: 559-574

Time in State Based Formal Description Techniques for Distributed SystemsJean-Pierre Courtiat, Michel Diaz. rex 1992: 149-175

An Extension of the Multi-Way Synchronization Mechanism Concealed by EstellePierre de Saqui-Sannes, Jean-Pierre Courtiat. pstv 1991: 75-89

1989

From the Simulation to the Verification of Estelle SpecificationsPierre de Saqui-Sannes, Jean-Pierre Courtiat. forte 1990: 393-407

1988

ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS ProjectPierre de Saqui-Sannes, Jean-Pierre Courtiat. forte 1989: 15-29

1987

How Could Estelle Become a Better FDT?Jean-Pierre Courtiat. pstv 1987: 43-60

1986

Design, Specification and Validation of Hierarchies of Protocols in Distributed SystemsMichel Diaz, Jean-Pierre Courtiat, Aloysio Pedroza. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Current Trends in Concurrency, Overviews and Tutorials. Volume 224 of Lecture Notes in Computer Science, pages 208-265, Springer, 1986.

1985

A simulation environment for protocol specifications described in ESTELLEJean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache. pstv 1985: 297-312

1984

Petri nets are good for protocolsJean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres. ccr, 14(2):66-74, 1984. [doi]

1983

LC/1, A Specification and Implementation Language for ProtocolsJean-Michel Ayache, Jean-Pierre Courtiat. ifip 1983: 333-345

1982

Self-Checking software in distributed systemsJean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz. icdcs 1982: 163-170

REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time ControlJean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz. TC, 31(7):637-647, 1982.