default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Pierre Courtiat
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 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 Trans. Syst. Man Cybern. Part A 41(5): 905-916 (2011)
2000 – 2009
- 2009
- [c61]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
- [c60]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 - [c59]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
- [c58]Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat:
Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. FORMATS 2007: 290-303 - [c57]Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat:
TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents. ICEIS (5) 2007: 268-271 - [c56]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 Trans. Syst. Man Cybern. Part A 36(6): 1074-1085 (2006) - [c55]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 - [c54]Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379 - [c53]Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
UML-Based Modeling and Formal Verification of Authentication Protocols. ISSSE 2006 - [c52]Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Real-Time and Embedded System Verification Based on Formal Requirements. IES 2006: 1-10 - 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 de Jesús Hoyos-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. Comput. 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]Jean-Pierre Courtiat:
Formal Design of Interactive Multimedia Documents. FORTE 2003: 351-366 - [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]Rachid 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, Celso A. S. Santos, Christophe Lohr, B. Outtaj:
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Comput. Commun. 23(12): 1104-1123 (2000) - [c32]Paulo Nazareno Maia Sampaio, Celso 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. Telecommun. Syst. 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]Celso 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]Celso 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]Celso 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]Celso 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-222 - 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). Comput. Networks ISDN Syst. 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. Comput. Commun. 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 J. Sel. Areas Commun. 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]Jean-Pierre Courtiat, Djamel-Eddine Saïdouni:
Action Refinement in LOTOS. PSTV 1993: 341-354 - [c13]Djamel-Eddine Saïdouni, Jean-Pierre Courtiat:
Syntactic Action Refinement in Presence of Multiway Synchronization. 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. Comput. Networks ISDN Syst. 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]Jean-Pierre Courtiat:
How Could Estelle Become a Better FDT? PSTV 1987: 43-60 - 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. Comput. Commun. Rev. 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
aka: Roberta L. Gomes
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
