On-Set Realization of Fail-Safe Sequential Machines. - Michel Diaz; Jean Claude Geffroy; Marc Courvoisier (IEEE Trans. Computers, 1974)

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

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

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

Self-Checking software in distributed systems. - Jean-Michel Ayache; Jean-Pierre Courtiat; Michel Diaz (ICDCS, 1982)

Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. - Michel Diaz (PSTV, 1982)

Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. - Michel Diaz (Comput. Networks, 1982)

REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. - Jean-Michel Ayache; Jean-Pierre Courtiat; Michel Diaz (IEEE Trans. Computers, 1982)

Specification and Validation of Protocols by Temporal Logic and Nets. - Michel Diaz; Géraldo Guidacci Da Silveira (IFIP Congress, 1983)

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

An approach for evaluating formal description techniques. - 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; et al. (PSTV, 1985)

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

Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems. - Michel Diaz; Jean-Pierre Courtiat; Aloysio Pedroza (Current Trends in Concurrency, 1986)

Petri Nets Based Models in the Specification and Verification of Protocols. - Michel Diaz (Advances in Petri Nets, 1986)

Experiences Using Estelle Within SEDOS Estelle Demonstrator. - Michel Diaz; Jean Dufau; Roland Groz (FORTE, 1989)

Axioms of Communication Using Temporal Logic with Past. - Brigitte Pradin-Chezalviel; Michel Diaz (PSTV, 1989)

Time in State Based Formal Description Techniques for Distributed Systems. - Jean-Pierre Courtiat; Michel Diaz (REX Workshop, 1991)

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

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

Time Stream Petri Nets: A Model for Multimedia Streams Synchronization. - Michel Diaz; Patrick Sénac (MMM, 1993)

Membership services and protocols for cooperative frameworks of processes. - Michel Diaz; Thierry Villemur (Comput. Commun., 1993)

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

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

Observer-A Concept for Formal On-Line Validation of Distributed Systems. - Michel Diaz; Guy Juanole; Jean-Pierre Courtiat (IEEE Trans. Software Eng., 1994)

Service Definition of a Multimedia Partial Order Connection. - Christophe Chassot; Michel Fournier; Michel Diaz; André Lozes (COST 237 Workshop, 1995)

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

Introducing Multimedia Synchronization into the World-Wide Web. - Emmanuel Chaput; Patrick Sénac; Michel Diaz (MMNET, 1995)

Formal design of cooperative systems. - Michel Diaz; Thierry Villemur; François Vernadat 001 (PSTV, 1995)

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

Models for Enforcing Multimedia Synchronization in Visioconference Applications. - Philippe Owezarski; Michel Diaz (MMM, 1996)

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

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

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems. - Jean-Pierre Courtiat; Michel Diaz; Roberto C. de Oliveira; Patrick Sénac (Comput. Commun., 1996)

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

Modeling Logical and Temporal Synchronization in Hypermedia Systems. - Patrick Sénac; Michel Diaz; Alain Léger; Pierre de Saqui-Sannes (IEEE J. Sel. Areas Commun., 1996)

Performance evaluations of partial order connections. - Michel Fournier; Christophe Chassot; Michel Diaz; André Lozes (HPN, 1997)

From multimedia models to multimedia transport protocols. - Michel Diaz; Philippe Owezarski (Comput. Networks ISDN Syst., 1997)

Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. - Marc Boyer; Philippe Owezarski; Michel Diaz (IDMS, 1998)

An Integrated Platform for Cooperative Teleteaching. - Thierry Villemur; Véronique Baudin; Stéphane Owezarski; Michel Diaz (IDMS, 1998)

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

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

A time-efficient architecture for multimedia applications. - Philippe Owezarski; Michel Diaz; Christophe Chassot (IEEE J. Sel. Areas Commun., 1998)

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

Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA. - Khalil Drira; Frédéric Gouëzec; Michel Diaz (FMOODS, 1999)

Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. - Thierry Villemur; Khalil Drira; Michel Diaz (FTDCS, 1999)

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

A Collaborative Membership Service and Protocol for Structured Groups. - Thierry Villemur; Michel Diaz (PDPTA, 1999)

Non equivalence between time Petri nets and time stream Petri nets. - Marc Boyer; Michel Diaz (PNPM, 1999)

Towards a new generation of transport services adapted to multimedia applications. - Luis Rojas-Cardenas; Patrick Sénac; Laurent Dairaine; Michel Diaz (Ann. des Télécommunications, 1999)

Multimedia tools supporting the work of distributed synchronous cooperative groups. - Thierry Villemur; Véronique Baudin; Stéphane Owezarski; Michel Diaz (Clust. Comput., 1999)

Transport of video over partial order connections. - Luis Rojas-Cardenas; Emmanuel Chaput; Laurent Dairaine; Patrick Sénac; Michel Diaz (Comput. Networks, 1999)

New architecture for enforcing multimedia synchronization in videoconferencing applications. - Philippe Owezarski; Michel Diaz (Telecommun. Syst., 1999)

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

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

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

Conception, Implementation, and Evaluation of a QoS-Based Architecture for an IP Environment Supporting Differentiated Services. - Fabien Garcia; Christophe Chassot; André Lozes; Michel Diaz; Pascal Anelli; Emmanuel Lochin (IDMS, 2001)

Towards a New Generation of Generic Transport Protocols. - Patrick Sénac; Ernesto Exposito; Michel Diaz (IWDC, 2001)

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

Services, Methodologies and Platforms for Cooperative Environments. - Thierry Villemur; Khalil Drira; Véronique Baudin; Michel Diaz (OPODIS, 2001)

Multiple Enabledness of Transitions in Petri Nets with Time. - Marc Boyer; Michel Diaz (PNPM, 2001)

GCAP: A New Multimedia Multicast Architecture for QoS. - Michel Diaz; Roberto Canonico; Luis Costa; Serge Fdida; David Hutchison 001; Laurent Mathy; Andreas Meissner; Stéphane Owezarski; Rolland Vida; Lars C. Wolf (PROMS, 2001)

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

A Design Methodology Applied to Distance Learning Support Software. - Khalil Drira; Thierry Villemur; Véronique Baudin; Michel Diaz (Interact. Learn. Environ., 2001)

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

Architecture and Design of New Multimedia Multicast Protocols. - Michel Diaz (ICNP, 2002)

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

An Active Network Approach to Support Multimedia Relays. - Manuel Urueña; David Larrabeiti; María Calderón; Arturo Azcorra; Jens E. Kristensen; Lars Kroll Kristensen; Ernesto Exposito; David Garduno; Michel Diaz (IDMS/PROMS, 2002)

Supporting distributed experts in e-meetings for synchronous collaboration. - Véronique Baudin; Khalil Drira; Thierry Villernur; Michel Diaz (SMC, 2002)

Multimedia multi-networking: A new concept. - Pascal Berthou; Thierry Gayraud; Philippe Owezarski; Michel Diaz (Ann. des Télécommunications, 2002)

Formal design and development of a Corba-based application for cooperative HTML group editing support. - Etienne Roblet; Khalil Drira; Michel Diaz (J. Syst. Softw., 2002)

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

FPTP: the XQoS aware and fully programmable transport protocol. - Ernesto Exposito; Patrick Sénac; Michel Diaz (ICON, 2003)

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

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

A multimedia architecture for 802.11b networks. - Pascal Berthou; Thierry Gayraud; Olivier Alphand; C. Prudhommeaux; Michel Diaz (WCNC, 2003)

Two-Stage Wireless Network Emulation. - Tanguy Pérennou; Emmanuel Conchon; Laurent Dairaine; Michel Diaz (Broadband Satellite Comunication Systems, 2004)

Design Principles of a QoS-Oriented Transport Protocol. - Ernesto Exposito; Michel Diaz; Patrick Sénac (INTELLCOMM, 2004)

Distant e-learning using synchronous collaborative environment "Platine". - David Raymond; Véronique Baudin-Thomas; Kazuhide Kanenishi; Thierry Gayraud; Kenji Matsuura; Michel Diaz; Yoneo Yano (ISMSE, 2004)

UML-SDL modelling of the FPTP QoS oriented transport protocol. - Ernesto Exposito; Patrick Sénac; Michel Diaz (MMM, 2004)

Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés. - Guillaume Auriol; Christophe Chassot; Michel Diaz (Tech. Sci. Informatiques, 2004)

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

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

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

Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms. - Ernesto Exposito; Patrick Sénac; Michel Diaz (MMM, 2005)

Bringing Mobility to Synchronous Collaborative Activities: Recent Enhancements of the "Platine" Platform. - David Raymond; Yoneo Yano; Carlos Eduardo Mauad; Véronique Baudin-Thomas; Thierry Gayraud; Michel Diaz; Kazuhide Kanenishi; Kenji Matsuura (WMTE, 2005)

A Model for Content and Communication Management in Synchronous Learning. - David Raymond; Kazuhide Kanenishi; Kenji Matsuura; Véronique Baudin; Thierry Gayraud; Yoneo Yano; Michel Diaz (J. Educ. Technol. Soc., 2005)

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

Heterogeneity and Signalling in IP Multi Domains. - Christophe Chassot; Michel Diaz; Florin Racaru; André Lozes (ICNS, 2006)

Signalling Concepts in Heterogeneous IP Multi-domains Networks. - Christophe Chassot; André Lozes; Florin Racaru; Michel Diaz (NEW2AN, 2006)

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

A New Approximation Model for Guaranteed QoS Information Aggregation. - Walid Htira; Olivier Dugeon; Michel Diaz (ISCC, 2007)

An Aggregated Delay|Bandwidth Star Scheme for Admission Control. - Walid Htira; Olivier Dugeon; Michel Diaz (PIMRC, 2007)

Improved IP-Level Emulation for Mobile and Wireless Systems. - Emmanuel Conchon; Johan Garcia 001; Tanguy Pérennou; Michel Diaz (WCNC, 2007)

The EuQoS system: a solution for QoS routing in heterogeneous networks [Quality of Service based Routing Algorithms for Heterogeneous Networks]. - Xavier Masip-Bruin; Marcelo Yannuzzi; René Serral-Gracià; Jordi Domingo-Pascual; José Enríquez-Gabeiras; María Ángeles Callejo-Rodríguez; Michel Diaz; Florin Racaru; Giovanni Stea; Enzo Mingozzi; Andrzej Beben; Wojciech Burakowski; et al. (IEEE Commun. Mag., 2007)

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

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

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

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

User Profile-Based Authorization Policies for Network QoS Services. - Julio Cesar Royer; Roberto Willrich; Michel Diaz (NCA, 2008)

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

Inter-domain QoS signaling under mobility. - Eraldo Silveira e Silva; Florin Racaru; Jean-Marie Farines; Michel Diaz (NOMS, 2008)

Cross-layer based congestion control for WLANs. - Lei Zhang 048; Patrick Sénac; Emmanuel Lochin; Michel Diaz (QSHINE, 2008)

Mobile TFRC: a congestion control for WLANs. - Lei Zhang 048; Patrick Sénac; Emmanuel Lochin; Michel Diaz (WOWMOM, 2008)

A novel Middleware for the Mobility Management Over the Internet. - Lei Zhang 048; Patrick Sénac; Emmanuel Lochin; Michel Diaz (WOWMOM, 2008)

An opportunistic indoors positioning scheme based on estimated positions. - GuoDong Kang; Tanguy Pérennou; Michel Diaz (ISCC, 2009)

Quality of Service Specifications: A Semantic Approach. - Achilles Colombo Prudêncio; Roberto Willrich; Michel Diaz; Saïd Tazi 001 (NCA, 2009)

Path prediction for resource reservation between mobile nodes. - Eraldo Silveira e Silva; Jean-Marie Farines; Michel Diaz (WCNC, 2009)

Optimization of WiMax modulation scheme with a cross layer erasure code. - Lei Zhang 048; Patrick Sénac; Roksana Boreli; Michel Diaz (WOWMOM, 2009)

EuQoS: End-to-End Quality of Service over Heterogeneous Networks. - 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; et al. (Comput. Commun., 2009)

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

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

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

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

A Path Selection Criterion for Advance Resource Reservation. - Eraldo Silveira e Silva; Jean-Marie Farines; Michel Diaz (NTMS, 2011)

Knowledge Base for an Autonomic Transport Layer. - Ernesto Exposito; Christophe Chassot; Michel Diaz (WWIC, 2011)

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

On the impact of disorder on dynamic network navigation. - Anh Dung Nguyen; Patrick Sénac; Michel Diaz (INFOCOM, 2013)

Supporting end-to-end internet QoS for DDS-based large-scale distributed simulation. - Akram Hakiri; Pascal Berthou; Slim Abdellatif; Michel Diaz; Thierry Gayraud (SIGSIM-PADS, 2013)

How disorder impacts routing in human-centric disruption tolerant networks. - Anh Dung Nguyen; Patrick Sénac; Michel Diaz (FhMN@SIGCOMM, 2013)

ATP: A Microprotocol Approach to Autonomic Communication. - Nicolas Van Wambeke; Ernesto Exposito; Christophe Chassot; Michel Diaz (IEEE Trans. Computers, 2013)

A cross-layer architecture to improve mobile host rate performance and to solve unfairness problem in WLANs. - Lei Zhang 048; Patrick Sénac; Emmanuel Lochin; Michel Diaz (Telecommun. Syst., 2013)

Towards resilient cyber-physical systems: The ADREAM project. - Jean Arlat; Michel Diaz; Mohamed Kaâniche (DTIS, 2014)

Modelling mobile opportunistic networks - From mobility to structural and behavioural analysis. - Anh Dung Nguyen; Patrick Sénac; Michel Diaz (Ad Hoc Networks, 2015)

Modelling Time Using Petri Nets. - Michel Diaz (Carl Adam Petri: Ideas, Personality, Impact, 2019)