Jean-Pierre Courtiat

	2011
72		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)
	2008
71		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
70		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
69		Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat: Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. FORMATS 2007: 290-303
68		Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents. ICEIS (5) 2007: 268-271
67		Christopher Viana Lima, Roberto Willrich, Roberta Lima-Gomes, Jean-Pierre Courtiat: An Extensible Co-browsing Environment with Conference Support. WETICE 2007: 204-205
	2006
66		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
65		Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379
64		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
63		Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat: CoLab: A Flexible Collaborative Web Browsing Tool. AINA 2005: 501-506
62		Roberta Lima-Gomes, Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat: Loosely-Coupled Integration of CSCW Systems. DAIS 2005: 38-49
61		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
60		Roberta Lima-Gomes, Guillermo J. H. Rivera, Jean-Pierre Courtiat: Integrating collaborative applications with LEICA. ITRE 2005: 292-296
59		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
58		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)
57		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)
	2003
56		Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: New Operators for the TURTLE Real-Time UML Profile. FMOODS 2003: 214-228
55		Jean-Pierre Courtiat: Formal Design of Interactive Multimedia Documents. FORTE 2003: 351-366
54		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
53		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
52		Christophe Lohr, Jean-Pierre Courtiat: From the Specification to the Scheduling of Time-Dependent Systems. FTRTFT 2002: 129-146
51		Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: Providing consistent SMIL 2.0 documents. ICME (2) 2002: 337-340
50		Guillermo de Jesús Hoyos-Rivera, Roberta Lima-Gomes, Jean-Pierre Courtiat: A Flexible Architecture for Collaborative Browsing. WETICE 2002: 164-169
	2001
49		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
48		Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: Scheduling and Presenting Interactive Multimedia Documents. ICME 2001
47		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
46		R. Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat: Formal Validation of a Multicast Transport Protocol. ISCC 2001: 642-647
45		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
44		Guillermo de Jesús Hoyos-Rivera, Jean-Pierre Courtiat, Thierry Villemur: A Design Framework for Collaborative Browsing. WETICE 2001: 362-367
	2000
43		Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: A formal approach for the presentation of interactive multimedia documents. ACM Multimedia 2000: 435-438
42		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
41		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
40		C. A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat: Revisiting the concept of hypermedia document consistency. ACM Multimedia (2) 1999: 183-186
39		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
38		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)
	1998
37		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		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		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		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		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		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		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		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)

Coauthor Index

1	R. Ben Abbou	[46]
2	B. Algayres	[4]
3	L. Andriantsiferana	[28] [34]
4	Ludovic Apvrille	[45] [56] [58]
5	Jean-Michel Ayache	[1] [2] [3] [4] [5]
6	Rachid Benabbou	[54]
7	Amine Benkiran	[46]
8	Marc Boyer	[65] [66]
9	Luiz F. Rust da Costa Carmo	[14] [22] [23] [25] [26] [30]
10	René Casadessus	[21]
11	Rosvelter João Coelho da Costa	[12] [15] [16]
12	Piotr Dembinski	[31]
13	Michel Diaz	[1] [2] [6] [10] [19] [32]
14	José Valentim Dos Santos Filho	[70] [71]
15	Adilson Eduardo Guelfi	[47]
16	Gerard J. Holzmann	[31]
17	Guillermo de Jesús Hoyos-Rivera	[44] [50] [53] [54] [61] [62] [63] [64] [72]
18	Guy Juanole	[19]
19	Luis Gustavo Gasparini Kiatake	[38] [39]
20	Sergio Takeo Kofuji (Sérgio Takeo Kofuji)	[38] [39] [47]
21	Christopher Viana Lima	[67] [72]
22	Roberta Lima-Gomes	[50] [53] [54] [60] [61] [62] [63] [64] [67] [70] [71] [72]
23	Luigi Logrippo	[31]
24	Christophe Lohr	[41] [45] [49] [52] [56] [58]
25	Frank Meylan	[38] [39] [47]
26	Roberto C. de Oliveira	[20] [22] [25] [26] [27] [28] [29] [30] [32] [33] [34]
27	B. Outtaj	[41]
28	Aloysio Pedroza (Aloysio De Castro Pinto Pedroza)	[5] [6] [70] [71]
29	Laura Margarita Rodríguez Peralta	[69]
30	L. Picci	[34]
31	Guillermo J. H. Rivera	[60]
32	Harry Rudin	[31]
33	Tarek Sadani	[59] [65] [66]
34	Djamel-Eddine Saïdouni	[17] [18] [24]
35	Paulo Nazareno Maia Sampaio	[40] [42] [43] [48] [49] [51] [57] [68] [69]
36	Celso Alberto Saibel Santos (C. A. S. Santos)	[35] [36] [37] [40] [41] [42]
37	Marcelo Zanoni Santos	[38] [39]
38	Pierre de Saqui-Sannes	[8] [9] [11] [13] [14] [21] [36] [45] [56] [58] [59] [65] [66]
39	Patrick Sénac	[32] [45]
40	Luiz Fernando Gomes Soares	[35] [37]
41	Guido L. De Souza	[35] [37]
42	Thierry Villemur	[44]
43	Roberto Willrich	[64] [67] [72]
44	Pamela Zave	[31]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page