The SCEAS System
Navigation Menu

Search the dblp DataBase


Michel Diaz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michel Diaz
    Petri Nets Based Models in the Specification and Verification of Protocols. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:135-170 [Conf]
  2. Jean-Michel Ayache, Pierre Azéma, Michel Diaz
    Towards Fault Tolerant Real Time Systems by Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:228-233 [Conf]
  3. Michel Diaz, Patrick Sénac
    Time Stream Petri Nets: A Model for Timed Multimedia Information. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:219-238 [Conf]
  4. Michel Diaz, Pierre Azéma
    Petri net based models for the specification and validation of protocols. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:101-121 [Conf]
  5. Christophe Chassot, Michel Fournier, Michel Diaz, André Lozes
    Service Definition of a Multimedia Partial Order Connection. [Citation Graph (0, 0)][DBLP]
    COST 237 Workshop, 1995, pp:118-137 [Conf]
  6. Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz
    A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:2158-2165 [Conf]
  7. Khalil Drira, Frédéric Gouëzec, Michel Diaz
    A Cooperation Service for CORBA Objects. From the Model to the Applications. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:769-776 [Conf]
  8. Khalil Drira, Frédéric Gouëzec, Michel Diaz
    Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  9. Michel Diaz, Jean Dufau, Roland Groz
    Experiences Using Estelle Within SEDOS Estelle Demonstrator. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:455-470 [Conf]
  10. Thierry Villemur, Khalil Drira, Michel Diaz
    Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1999, pp:119-124 [Conf]
  11. Paul D. Amer, Thomas J. Connolly, Christophe Chassot, Michel Diaz
    Partial Order Transport Service for Multimedia Applications: Reliable Service. [Citation Graph (0, 0)][DBLP]
    HPDC, 1993, pp:272-280 [Conf]
  12. Michel Diaz, Khalil Drira, André Lozes, Christophe Chassot
    On the definition and representation of the quality of service for multimedia systems. [Citation Graph (0, 0)][DBLP]
    HPN, 1995, pp:116-128 [Conf]
  13. Michel Fournier, Christophe Chassot, Michel Diaz, André Lozes
    Performance evaluations of partial order connections. [Citation Graph (0, 0)][DBLP]
    HPN, 1997, pp:232-246 [Conf]
  14. Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz
    XQOS: A Quality of Service Specification Language. [Citation Graph (0, 0)][DBLP]
    ICWI, 2002, pp:648-652 [Conf]
  15. 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]
  16. Thierry Gayraud, Pascal Berthou, Philippe Owezarski, Michel Diaz
    M3POC: A Multimedia Multicast Transport Protocol for Cooperative Applications. [Citation Graph (0, 0)][DBLP]
    IEEE International Conference on Multimedia and Expo (III), 2000, pp:1627-1630 [Conf]
  17. Luis Rojas-Cardenas, Laurent Dairaine, Patrick Sénac, Michel Diaz
    An Adaptive Transport Service for Multimedia Streams. [Citation Graph (0, 0)][DBLP]
    ICMCS, Vol. 2, 1999, pp:414-419 [Conf]
  18. Roberto Willrich, Patrick Sénac, Michel Diaz, Pierre de Saqui-Sannes
    A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents. [Citation Graph (0, 0)][DBLP]
    ICMCS, 1996, pp:399-406 [Conf]
  19. Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
    Enhancing QoS Through Alternate Path: An End-to-End Framework. [Citation Graph (0, 0)][DBLP]
    ICN (1), 2005, pp:125-132 [Conf]
  20. Michel Diaz
    Architecture and Design of New Multimedia Multicast Protocols. [Citation Graph (0, 0)][DBLP]
    ICNP, 2002, pp:- [Conf]
  21. Ernesto Exposito, Patrick Sénac, David Garduno, Michel Diaz, Manuel Urueña
    Deploying New QoS Aware Transport Services. [Citation Graph (0, 0)][DBLP]
    IDMS/PROMS, 2002, pp:141-153 [Conf]
  22. Fabien Garcia, Christophe Chassot, André Lozes, Michel Diaz, Pascal Anelli, Emmanuel Lochin
    Conception, Implementation, and Evaluation of a QoS-Based Architecture for an IP Environment Supporting Differentiated Services. [Citation Graph (0, 0)][DBLP]
    IDMS, 2001, pp:86-98 [Conf]
  23. Marc Boyer, Philippe Owezarski, Michel Diaz
    Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. [Citation Graph (0, 0)][DBLP]
    IDMS, 1998, pp:171-182 [Conf]
  24. Manuel Urueña, David Larrabeiti, María Calderón, Arturo Azcorra, Jens E. Kristensen, Lars Kroll Kristensen, Ernesto Exposito, David Garduno, Michel Diaz
    An Active Network Approach to Support Multimedia Relays. [Citation Graph (0, 0)][DBLP]
    IDMS/PROMS, 2002, pp:353-364 [Conf]
  25. Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz
    An Integrated Platform for Cooperative Teleteaching. [Citation Graph (0, 0)][DBLP]
    IDMS, 1998, pp:59-70 [Conf]
  26. Michel Diaz, Géraldo Guidacci Da Silveira
    Specification and Validation of Protocols by Temporal Logic and Nets. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:47-52 [Conf]
  27. Ernesto Exposito, Michel Diaz, Patrick Sénac
    Design Principles of a QoS-Oriented Transport Protocol. [Citation Graph (0, 0)][DBLP]
    INTELLCOMM, 2004, pp:151-159 [Conf]
  28. Ludovic Apvrille, Laurent Dairaine, Patrick Sénac, Luis Rojas-Cardenas, Michel Diaz
    Implementing a User Level Multimedia Transport Protocol in Java. [Citation Graph (0, 0)][DBLP]
    ISCC, 2000, pp:410-416 [Conf]
  29. Patrick Sénac, Ernesto Exposito, Michel Diaz
    Towards a New Generation of Generic Transport Protocols. [Citation Graph (0, 0)][DBLP]
    IWDC, 2001, pp:492-506 [Conf]
  30. Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz
    XQOS: XML-based QoS Specification Language. [Citation Graph (0, 0)][DBLP]
    MMM, 2003, pp:114-134 [Conf]
  31. Ernesto Exposito, Patrick Sénac, Michel Diaz
    UML-SDL modelling of the FPTP QoS oriented transport protocol. [Citation Graph (0, 0)][DBLP]
    MMM, 2004, pp:153-160 [Conf]
  32. Ernesto Exposito, Patrick Sénac, Michel Diaz
    Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms. [Citation Graph (0, 0)][DBLP]
    MMM, 2005, pp:413-420 [Conf]
  33. Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, Michel Diaz
    Temporal Partial Order and Partial Reliability Service for Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    MMM, 1998, pp:119-129 [Conf]
  34. Thierry Villemur, Philippe Owezarski, Michel Diaz
    N-TSVS: a Videoconference Tool for Generic Cooperative Groups. [Citation Graph (0, 0)][DBLP]
    MMM, 1998, pp:102-111 [Conf]
  35. Emmanuel Chaput, Patrick Sénac, Michel Diaz
    Introducing Multimedia Synchronization into the World-Wide Web. [Citation Graph (0, 0)][DBLP]
    MMNET, 1995, pp:185-191 [Conf]
  36. Christophe Chassot, Guillaume Auriol, Michel Diaz
    Automatic Management of the QoS within an Architecture Integrating New Transport and IP Services in a DiffServ Internet. [Citation Graph (0, 0)][DBLP]
    MMNS, 2003, pp:286-299 [Conf]
  37. Christophe Chassot, André Lozes, F. Racaru, Michel Diaz
    Signalling Concepts in Heterogeneous IP Multi-domains Networks. [Citation Graph (0, 0)][DBLP]
    NEW2AN, 2006, pp:259-270 [Conf]
  38. Saul Pomares Hernandez, Jean Fanchon, Khalil Drira, Michel Diaz
    Causal Broadcast Protocol for Very Large Group Communication Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2001, pp:175-188 [Conf]
  39. Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz
    Services, Methodologies and Platforms for Cooperative Environments. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2001, pp:213-234 [Conf]
  40. Thierry Villemur, Michel Diaz
    A Collaborative Membership Service and Protocol for Structured Groups. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:2115-2121 [Conf]
  41. Michel Fournier, Christophe Chassot, André Lozes, Michel Diaz
    Multimedia partial order transport architecture: design and implementation. [Citation Graph (0, 0)][DBLP]
    Protocols for High-Speed Networks, 1996, pp:91-106 [Conf]
  42. Michel Diaz, Roberto Canonico, Luis Costa, Serge Fdida, David Hutchison, Laurent Mathy, Andreas Meissner, Stéphane Owezarski, Rolland Vida, Lars C. Wolf
    GCAP: A New Multimedia Multicast Architecture for QoS. [Citation Graph (0, 0)][DBLP]
    PROMS, 2001, pp:103-115 [Conf]
  43. Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda
    An approach for evaluating formal description techniques. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:421-438 [Conf]
  44. Michel Diaz
    Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:465-510 [Conf]
  45. Michel Diaz, Thierry Villemur, François Vernadat
    Formal design of cooperative systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:349-365 [Conf]
  46. Brigitte Pradin-Chezalviel, Michel Diaz
    Axioms of Communication Using Temporal Logic with Past. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:387-399 [Conf]
  47. R. Molva, Michel Diaz, Jean-Michel Ayache
    Observer: a run-time checking tool for local area networks. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:495-506 [Conf]
  48. 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]
  49. Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem
    Cooperative Systems for Information Sharing and Exchange. [Citation Graph (0, 0)][DBLP]
    WETICE, 2001, pp:313-314 [Conf]
  50. David Raymond, Yoneo Yano, Carlos Eduardo Mauad, Veronique Baudin-Thomas, Thierry Gayraud, Michel Diaz, Kazuhide Kanenishi, Kenji Matsuura
    Bringing Mobility to Synchronous Collaborative Activities: Recent Enhancements of the "Platine" Platform. [Citation Graph (0, 0)][DBLP]
    WMTE, 2005, pp:59-61 [Conf]
  51. Christophe Chassot, Michel Diaz, F. Racaru, André Lozes
    Heterogeneity and Signalling in IP Multi Domains. [Citation Graph (0, 0)][DBLP]
    ICNS, 2006, pp:84- [Conf]
  52. Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
    A Structured Peer-to-Peer Method to Discover QoS Enhanced Alternate Paths. [Citation Graph (0, 0)][DBLP]
    ICITA (2), 2005, pp:671-676 [Conf]
  53. Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz
    Multimedia tools supporting the work of distributed synchronous cooperative groups. [Citation Graph (0, 0)][DBLP]
    Cluster Computing, 1999, v:2, n:1, pp:61-74 [Journal]
  54. Michel Diaz
    Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1982, v:6, n:6, pp:419-441 [Journal]
  55. Luis Rojas-Cardenas, Emmanuel Chaput, Laurent Dairaine, Patrick Sénac, Michel Diaz
    Transport of video over partial order connections. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1999, v:31, n:7, pp:709-725 [Journal]
  56. 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]
  57. Michel Diaz, Thierry Villemur
    Membership services and protocols for cooperative frameworks of processes. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1993, v:16, n:9, pp:548-556 [Journal]
  58. David Raymond, Kazuhide Kanenishi, Kenji Matsuura, Véronique Baudin, Thierry Gayraud, Yoneo Yano, Michel Diaz
    A Model for Content and Communication Management in Synchronous Learning. [Citation Graph (0, 0)][DBLP]
    Educational Technology & Society, 2005, v:8, n:3, pp:187-205 [Journal]
  59. Patrick Sénac, Michel Diaz, Alain Léger, Pierre de Saqui-Sannes
    Modeling Logical and Temporal Synchronization in Hypermedia Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Journal on Selected Areas in Communications, 1996, v:14, n:1, pp:84-103 [Journal]
  60. Etienne Roblet, Khalil Drira, Michel Diaz
    Formal design and development of a Corba-based application for cooperative HTML group editing support. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:2, pp:113-127 [Journal]
  61. Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz
    Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java. [Citation Graph (0, 0)][DBLP]
    Multimedia Tools Appl., 2002, v:16, n:1, pp:7-27 [Journal]
  62. 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]
  63. Michel Diaz, Pierre Azéma, Jean-Michel Ayache
    Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1979, v:28, n:3, pp:276-281 [Journal]
  64. Philippe Owezarski, Michel Diaz
    New architecture for enforcing multimedia synchronization in videoconferencing applications. [Citation Graph (0, 0)][DBLP]
    Telecommunication Systems, 1999, v:11, n:1-2, pp:161-185 [Journal]
  65. Paul D. Amer, Christophe Chassot, Thomas J. Connolly, Michel Diaz, Phillip T. Conrad
    Partial-order transport service for multimedia and other applications. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1994, v:2, n:5, pp:440-456 [Journal]
  66. Bernard Berthomieu, Michel Diaz
    Modeling and Verification of Time Dependent Systems Using Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:3, pp:259-273 [Journal]
  67. 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]
  68. Guillaume Auriol, Christophe Chassot, Michel Diaz
    Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2004, v:23, n:9, pp:1137-1159 [Journal]
  69. Olivier Dugeon, D. Morris, Edmundo Monteiro, Wojciech Burakowski, M. Diaz
    End to End Quality of Service over Heterogeneous Networks EuQoS. [Citation Graph (0, 0)][DBLP]
    Net-Con, 2005, pp:87-101 [Conf]
  70. Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
    A Proactive Scheme for QoS Enhanced Alternate Path Discovery in a Super-Peer Architecture. [Citation Graph (0, 0)][DBLP]
    GLOBECOM, 2006, pp:- [Conf]
  71. Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
    SPAD: A distributed middleware architecture for QoS enhanced alternate path discovery. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:14, pp:4189-4211 [Journal]

  72. STAMP: Towards A Scalable Topology Announcement and Management Protocol. [Citation Graph (, )][DBLP]

  73. A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths. [Citation Graph (, )][DBLP]

  74. A New Approximation Model for Guaranteed QoS Information Aggregation. [Citation Graph (, )][DBLP]

  75. An opportunistic indoors positioning scheme based on estimated positions. [Citation Graph (, )][DBLP]

  76. Hypermedia Document Design Using the HTSPN Model. [Citation Graph (, )][DBLP]

  77. Models for Enforcing Multimedia Synchronization in Visioconference Applications. [Citation Graph (, )][DBLP]

  78. User Profile-Based Authorization Policies for Network QoS Services. [Citation Graph (, )][DBLP]

  79. Quality of Service Specifications: A Semantic Approach. [Citation Graph (, )][DBLP]

  80. A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks. [Citation Graph (, )][DBLP]

  81. A novel Middleware for the Mobility Management Over the Internet. [Citation Graph (, )][DBLP]

  82. Mobile TFRC: a congestion control for WLANs. [Citation Graph (, )][DBLP]

  83. Optimization of WiMax modulation scheme with a cross layer erasure code. [Citation Graph (, )][DBLP]

  84. Cross-layer based erasure code to reduce the 802.11 performance anomaly: when FEC meets ARF. [Citation Graph (, )][DBLP]

  85. Barycentric Location Estimation for Indoors Localization in Opportunistic Wireless Networks. [Citation Graph (, )][DBLP]

  86. Inter-domain QoS signaling under mobility. [Citation Graph (, )][DBLP]

  87. Path prediction for resource reservation between mobile nodes. [Citation Graph (, )][DBLP]

  88. EuQoS: End-to-End Quality of Service over Heterogeneous Networks. [Citation Graph (, )][DBLP]

Search in 0.007secs, Finished in 0.011secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002