Michel Diaz

Anh Dung Nguyen, Patrick Sénac, Michel Diaz: Understanding and modeling the small-world phenomenon in dynamic networks. MSWiM 2012: 377-384

Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz: Pervasive Intelligent Routing in Content Centric Delay Tolerant Networks. DASC 2011: 178-185

Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz: Swarm-based intelligent routing (SIR): a new approach for efficient routing in content centric delay tolerant networks. MOBIWAC 2011: 137-142

Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz: STEPS - An Approach for Human Mobility Modeling. Networking (1) 2011: 254-265

Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz: A Path Selection Criterion for Advance Resource Reservation. NTMS 2011: 1-5

Ernesto Exposito, Christophe Chassot, Michel Diaz: Knowledge Base for an Autonomic Transport Layer. WWIC 2011: 174-185

Emmanuel Conchon, Tanguy Pérennou, Johan Garcia, Michel Diaz: W-NINE: A Two-Stage Emulation Platform for Mobile and Wireless Systems. EURASIP J. Wireless Comm. and Networking 2010 (2010)

Dimiter R. Avresky, Michel Diaz, Arndt Bode, Bruno Ciciani, Eliezer Dekel (Eds.): Cloud Computing - First International Conference, CloudComp 2009, Munich, Germany, October 19-21, 2009 Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 34, Springer 2010, isbn 978-3-642-12635-2

Enzo Mingozzi, Giovanni Stea, María Ángeles Callejo-Rodríguez, José Enríquez-Gabeiras, Gerardo García-de-Blas, Francisco Javier Ramón-Salguero, Wojciech Burakowski, Andrzej Beben, Jaroslaw Sliwinski, Halina Tarasiuk, Olivier Dugeon, Michel Diaz, Laurent Baresse, Edmundo Monteiro: EuQoS: End-to-End Quality of Service over Heterogeneous Networks. Computer Communications 32(12): 1355-1370 (2009)

GuoDong Kang, Tanguy Pérennou, Michel Diaz: An opportunistic indoors positioning scheme based on estimated positions. ISCC 2009: 844-850

Achilles Colombo Prudencio, Roberto Willrich, Michel Diaz, Saïd Tazi: Quality of Service Specifications: A Semantic Approach. NCA 2009: 219-226

Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz: Path prediction for resource reservation between mobile nodes. WCNC 2009: 2073-2078

Lei Zhang, Patrick Sénac, Roksana Boreli, Michel Diaz: Optimization of WiMax modulation scheme with a cross layer erasure code. WOWMOM 2009: 1-9

Walid Htira, Olivier Dugeon, Michel Diaz: STAMP: Towards A Scalable Topology Announcement and Management Protocol. AINA 2008: 683-690

GuoDong Kang, Tanguy Pérennou, Michel Diaz: Barycentric Location Estimation for Indoors Localization in Opportunistic Wireless Networks. FGCN (1) 2008: 220-225

Lei Zhang, Patrick Sénac, Emmanuel Lochin, Jérôme Lacan, Michel Diaz: Cross-layer based erasure code to reduce the 802.11 performance anomaly: when FEC meets ARF. MOBIWAC 2008: 119-124

Julio Cesar Royer, Roberto Willrich, Michel Diaz: User Profile-Based Authorization Policies for Network QoS Services. NCA 2008: 68-75

Walid Htira, Olivier Dugeon, Michel Diaz: A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks. Networking 2008: 482-493

Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz: Inter-domain QoS signaling under mobility. NOMS 2008: 855-858

Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz: Mobile TFRC: a congestion control for WLANs. WOWMOM 2008: 1-4

Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz: A novel Middleware for the Mobility Management Over the Internet. WOWMOM 2008: 1-3

Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: SPAD: A distributed middleware architecture for QoS enhanced alternate path discovery. Computer Networks 51(14): 4189-4211 (2007)

Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths. COMSWARE 2007

Walid Htira, Olivier Dugeon, Michel Diaz: A New Approximation Model for Guaranteed QoS Information Aggregation. ISCC 2007: 927-934

Emmanuel Conchon, Johan Garcia, Tanguy Pérennou, Michel Diaz: Improved IP-Level Emulation for Mobile and Wireless Systems. WCNC 2007: 3592-3597

Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: A Proactive Scheme for QoS Enhanced Alternate Path Discovery in a Super-Peer Architecture. GLOBECOM 2006

Christophe Chassot, Michel Diaz, Florin Racaru, André Lozes: Heterogeneity and Signalling in IP Multi Domains. ICNS 2006: 84

Christophe Chassot, André Lozes, Florin Racaru, Michel Diaz: Signalling Concepts in Heterogeneous IP Multi-domains Networks. NEW2AN 2006: 259-270

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. Educational Technology & Society 8(3): 187-205 (2005)

Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: A Structured Peer-to-Peer Method to Discover QoS Enhanced Alternate Paths. ICITA (2) 2005: 671-676

Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: Enhancing QoS Through Alternate Path: An End-to-End Framework. ICN (1) 2005: 125-132

Olivier Dugeon, D. Morris, Edmundo Monteiro, Wojciech Burakowski, Michel Diaz: End to End Quality of Service over Heterogeneous Networks EuQoS. Net-Con 2005: 87-101

Ernesto Exposito, Patrick Sénac, Michel Diaz: Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms. MMM 2005: 413-420

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. WMTE 2005: 59-61

Michel Diaz, Arturo Azcorra, Philippe Owezarski, Serge Fdida (Eds.): Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005. ACM 2005, isbn 1-59593-197-X

Guillaume Auriol, Christophe Chassot, Michel Diaz: Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés. Technique et Science Informatiques 23(9): 1137-1159 (2004)

Ernesto Exposito, Michel Diaz, Patrick Sénac: Design Principles of a QoS-Oriented Transport Protocol. INTELLCOMM 2004: 151-159

Ernesto Exposito, Patrick Sénac, Michel Diaz: UML-SDL modelling of the FPTP QoS oriented transport protocol. MMM 2004: 153-160

Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz: XQOS: XML-based QoS Specification Language. MMM 2003: 114-134

Christophe Chassot, Guillaume Auriol, Michel Diaz: Automatic Management of the QoS within an Architecture Integrating New Transport and IP Services in a DiffServ Internet. MMNS 2003: 286-299

Pascal Berthou, Thierry Gayraud, Olivier Alphand, C. Prudhommeaux, Michel Diaz: A multimedia architecture for 802.11b networks. WCNC 2003: 1742-1747

Pascal Berthou, Thierry Gayraud, Philippe Owezarski, Michel Diaz: Multimedia multi-networking: A new concept. Annales des Télécommunications 57(7-8): 721-750 (2002)

Etienne Roblet, Khalil Drira, Michel Diaz: Formal design and development of a Corba-based application for cooperative HTML group editing support. Journal of Systems and Software 60(2): 113-127 (2002)

Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz: Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java. Multimedia Tools Appl. 16(1): 7-27 (2002)

Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz: XQOS: A Quality of Service Specification Language. ICWI 2002: 648-652

Michel Diaz: Architecture and Design of New Multimedia Multicast Protocols. ICNP 2002

Ernesto Exposito, Patrick Sénac, David Garduno, Michel Diaz, Manuel Urueña: Deploying New QoS Aware Transport Services. IDMS/PROMS 2002: 141-153

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. IDMS/PROMS 2002: 353-364

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. IDMS 2001: 86-98

Patrick Sénac, Ernesto Exposito, Michel Diaz: Towards a New Generation of Generic Transport Protocols. IWDC 2001: 492-506

Saúl E. Pomares Hernández, Jean Fanchon, Khalil Drira, Michel Diaz: Causal Broadcast Protocol for Very Large Group Communication Systems. OPODIS 2001: 175-188

Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz: Services, Methodologies and Platforms for Cooperative Environments. OPODIS 2001: 213-234

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. PROMS 2001: 103-115

Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem: Cooperative Systems for Information Sharing and Exchange. WETICE 2001: 313-314

Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz: A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. EUROMICRO 2000: 2158-2165

Thierry Gayraud, Pascal Berthou, Philippe Owezarski, Michel Diaz: M3POC: A Multimedia Multicast Transport Protocol for Cooperative Applications. IEEE International Conference on Multimedia and Expo (III) 2000: 1627-1630

Ludovic Apvrille, Laurent Dairaine, Patrick Sénac, Luis Rojas-Cardenas, Michel Diaz: Implementing a User Level Multimedia Transport Protocol in Java. ISCC 2000: 410-416

Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, Michel Diaz: Towards a new generation of transport services adapted to multimedia applications. Annales des Télécommunications 54(11-12): 550-564 (1999)

Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz: Multimedia tools supporting the work of distributed synchronous cooperative groups. Cluster Computing 2(1): 61-74 (1999)

Luis Rojas-Cardenas, Emmanuel Chaput, Laurent Dairaine, Patrick Sénac, Michel Diaz: Transport of video over partial order connections. Computer Networks 31(7): 709-725 (1999)

Philippe Owezarski, Michel Diaz: New architecture for enforcing multimedia synchronization in videoconferencing applications. Telecommunication Systems 11(1-2): 161-185 (1999)

Khalil Drira, Frédéric Gouëzec, Michel Diaz: A Cooperation Service for CORBA Objects. From the Model to the Applications. Euro-Par 1999: 769-776

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. FMOODS 1999

Thierry Villemur, Khalil Drira, Michel Diaz: Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. FTDCS 1999: 119-124

Luis Rojas-Cardenas, Laurent Dairaine, Patrick Sénac, Michel Diaz: An Adaptive Transport Service for Multimedia Streams. ICMCS, Vol. 2 1999: 414-419

Thierry Villemur, Michel Diaz: A Collaborative Membership Service and Protocol for Structured Groups. PDPTA 1999: 2115-2121

Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (Eds.): Application of Petri Nets to Communication Networks, Advances in Petri Nets. Lecture Notes in Computer Science 1605, Springer 1999, isbn 3-540-65870-X

Michel Diaz, Philippe Owezarski, Patrick Sénac (Eds.): Interactive Distributed Multimedia Systems and Telecommunication Services, 6th International Workshop, IDMS '99, Toulouse, France, October 12-15, 1999, Proceedings. Lecture Notes in Computer Science 1718, Springer 1999, isbn 3-540-66595-1

Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz: An Integrated Platform for Cooperative Teleteaching. IDMS 1998: 59-70

Marc Boyer, Philippe Owezarski, Michel Diaz: Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. IDMS 1998: 171-182

Thierry Villemur, Philippe Owezarski, Michel Diaz: N-TSVS: a Videoconference Tool for Generic Cooperative Groups. MMM 1998: 102-111

Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, Michel Diaz: Temporal Partial Order and Partial Reliability Service for Distributed Multimedia Applications. MMM 1998: 119-129

Michel Fournier, Christophe Chassot, Michel Diaz, André Lozes: Performance evaluations of partial order connections. HPN 1997: 232-246

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)

Christophe Chassot, Michel Diaz, André Lozes: From the partial order connection concept to partial order multimedia transport connections. J. High Speed Networks 5(2): 181-191 (1996)

Patrick Sénac, Michel Diaz, Alain Léger, Pierre de Saqui-Sannes: Modeling Logical and Temporal Synchronization in Hypermedia Systems. IEEE Journal on Selected Areas in Communications 14(1): 84-103 (1996)

Roberto Willrich, Patrick Sénac, Michel Diaz, Pierre de Saqui-Sannes: A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents. ICMCS 1996: 399-406

Philippe Owezarski, Michel Diaz: Models for Enforcing Multimedia Synchronization in Visioconference Applications. MMM 1996: 85-100

Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz: Hypermedia Document Design Using the HTSPN Model. MMM 1996: 151-166

Michel Fournier, Christophe Chassot, André Lozes, Michel Diaz: Multimedia partial order transport architecture: design and implementation. Protocols for High-Speed Networks 1996: 91-106

Christophe Chassot, Michel Fournier, Michel Diaz, André Lozes: Service Definition of a Multimedia Partial Order Connection. COST 237 Workshop 1995: 118-137

Michel Diaz, Khalil Drira, André Lozes, Christophe Chassot: On the definition and representation of the quality of service for multimedia systems. HPN 1995: 116-128

Emmanuel Chaput, Patrick Sénac, Michel Diaz: Introducing Multimedia Synchronization into the World-Wide Web. MMNET 1995: 185-191

Michel Diaz, Thierry Villemur, François Vernadat: Formal design of cooperative systems. PSTV 1995: 349-365

Giorgio De Michelis, Michel Diaz (Eds.): Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Lecture Notes in Computer Science 935, Springer 1995, isbn 3-540-60029-9

Paul D. Amer, Christophe Chassot, Thomas J. Connolly, Michel Diaz, Phillip T. Conrad: Partial-order transport service for multimedia and other applications. IEEE/ACM Trans. Netw. 2(5): 440-456 (1994)

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)

Michel Diaz, Patrick Sénac: Time Stream Petri Nets: A Model for Timed Multimedia Information. Application and Theory of Petri Nets 1994: 219-238

Michel Diaz, Thierry Villemur: Membership services and protocols for cooperative frameworks of processes. Computer Communications 16(9): 548-556 (1993)

Paul D. Amer, Thomas J. Connolly, Christophe Chassot, Michel Diaz: Partial Order Transport Service for Multimedia Applications: Reliable Service. HPDC 1993: 272-280

Michel Diaz, Roland Groz (Eds.): Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992. IFIP Transactions C-10, North-Holland 1993, isbn 0-444-89282-6

Bernard Berthomieu, Michel Diaz: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. 17(3): 259-273 (1991)

Jean-Pierre Courtiat, Michel Diaz: Time in State Based Formal Description Techniques for Distributed Systems. REX Workshop 1991: 149-175

Michel Diaz, Jean Dufau, Roland Groz: Experiences Using Estelle Within SEDOS Estelle Demonstrator. FORTE 1989: 455-470

Brigitte Pradin-Chezalviel, Michel Diaz: Axioms of Communication Using Temporal Logic with Past. PSTV 1989: 387-399

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

Michel Diaz: Petri Nets Based Models in the Specification and Verification of Protocols. Advances in Petri Nets 1986: 135-170

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. PSTV 1985: 421-438

R. Molva, Michel Diaz, Jean-Michel Ayache: Observer: a run-time checking tool for local area networks. PSTV 1985: 495-506

Michel Diaz (Ed.): Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. North-Holland 1985, isbn 0-444-87881-5

Michel Diaz, Pierre Azéma: Petri net based models for the specification and validation of protocols. European Workshop on Applications and Theory in Petri Nets 1984: 101-121

Michel Diaz, Géraldo Guidacci Da Silveira: Specification and Validation of Protocols by Temporal Logic and Nets. IFIP Congress 1983: 47-52

Michel Diaz: Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. Computer Networks 6(6): 419-441 (1982)

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)

Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz: Self-Checking software in distributed systems. ICDCS 1982: 163-170

Michel Diaz: Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. PSTV 1982: 465-510

Jean-Michel Ayache, Pierre Azéma, Michel Diaz: Towards Fault Tolerant Real Time Systems by Using Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 228-233

Michel Diaz, Pierre Azéma, Jean-Michel Ayache: Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. IEEE Trans. Computers 28(3): 276-281 (1979)

Pierre Azéma, Robert Valette, Michel Diaz: Petri nets as a common tool for design verification and hardware simulation. DAC 1976: 109-116