default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Pierre Courtiat

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/Lima-GomesHWLC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/Lima-GomesHWLC11
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/FilhoLBPC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/FilhoLBPC09
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cgvr/FilhoLPC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgvr/FilhoLPC08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbsc/FilhoLPC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbsc/FilhoLPC08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/SampaioPC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/SampaioPC07
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/SampaioC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/SampaioC07
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat:
TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents. ICEIS (5) 2007: 268-271
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/LimaWGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/LimaWGC07
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/Hoyos-RiveraLWC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/Hoyos-RiveraLWC06
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/SadaniBSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SadaniBSC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SadaniBSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SadaniBSC06
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379
[c53]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/issse3/FontanMVSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issse3/FontanMVSC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/FontanASC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/FontanASC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/Hoyos-RiveraLC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/Hoyos-RiveraLC05
Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat:
CoLab: A Flexible Collaborative Web Browsing Tool. AINA 2005: 501-506
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/dais/Lima-GomesHC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dais/Lima-GomesHC05
Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat:
Loosely-Coupled Integration of CSCW Systems. DAIS 2005: 38-49
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/Lima-GomesHC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/Lima-GomesHC05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itre/GomesRC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itre/GomesRC05
Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat:
Integrating collaborative applications with LEICA. ITRE 2005: 292-296
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SadaniSC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SadaniSC05
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jbcs/SampaioC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbcs/SampaioC04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ApvrilleCLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ApvrilleCLS04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/LohrASC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/LohrASC03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Courtiat03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Courtiat03
Jean-Pierre Courtiat:
Formal Design of Interactive Multimedia Documents. FORTE 2003: 351-366
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/Hoyos-RiveraLCB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/Hoyos-RiveraLCB03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcs/GomesHC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcs/GomesHC03
Roberta L. Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat:
Collaborative virtual environments: going beyond virtual reality. ICME 2003: 105-108
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/GomesHC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/GomesHC03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/LohrC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/LohrC02
Christophe Lohr, Jean-Pierre Courtiat:
From the Specification to the Scheduling of Time-Dependent Systems. FTRTFT 2002: 129-146
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcs/SampaioC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcs/SampaioC02
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat:
Providing consistent SMIL 2.0 documents. ICME (2) 2002: 337-340
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/Hoyos-RiveraLC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/Hoyos-RiveraLC02
Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat:
A Flexible Architecture for Collaborative Browsing. WETICE 2002: 164-169
2001
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/doceng/SampaioLC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/doceng/SampaioLC01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcs/SampaioC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcs/SampaioC01
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat:
Scheduling and Presenting Interactive Multimedia Documents. ICME 2001
[c36]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/imsa/GuelfiMKC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imsa/GuelfiMKC01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/AbbouBC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/AbbouBC01
Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat:
Formal Validation of a Multicast Transport Protocol. ISCC 2001: 642-647
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/ApvrilleSLSC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/ApvrilleSLSC01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/Hoyos-RiveraCV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/Hoyos-RiveraCV01
Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat, Thierry Villemur:
A Design Framework for Collaborative Browsing. WETICE 2001: 362-367
2000
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/CourtiatSLO00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/CourtiatSLO00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcs/SampaioSC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcs/SampaioSC00
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/mm/SampaioC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mm/SampaioC00
Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat:
A formal approach for the presentation of interactive multimedia documents. ACM Multimedia 2000: 435-438

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/telsys/MeylanKSKC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/telsys/MeylanKSKC99
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]
- view
  - electronic edition @ lanoms.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanoms/MeylanKSKC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanoms/MeylanKSKC99
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mm/SantosSC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mm/SantosSC99
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/SantosCS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SantosCS98
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mm/SantosSSC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mm/SantosSSC98
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mmm/SantosCSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmm/SantosCSS98
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/AndriantsiferanaCOP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AndriantsiferanaCOP97
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/CourtiatDHLRZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/CourtiatDHLRZ96
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]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/CourtiatDOS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/CourtiatDOS96
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/CourtiatCO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/CourtiatCO96
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mm/CourtiatO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mm/CourtiatO96
Jean-Pierre Courtiat, Roberto C. de Oliveira:
Proving Temporal Consistency in a New Multimedia Synchronization Model. ACM Multimedia 1996: 141-152
1995
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/is/CourtiatOC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/CourtiatOC95
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/CourtiatO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CourtiatO95
Jean-Pierre Courtiat, Roberto C. de Oliveira:
A Reachability Analysis of RT-LOTOS Specifications. FORTE 1995: 117-124
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ftdcs/CourtiatOA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/CourtiatOA95
Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana:
Specification and Validation of Multimedia Protocols using RT-LOTOS. FTDCS 1995: 354-362
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mmnet/CourtiatO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmnet/CourtiatO95
Jean-Pierre Courtiat, Roberto C. de Oliveira:
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. MMNET 1995: 31-45
1994
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DiazJC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DiazJC94
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/CourtiatS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CourtiatS94
Jean-Pierre Courtiat, Djamel-Eddine Saïdouni:
Relating maximality-based semantics to action refinement in process algebras. FORTE 1994: 293-308
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/hpn/CarmoC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpn/CarmoC94
Luiz F. Rust da Costa Carmo, Jean-Pierre Courtiat:
Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions. HPN 1994: 187-200
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcs/CourtiatCO94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcs/CourtiatCO94
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mm/CourtiatOC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mm/CourtiatOC94
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/CourtiatO94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CourtiatO94
Jean-Pierre Courtiat, Roberto C. de Oliveira:
About time nondeterminism and exception handling in a temporal extension of LOTOS. PSTV 1994: 37-52
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/Saqui-SannesCC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Saqui-SannesCC94
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/CourtiatS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CourtiatS93
Jean-Pierre Courtiat, Djamel-Eddine Saïdouni:
Action Refinement in LOTOS. PSTV 1993: 341-354
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sosl/SaidouniC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosl/SaidouniC93
Djamel-Eddine Saïdouni, Jean-Pierre Courtiat:
Syntactic Action Refinement in Presence of Multiway Synchronization. Semantics of Specification Languages 1993: 289-303
1992
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/CourtiatS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/CourtiatS92
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/CostaC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CostaC92
Rosvelter João Coelho da Costa, Jean-Pierre Courtiat:
A true concurrency semantics for LOTOS. FORTE 1992: 347-362
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/CostaC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/CostaC92
Rosvelter João Coelho da Costa, Jean-Pierre Courtiat:
A Causality-based Semantics for CCS. NAPAW 1992: 200-215
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/nossdav/CarmoSC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nossdav/CarmoSC92
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/CourtiatC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CourtiatC91
Jean-Pierre Courtiat, Rosvelter João Coelho da Costa:
A LOTOS Based Calculus with True Concurrency Semantics. FORTE 1991: 559-574
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/Saqui-SannesC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Saqui-SannesC91
Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. PSTV 1991: 75-89
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/CourtiatD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/CourtiatD91
Jean-Pierre Courtiat, Michel Diaz:
Time in State Based Formal Description Techniques for Distributed Systems. REX Workshop 1991: 149-175

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Saqui-SannesC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Saqui-SannesC89
Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
From the Simulation to the Verification of Estelle Specifications. FORTE 1989: 393-407
1988
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Saqui-SannesC88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Saqui-SannesC88
Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. FORTE 1988: 15-29
1987
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/Courtiat87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Courtiat87
Jean-Pierre Courtiat:
How Could Estelle Become a Better FDT? PSTV 1987: 43-60
1986
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/trends86/DiazCP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/trends86/DiazCP86
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/CourtiatPA85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CourtiatPA85
Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache:
A simulation environment for protocol specifications described in ESTELLE. PSTV 1985: 297-312
1984
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ccr/CourtiatAA84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ccr/CourtiatAA84
Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres:
Petri nets are good for protocols. Comput. Commun. Rev. 14(2): 66-74 (1984)
1983
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip/AyacheC83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/AyacheC83
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/AyacheCD82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/AyacheCD82
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icdcs/AyacheCD82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/AyacheCD82
Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz:
Self-Checking software in distributed systems. ICDCS 1982: 163-170

Coauthor Index

see FAQ

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.