The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Pierre Courtiat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Jean-Pierre Courtiat
    Formal Design of Interactive Multimedia Documents. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:351-366 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat
    Scheduling and Presenting Interactive Multimedia Documents. [Citation Graph (0, 0)][DBLP]
    ICME, 2001, pp:- [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Jean-Pierre Courtiat
    How Could Estelle Become a Better FDT? [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:43-60 [Conf]
  39. 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]
  40. 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]
  41. Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
    Action Refinement in LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:341-354 [Conf]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]

  63. RECOLLVE - REpresenting COLLaboration in Virtual Environments. [Citation Graph (, )][DBLP]


  64. TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents. [Citation Graph (, )][DBLP]


  65. An Extensible Co-browsing Environment with Conference Support. [Citation Graph (, )][DBLP]


  66. Integrating collaborative applications with LEICA. [Citation Graph (, )][DBLP]


  67. The Agent-Based Architecture of RECOLLVE. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002