|
Search the dblp DataBase
Jean-Pierre Courtiat:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- C. A. S. Santos, Luiz Fernando G. Soares, Guido L. De Souza, Jean-Pierre Courtiat
Design Methodology and Formal Validation of Hypermedia Documents. [Citation Graph (1, 0)][DBLP] ACM Multimedia, 1998, pp:39-48 [Conf]
- Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat
CoLab: A Flexible Collaborative Web Browsing Tool. [Citation Graph (0, 0)][DBLP] AINA, 2005, pp:501-506 [Conf]
- Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
Loosely-Coupled Integration of CSCW Systems. [Citation Graph (0, 0)][DBLP] DAIS, 2005, pp:38-49 [Conf]
- Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications. [Citation Graph (0, 0)][DBLP] DEXA Workshops, 2005, pp:635-639 [Conf]
- Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat
An integrated environment for the presentation of consistent SMIL 2.0 documents. [Citation Graph (0, 0)][DBLP] ACM Symposium on Document Engineering, 2001, pp:115-124 [Conf]
- Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
New Operators for the TURTLE Real-Time UML Profile. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:214-228 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FORTE, 1997, pp:433-448 [Conf]
- Rosvelter João Coelho da Costa, Jean-Pierre Courtiat
A true concurrency semantics for LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1992, pp:347-362 [Conf]
- Jean-Pierre Courtiat
Formal Design of Interactive Multimedia Documents. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:351-366 [Conf]
- Jean-Pierre Courtiat, Rosvelter João Coelho da Costa
A LOTOS Based Calculus with True Concurrency Semantics. [Citation Graph (0, 0)][DBLP] FORTE, 1991, pp:559-574 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
A Reachability Analysis of RT-LOTOS Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1995, pp:117-124 [Conf]
- Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
Relating maximality-based semantics to action refinement in process algebras. [Citation Graph (0, 0)][DBLP] FORTE, 1994, pp:293-308 [Conf]
- Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:404-419 [Conf]
- C. A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:163-178 [Conf]
- Pierre de Saqui-Sannes, Jean-Pierre Courtiat
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. [Citation Graph (0, 0)][DBLP] FORTE, 1988, pp:15-29 [Conf]
- Pierre de Saqui-Sannes, Jean-Pierre Courtiat
From the Simulation to the Verification of Estelle Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1989, pp:393-407 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana
Specification and Validation of Multimedia Protocols using RT-LOTOS. [Citation Graph (0, 0)][DBLP] FTDCS, 1995, pp:354-362 [Conf]
- Christophe Lohr, Jean-Pierre Courtiat
From the Specification to the Scheduling of Time-Dependent Systems. [Citation Graph (0, 0)][DBLP] FTRTFT, 2002, pp:129-146 [Conf]
- Luiz F. Rust da Costa Carmo, Jean-Pierre Courtiat
Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions. [Citation Graph (0, 0)][DBLP] HPN, 1994, pp:187-200 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICALT, 2003, pp:312-313 [Conf]
- Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz
Self-Checking software in distributed systems. [Citation Graph (0, 0)][DBLP] ICDCS, 1982, pp:163-170 [Conf]
- Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Mapping RT-LOTOS Specifications into Time Petri Nets. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:360-379 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICMCS, 1994, pp:173-182 [Conf]
- Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
Scheduling and Presenting Interactive Multimedia Documents. [Citation Graph (0, 0)][DBLP] ICME, 2001, pp:- [Conf]
- Paulo Nazareno Maia Sampaio, C. A. S. Santos, Jean-Pierre Courtiat
About the Semantic Verification of SMIL Documents. [Citation Graph (0, 0)][DBLP] IEEE International Conference on Multimedia and Expo (III), 2000, pp:1675-1678 [Conf]
- Jean-Michel Ayache, Jean-Pierre Courtiat
LC/1, A Specification and Implementation Language for Protocols. [Citation Graph (0, 0)][DBLP] Protocol Specification, Testing, and Verification, 1983, pp:333-345 [Conf]
- Adilson Eduardo Guelfi, Frank Meylan, Sergio Takeo Kofuji, Jean-Pierre Courtiat
Analysis and Implementation of a Pre-defined QoS Specification Methodology for VoD Systems. [Citation Graph (0, 0)][DBLP] IMSA, 2001, pp:406-411 [Conf]
- R. Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat
Formal Validation of a Multicast Transport Protocol. [Citation Graph (0, 0)][DBLP] ISCC, 2001, pp:642-647 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
Proving Temporal Consistency in a New Multimedia Synchronization Model. [Citation Graph (0, 0)][DBLP] ACM Multimedia, 1996, pp:141-152 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
Towards a New Multimedia Synchronization Mechanism and its Formal Definition. [Citation Graph (0, 0)][DBLP] ACM Multimedia, 1994, pp:133-140 [Conf]
- Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
A formal approach for the presentation of interactive multimedia documents. [Citation Graph (0, 0)][DBLP] ACM Multimedia, 2000, pp:435-438 [Conf]
- C. A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
Revisiting the concept of hypermedia document consistency. [Citation Graph (0, 0)][DBLP] ACM Multimedia (2), 1999, pp:183-186 [Conf]
- C. A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando G. Soares, Guido L. De Souza
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. [Citation Graph (0, 0)][DBLP] MMM, 1998, pp:21-0 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. [Citation Graph (0, 0)][DBLP] MMNET, 1995, pp:31-45 [Conf]
- Rosvelter João Coelho da Costa, Jean-Pierre Courtiat
A Causality-based Semantics for CCS. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:200-215 [Conf]
- Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Basic Synchronization Concepts in Multimedia Systems. [Citation Graph (0, 0)][DBLP] NOSSDAV, 1992, pp:94-105 [Conf]
- Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat
Regarding the Integration of Collaborative Applications into Virtual Worlds. [Citation Graph (0, 0)][DBLP] OTM Workshops, 2003, pp:16-17 [Conf]
- Jean-Pierre Courtiat
How Could Estelle Become a Better FDT? [Citation Graph (0, 0)][DBLP] PSTV, 1987, pp:43-60 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
About time nondeterminism and exception handling in a temporal extension of LOTOS. [Citation Graph (0, 0)][DBLP] PSTV, 1994, pp:37-52 [Conf]
- Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache
A simulation environment for protocol specifications described in ESTELLE. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:297-312 [Conf]
- Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
Action Refinement in LOTOS. [Citation Graph (0, 0)][DBLP] PSTV, 1993, pp:341-354 [Conf]
- Pierre de Saqui-Sannes, Jean-Pierre Courtiat
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. [Citation Graph (0, 0)][DBLP] PSTV, 1991, pp:75-89 [Conf]
- Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
Verification by abstraction as a preamble for interoperability test suite generation. [Citation Graph (0, 0)][DBLP] PSTV, 1994, pp:152-166 [Conf]
- Jean-Pierre Courtiat, Michel Diaz
Time in State Based Formal Description Techniques for Distributed Systems. [Citation Graph (0, 0)][DBLP] REX Workshop, 1991, pp:149-175 [Conf]
- Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:250-260 [Conf]
- Djamel-Eddine Saïdouni, Jean-Pierre Courtiat
Syntactic Action Refinement in Presence of Multiway Synchronisation. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:289-303 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] UML, 2001, pp:287-301 [Conf]
- Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat, Thierry Villemur
A Design Framework for Collaborative Browsing. [Citation Graph (0, 0)][DBLP] WETICE, 2001, pp:362-367 [Conf]
- Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat
A Flexible Architecture for Collaborative Browsing. [Citation Graph (0, 0)][DBLP] WETICE, 2002, pp:164-169 [Conf]
- Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres
Petri nets are good for protocols. [Citation Graph (0, 0)][DBLP] Computer Communication Review, 1984, v:14, n:2, pp:66-74 [Journal]
- 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). [Citation Graph (0, 0)][DBLP] Computer Networks and ISDN Systems, 1996, v:28, n:13, pp:1845-1855 [Journal]
- Jean-Pierre Courtiat, Pierre de Saqui-Sannes
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. [Citation Graph (0, 0)][DBLP] Computer Networks and ISDN Systems, 1992, v:25, n:1, pp:83-98 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Computer Communications, 1996, v:19, n:14, pp:1134-1150 [Journal]
- Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. [Citation Graph (0, 0)][DBLP] Computer Communications, 2000, v:23, n:12, pp:1104-1123 [Journal]
- Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism. [Citation Graph (0, 0)][DBLP] Inf. Syst., 1995, v:20, n:6, pp:521-535 [Journal]
- Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations. [Citation Graph (0, 0)][DBLP] IEEE Journal on Selected Areas in Communications, 1996, v:14, n:1, pp:185-195 [Journal]
- Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1982, v:31, n:7, pp:637-647 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Telecommunication Systems, 1999, v:11, n:3-4, pp:305-321 [Journal]
- Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:7, pp:473-487 [Journal]
- Michel Diaz, Guy Juanole, Jean-Pierre Courtiat
Observer-A Concept for Formal On-Line Validation of Distributed Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1994, v:20, n:12, pp:900-913 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2006, v:36, n:6, pp:1074-1085 [Journal]
- Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat
Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. [Citation Graph (0, 0)][DBLP] FORMATS, 2007, pp:290-303 [Conf]
RECOLLVE - REpresenting COLLaboration in Virtual Environments. [Citation Graph (, )][DBLP]
TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents. [Citation Graph (, )][DBLP]
An Extensible Co-browsing Environment with Conference Support. [Citation Graph (, )][DBLP]
Integrating collaborative applications with LEICA. [Citation Graph (, )][DBLP]
The Agent-Based Architecture of RECOLLVE. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.453secs
|