Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jean-Pierre Courtiat
2010 – today
- 2011
[j14]Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Roberto Willrich, Christopher Viana Lima, Jean-Pierre Courtiat: A Loosely Coupled Integration Environment for Collaborative Applications. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(5): 905-916 (2011)
2000 – 2009
- 2009
- [c59]José Valentim Dos Santos Filho, Roberta Lima-Gomes, Rodrigo Moreira Bacurau, Aloysio De Castro Pinto Pedroza, Jean-Pierre Courtiat: Coordinating collaborativework with RECOLLVE. CTS 2009: 266-275
- 2008
- [c58]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
- [c57]José Valentim Dos Santos Filho, Roberta Lima-Gomes, Aloysio De Castro Pinto Pedroza, Jean-Pierre Courtiat: The Agent-Based Architecture of RECOLLVE. SBSC 2008: 134-145
- 2007
- [c56]Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat: Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. FORMATS 2007: 290-303
- [c55]Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents. ICEIS (5) 2007: 268-271
- [c54]Christopher Viana Lima, Roberto Willrich, Roberta Lima-Gomes, Jean-Pierre Courtiat: An Extensible Co-browsing Environment with Conference Support. WETICE 2007: 204-205
- 2006
- [j13]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)
- [c53]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
- [c52]Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379
- 2005
- [c51]Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat: CoLab: A Flexible Collaborative Web Browsing Tool. AINA 2005: 501-506
- [c50]Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat: Loosely-Coupled Integration of CSCW Systems. DAIS 2005: 38-49
- [c49]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
- [c48]Roberta Lima-Gomes, Guillermo J. H. Rivera, Jean-Pierre Courtiat: Integrating collaborative applications with LEICA. ITRE 2005: 292-296
- [c47]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
- [j12]Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents. J. Braz. Comp. Soc. 9(3): 39-51 (2004)
- [j11]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
- [c46]Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: New Operators for the TURTLE Real-Time UML Profile. FMOODS 2003: 214-228
- [c45]
- [c44]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
- [c43]Roberta L. Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat: Collaborative virtual environments: going beyond virtual reality. ICME 2003: 105-108
- [c42]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
- [c41]Christophe Lohr, Jean-Pierre Courtiat: From the Specification to the Scheduling of Time-Dependent Systems. FTRTFT 2002: 129-146
- [c40]Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: Providing consistent SMIL 2.0 documents. ICME (2) 2002: 337-340
- [c39]Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat: A Flexible Architecture for Collaborative Browsing. WETICE 2002: 164-169
- 2001
- [c38]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
- [c37]Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: Scheduling and Presenting Interactive Multimedia Documents. ICME 2001
- [c36]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
- [c35]R. Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat: Formal Validation of a Multicast Transport Protocol. ISCC 2001: 642-647
- [c34]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
- [c33]Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat, Thierry Villemur: A Design Framework for Collaborative Browsing. WETICE 2001: 362-367
- 2000
- [j10]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)
- [c32]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
- [c31]Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: A formal approach for the presentation of interactive multimedia documents. ACM Multimedia 2000: 435-438
1990 – 1999
- 1999
- [j9]Frank Meylan, Luis Gustavo Gasparini 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)
- [c30]Frank Meylan, Luis Gustavo Gasparini Kiatake, Marcelo Zanoni Santos, Sergio Takeo Kofuji, Jean-Pierre Courtiat: Comparative Analisys of Multicast Routing Algorithms for Multimedia Communication over ATM Networks. LANOMS 1999
- [c29]C. A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: Revisiting the concept of hypermedia document consistency. ACM Multimedia (2) 1999: 183-186
- 1998
- [c28]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
- [c27]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
- [c26]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
- [c25]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
- [j8]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)
- [j7]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)
- [j6]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)
- [c24]Jean-Pierre Courtiat, Roberto C. de Oliveira: Proving Temporal Consistency in a New Multimedia Synchronization Model. ACM Multimedia 1996: 141-152
- 1995
- [j5]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)
- [c23]Jean-Pierre Courtiat, Roberto C. de Oliveira: A Reachability Analysis of RT-LOTOS Specifications. FORTE 1995: 117-124
- [c22]Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana: Specification and Validation of Multimedia Protocols using RT-LOTOS. FTDCS 1995: 354-362
- [c21]Jean-Pierre Courtiat, Roberto C. de Oliveira: RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. MMNET 1995: 31-45
- 1994
- [j4]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)
- [c20]Jean-Pierre Courtiat, Djamel-Eddine Saïdouni: Relating maximality-based semantics to action refinement in process algebras. FORTE 1994: 293-308
- [c19]Luiz F. Rust da Costa Carmo, Jean-Pierre Courtiat: Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions. HPN 1994: 187-200
- [c18]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
- [c17]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
- [c16]Jean-Pierre Courtiat, Roberto C. de Oliveira: About time nondeterminism and exception handling in a temporal extension of LOTOS. PSTV 1994: 37-52
- [c15]Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus: Verification by abstraction as a preamble for interoperability test suite generation. PSTV 1994: 152-166
- 1993
- [c14]
- [c13]Djamel-Eddine Saïdouni, Jean-Pierre Courtiat: Syntactic Action Refinement in Presence of Multiway Synchronisation. Semantics of Specification Languages 1993: 289-303
- 1992
- [j3]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)
- [c12]Rosvelter João Coelho da Costa, Jean-Pierre Courtiat: A true concurrency semantics for LOTOS. FORTE 1992: 347-362
- [c11]Rosvelter João Coelho da Costa, Jean-Pierre Courtiat: A Causality-based Semantics for CCS. NAPAW 1992: 200-215
- [c10]Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Basic Synchronization Concepts in Multimedia Systems. NOSSDAV 1992: 94-105
- 1991
- [c9]Jean-Pierre Courtiat, Rosvelter João Coelho da Costa: A LOTOS Based Calculus with True Concurrency Semantics. FORTE 1991: 559-574
- [c8]Pierre de Saqui-Sannes, Jean-Pierre Courtiat: An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. PSTV 1991: 75-89
- [c7]Jean-Pierre Courtiat, Michel Diaz: Time in State Based Formal Description Techniques for Distributed Systems. REX Workshop 1991: 149-175
1980 – 1989
- 1989
- [c6]Pierre de Saqui-Sannes, Jean-Pierre Courtiat: From the Simulation to the Verification of Estelle Specifications. FORTE 1989: 393-407
- 1988
- [c5]Pierre de Saqui-Sannes, Jean-Pierre Courtiat: ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. FORTE 1988: 15-29
- 1987
- [c4]
- 1986
- [p1]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
- [c3]Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache: A simulation environment for protocol specifications described in ESTELLE. PSTV 1985: 297-312
- 1984
- [j2]Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres: Petri nets are good for protocols. Computer Communication Review 14(2): 66-74 (1984)
- 1983
- [c2]Jean-Michel Ayache, Jean-Pierre Courtiat: LC/1, A Specification and Implementation Language for Protocols. Protocol Specification, Testing, and Verification 1983: 333-345
- 1982
- [j1]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)
- [c1]Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz: Self-Checking software in distributed systems. ICDCS 1982: 163-170
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:56 CET by the dblp team