| 2008 |
|---|
| 67 | | José Valentim Dos Santos Filho,
Roberta Lima-Gomes,
Aloysio De Castro Pinto Pedroza,
Jean-Pierre Courtiat:
RECOLLVE - REpresenting COLLaboration in Virtual Environments.
CGVR 2008: 174-180 |
| 2007 |
|---|
| 66 | EE | Paulo Nazareno Maia Sampaio,
Laura Margarita Rodríguez Peralta,
Jean-Pierre Courtiat:
Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.
FORMATS 2007: 290-303 |
| 65 | | Paulo Nazareno Maia Sampaio,
Jean-Pierre Courtiat:
TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents.
ICEIS (5) 2007: 268-271 |
| 64 | EE | Christopher Viana Lima,
Roberto Willrich,
Roberta Lima-Gomes,
Jean-Pierre Courtiat:
An Extensible Co-browsing Environment with Conference Support.
WETICE 2007: 204-205 |
| 2006 |
|---|
| 63 | EE | Tarek Sadani,
Marc Boyer,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.
FORTE 2006: 404-419 |
| 62 | EE | Tarek Sadani,
Marc Boyer,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets.
ICFEM 2006: 360-379 |
| 61 | EE | Guillermo de Jesús Hoyos-Rivera,
Roberta Lima-Gomes,
Roberto Willrich,
Jean-Pierre Courtiat:
CoLab: A New Paradigm and Tool for Collaboratively Browsing the Web.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(6): 1074-1085 (2006) |
| 2005 |
|---|
| 60 | EE | Guillermo de Jesús Hoyos-Rivera,
Roberta Lima-Gomes,
Jean-Pierre Courtiat:
CoLab: A Flexible Collaborative Web Browsing Tool.
AINA 2005: 501-506 |
| 59 | EE | Roberta Lima-Gomes,
Guillermo de Jesús Hoyos-Rivera,
Jean-Pierre Courtiat:
Loosely-Coupled Integration of CSCW Systems.
DAIS 2005: 38-49 |
| 58 | EE | Roberta Lima-Gomes,
Guillermo de Jesús Hoyos-Rivera,
Jean-Pierre Courtiat:
LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications.
DEXA Workshops 2005: 635-639 |
| 57 | EE | Roberta Lima-Gomes,
Guillermo J. H. Rivera,
Jean-Pierre Courtiat:
Integrating collaborative applications with LEICA.
ITRE 2005: 292-296 |
| 56 | EE | Tarek Sadani,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.
SEFM 2005: 250-260 |
| 2004 |
|---|
| 55 | EE | Ludovic Apvrille,
Jean-Pierre Courtiat,
Christophe Lohr,
Pierre de Saqui-Sannes:
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.
IEEE Trans. Software Eng. 30(7): 473-487 (2004) |
| 2003 |
|---|
| 54 | EE | Christophe Lohr,
Ludovic Apvrille,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
New Operators for the TURTLE Real-Time UML Profile.
FMOODS 2003: 214-228 |
| 53 | EE | Jean-Pierre Courtiat:
Formal Design of Interactive Multimedia Documents.
FORTE 2003: 351-366 |
| 52 | EE | Guillermo de Jesús Hoyos-Rivera,
Roberta Lima-Gomes,
Jean-Pierre Courtiat,
Rachid Benabbou:
The Web as a Tool for Collaborative e-Learning: The Case of CoLab.
ICALT 2003: 312-313 |
| 51 | EE | Roberta Lima-Gomes,
Guillermo de Jesús Hoyos-Rivera,
Jean-Pierre Courtiat:
Regarding the Integration of Collaborative Applications into Virtual Worlds.
OTM Workshops 2003: 16-17 |
| 2002 |
|---|
| 50 | EE | Christophe Lohr,
Jean-Pierre Courtiat:
From the Specification to the Scheduling of Time-Dependent Systems.
FTRTFT 2002: 129-146 |
| 49 | EE | Guillermo de Jesús Hoyos-Rivera,
Roberta Lima-Gomes,
Jean-Pierre Courtiat:
A Flexible Architecture for Collaborative Browsing.
WETICE 2002: 164-169 |
| 2001 |
|---|
| 48 | EE | Paulo Nazareno Maia Sampaio,
Christophe Lohr,
Jean-Pierre Courtiat:
An integrated environment for the presentation of consistent SMIL 2.0 documents.
ACM Symposium on Document Engineering 2001: 115-124 |
| 47 | EE | Paulo Nazareno Maia Sampaio,
Jean-Pierre Courtiat:
Scheduling and Presenting Interactive Multimedia Documents.
ICME 2001 |
| 46 | | Adilson Eduardo Guelfi,
Frank Meylan,
Sergio Takeo Kofuji,
Jean-Pierre Courtiat:
Analysis and Implementation of a Pre-defined QoS Specification Methodology for VoD Systems.
IMSA 2001: 406-411 |
| 45 | EE | R. Ben Abbou,
Amine Benkiran,
Jean-Pierre Courtiat:
Formal Validation of a Multicast Transport Protocol.
ISCC 2001: 642-647 |
| 44 | EE | Ludovic Apvrille,
Pierre de Saqui-Sannes,
Christophe Lohr,
Patrick Sénac,
Jean-Pierre Courtiat:
A New UML Profile for Real-Time System Formal Design and Validation.
UML 2001: 287-301 |
| 43 | EE | Guillermo de Jesús Hoyos-Rivera,
Jean-Pierre Courtiat,
Thierry Villemur:
A Design Framework for Collaborative Browsing.
WETICE 2001: 362-367 |
| 2000 |
|---|
| 42 | EE | Paulo Nazareno Maia Sampaio,
Jean-Pierre Courtiat:
A formal approach for the presentation of interactive multimedia documents.
ACM Multimedia 2000: 435-438 |
| 41 | | Paulo Nazareno Maia Sampaio,
C. A. S. Santos,
Jean-Pierre Courtiat:
About the Semantic Verification of SMIL Documents.
IEEE International Conference on Multimedia and Expo (III) 2000: 1675-1678 |
| 40 | EE | Jean-Pierre Courtiat,
C. A. S. Santos,
Christophe Lohr,
B. Outtaj:
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique.
Computer Communications 23(12): 1104-1123 (2000) |
| 1999 |
|---|
| 39 | EE | C. A. S. Santos,
Paulo Nazareno Maia Sampaio,
Jean-Pierre Courtiat:
Revisiting the concept of hypermedia document consistency.
ACM Multimedia (2) 1999: 183-186 |
| 38 | | Frank Meylan,
Luis Gustavo G. Kiatake,
Marcelo Zanoni Santos,
Sergio Takeo Kofuji,
Jean-Pierre Courtiat:
An experimental study for transmitting MPEG-2 streams over ATM networks.
Telecommunication Systems 11(3-4): 305-321 (1999) |
| 1998 |
|---|
| 37 | EE | C. A. S. Santos,
Luiz Fernando Gomes Soares,
Guido L. De Souza,
Jean-Pierre Courtiat:
Design Methodology and Formal Validation of Hypermedia Documents.
ACM Multimedia 1998: 39-48 |
| 36 | | C. A. S. Santos,
Jean-Pierre Courtiat,
Pierre de Saqui-Sannes:
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.
FORTE 1998: 163-178 |
| 35 | EE | C. A. S. Santos,
Jean-Pierre Courtiat,
Luiz Fernando Gomes Soares,
Guido L. De Souza:
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model.
MMM 1998: 21- |
| 1997 |
|---|
| 34 | | L. Andriantsiferana,
Jean-Pierre Courtiat,
Roberto C. de Oliveira,
L. Picci:
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 1997: 433-448 |
| 1996 |
|---|
| 33 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
Proving Temporal Consistency in a New Multimedia Synchronization Model.
ACM Multimedia 1996: 141-152 |
| 32 | EE | Jean-Pierre Courtiat,
Michel Diaz,
Roberto C. de Oliveira,
Patrick Sénac:
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.
Computer Communications 19(14): 1134-1150 (1996) |
| 31 | EE | Jean-Pierre Courtiat,
Piotr Dembinski,
Gerard J. Holzmann,
Luigi Logrippo,
Harry Rudin,
Pamela Zave:
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Computer Networks and ISDN Systems 28(13): 1845-1855 (1996) |
| 30 | | Jean-Pierre Courtiat,
Luiz F. Rust da Costa Carmo,
Roberto C. de Oliveira:
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations.
IEEE Journal on Selected Areas in Communications 14(1): 185-195 (1996) |
| 1995 |
|---|
| 29 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
A Reachability Analysis of RT-LOTOS Specifications.
FORTE 1995: 117-124 |
| 28 | EE | Jean-Pierre Courtiat,
Roberto C. de Oliveira,
L. Andriantsiferana:
Specification and Validation of Multimedia Protocols using RT-LOTOS.
FTDCS 1995: 354-362 |
| 27 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.
MMNET 1995: 31-45 |
| 26 | EE | Jean-Pierre Courtiat,
Roberto C. de Oliveira,
Luiz F. Rust da Costa Carmo:
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.
Inf. Syst. 20(6): 521-535 (1995) |
| 1994 |
|---|
| 25 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira,
Luiz F. Rust da Costa Carmo:
Towards a New Multimedia Synchronization Mechanism and its Formal Definition.
ACM Multimedia 1994: 133-140 |
| 24 | | Jean-Pierre Courtiat,
Djamel-Eddine Saïdouni:
Relating maximality-based semantics to action refinement in process algebras.
FORTE 1994: 293-308 |
| 23 | | Luiz F. Rust da Costa Carmo,
Jean-Pierre Courtiat:
Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions.
HPN 1994: 187-200 |
| 22 | | Jean-Pierre Courtiat,
Luiz F. Rust da Costa Carmo,
Roberto C. de Oliveira:
A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems.
ICMCS 1994: 173-182 |
| 21 | | Pierre de Saqui-Sannes,
Jean-Pierre Courtiat,
René Casadessus:
Verification by abstraction as a preamble for interoperability test suite generation.
PSTV 1994: 152-166 |
| 20 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
About time nondeterminism and exception handling in a temporal extension of LOTOS.
PSTV 1994: 37-52 |
| 19 | EE | Michel Diaz,
Guy Juanole,
Jean-Pierre Courtiat:
Observer-A Concept for Formal On-Line Validation of Distributed Systems.
IEEE Trans. Software Eng. 20(12): 900-913 (1994) |
| 1993 |
|---|
| 18 | | Jean-Pierre Courtiat,
Djamel-Eddine Saïdouni:
Action Refinement in LOTOS.
PSTV 1993: 341-354 |
| 17 | | Djamel-Eddine Saïdouni,
Jean-Pierre Courtiat:
Syntactic Action Refinement in Presence of Multiway Synchronisation.
Semantics of Specification Languages 1993: 289-303 |
| 1992 |
|---|
| 16 | | Rosvelter João Coelho da Costa,
Jean-Pierre Courtiat:
A true concurrency semantics for LOTOS.
FORTE 1992: 347-362 |
| 15 | | Rosvelter João Coelho da Costa,
Jean-Pierre Courtiat:
A Causality-based Semantics for CCS.
NAPAW 1992: 200-215 |
| 14 | | Luiz F. Rust da Costa Carmo,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
Basic Synchronization Concepts in Multimedia Systems.
NOSSDAV 1992: 94-105 |
| 13 | | Jean-Pierre Courtiat,
Pierre de Saqui-Sannes:
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle.
Computer Networks and ISDN Systems 25(1): 83-98 (1992) |
| 1991 |
|---|
| 12 | | Jean-Pierre Courtiat,
Rosvelter João Coelho da Costa:
A LOTOS Based Calculus with True Concurrency Semantics.
FORTE 1991: 559-574 |
| 11 | | Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle.
PSTV 1991: 75-89 |
| 10 | | Jean-Pierre Courtiat,
Michel Diaz:
Time in State Based Formal Description Techniques for Distributed Systems.
REX Workshop 1991: 149-175 |
| 1989 |
|---|
| 9 | | Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
From the Simulation to the Verification of Estelle Specifications.
FORTE 1989: 393-407 |
| 1988 |
|---|
| 8 | | Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.
FORTE 1988: 15-29 |
| 1987 |
|---|
| 7 | | Jean-Pierre Courtiat:
How Could Estelle Become a Better FDT?
PSTV 1987: 43-60 |
| 1986 |
|---|
| 6 | | Michel Diaz,
Jean-Pierre Courtiat,
Aloysio Pedroza:
Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems.
Current Trends in Concurrency 1986: 208-265 |
| 1985 |
|---|
| 5 | | Jean-Pierre Courtiat,
Aloysio Pedroza,
Jean-Michel Ayache:
A simulation environment for protocol specifications described in ESTELLE.
PSTV 1985: 297-312 |
| 1984 |
|---|
| 4 | EE | Jean-Pierre Courtiat,
Jean-Michel Ayache,
B. Algayres:
Petri nets are good for protocols.
Computer Communication Review 14(2): 66-74 (1984) |
| 1983 |
|---|
| 3 | | Jean-Michel Ayache,
Jean-Pierre Courtiat:
LC/1, A Specification and Implementation Language for Protocols.
Protocol Specification, Testing, and Verification 1983: 333-345 |
| 1982 |
|---|
| 2 | | Jean-Michel Ayache,
Jean-Pierre Courtiat,
Michel Diaz:
Self-Checking software in distributed systems.
ICDCS 1982: 163-170 |
| 1 | | Jean-Michel Ayache,
Jean-Pierre Courtiat,
Michel Diaz:
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control.
IEEE Trans. Computers 31(7): 637-647 (1982) |
