dblp.uni-trier.dewww.uni-trier.de

Jean-Pierre Courtiat Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)