Michel Diaz - RankMe

132 papers A* 2A 5B 23C 11Misc 1Journal 30Unranked 53

Year	Rank	Type	Title / Venue / Authors
2019	—	`ch.`	Modelling Time Using Petri Nets. Carl Adam Petri: Ideas, Personality, Impact Michel Diaz
2015	J	`jnl`	Modelling mobile opportunistic networks - From mobility to structural and behavioural analysis. Ad Hoc Networks Anh Dung Nguyen, Patrick Sénac, Michel Diaz
2014	—	`conf`	Towards resilient cyber-physical systems: The ADREAM project. DTIS Jean Arlat, Michel Diaz, Mohamed Kaâniche
2013	J	`jnl`	A cross-layer architecture to improve mobile host rate performance and to solve unfairness problem in WLANs. Telecommun. Syst. Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz
2013	J	`jnl`	ATP: A Microprotocol Approach to Autonomic Communication. IEEE Trans. Computers Nicolas Van Wambeke, Ernesto Exposito, Christophe Chassot, Michel Diaz
2013	—	`conf`	How disorder impacts routing in human-centric disruption tolerant networks. FhMN@SIGCOMM Anh Dung Nguyen, Patrick Sénac, Michel Diaz
2013	A*	`conf`	On the impact of disorder on dynamic network navigation. INFOCOM Anh Dung Nguyen, Patrick Sénac, Michel Diaz
2013	—	`conf`	On the impact of disorder on dynamic network navigation. INFOCOM Workshops Anh Dung Nguyen, Patrick Sénac, Michel Diaz
2013	—	`conf`	Supporting end-to-end internet QoS for DDS-based large-scale distributed simulation. SIGSIM-PADS Akram Hakiri, Pascal Berthou, Slim Abdellatif, Michel Diaz, Thierry Gayraud
2012	A	`conf`	Understanding and modeling the small-world phenomenon in dynamic networks. MSWiM Anh Dung Nguyen, Patrick Sénac, Michel Diaz
2011	—	`conf`	A Path Selection Criterion for Advance Resource Reservation. NTMS Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz
2011	—	`conf`	Knowledge Base for an Autonomic Transport Layer. WWIC Ernesto Exposito, Christophe Chassot, Michel Diaz
2011	C	`conf`	Pervasive Intelligent Routing in Content Centric Delay Tolerant Networks. DASC Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz
2011	B	`conf`	STEPS - An Approach for Human Mobility Modeling. Networking (1) Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz
2011	—	`conf`	Swarm-based intelligent routing (SIR): a new approach for efficient routing in content centric delay tolerant networks. MOBIWAC Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz
2010	—	`ed.`	Cloud Computing - First International Conference, CloudComp 2009, Munich, Germany, October 19-21, 2009 Revised Selected Papers CloudComp Dimiter R. Avresky, Michel Diaz, Arndt Bode, Bruno Ciciani, Eliezer Dekel
2010	J	`jnl`	W-NINE: A Two-Stage Emulation Platform for Mobile and Wireless Systems. EURASIP J. Wirel. Commun. Netw. Emmanuel Conchon, Tanguy Pérennou, Johan Garcia, Michel Diaz
2009	C	`conf`	An opportunistic indoors positioning scheme based on estimated positions. ISCC GuoDong Kang, Tanguy Pérennou, Michel Diaz
2009	J	`jnl`	EuQoS: End-to-End Quality of Service over Heterogeneous Networks. Comput. Commun. 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
2009	C	`conf`	Optimization of WiMax modulation scheme with a cross layer erasure code. WOWMOM Lei Zhang, Patrick Sénac, Roksana Boreli, Michel Diaz
2009	B	`conf`	Path prediction for resource reservation between mobile nodes. WCNC Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz
2009	B	`conf`	Quality of Service Specifications: A Semantic Approach. NCA Achilles Colombo Prudêncio, Roberto Willrich, Michel Diaz, Saïd Tazi
2008	B	`conf`	A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay\|Bandwidth Sensitive Networks. Networking Walid Htira, Olivier Dugeon, Michel Diaz
2008	C	`conf`	A novel Middleware for the Mobility Management Over the Internet. WOWMOM Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz
2008	—	`conf`	Barycentric Location Estimation for Indoors Localization in Opportunistic Wireless Networks. FGCN (1) GuoDong Kang, Tanguy Pérennou, Michel Diaz
2008	C	`conf`	Cross-layer based congestion control for WLANs. QSHINE Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz
2008	—	`conf`	Cross-layer based erasure code to reduce the 802.11 performance anomaly: when FEC meets ARF. MOBIWAC Lei Zhang, Patrick Sénac, Emmanuel Lochin, Jérôme Lacan, Michel Diaz
2008	B	`conf`	Inter-domain QoS signaling under mobility. NOMS Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz
2008	C	`conf`	Mobile TFRC: a congestion control for WLANs. WOWMOM Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz
2008	B	`conf`	STAMP: Towards A Scalable Topology Announcement and Management Protocol. AINA Walid Htira, Olivier Dugeon, Michel Diaz
2008	B	`conf`	User Profile-Based Authorization Policies for Network QoS Services. NCA Julio Cesar Royer, Roberto Willrich, Michel Diaz
2007	C	`conf`	A New Approximation Model for Guaranteed QoS Information Aggregation. ISCC Walid Htira, Olivier Dugeon, Michel Diaz
2007	—	`conf`	A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths. COMSWARE Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
2007	B	`conf`	An Aggregated Delay\|Bandwidth Star Scheme for Admission Control. PIMRC Walid Htira, Olivier Dugeon, Michel Diaz
2007	B	`conf`	Improved IP-Level Emulation for Mobile and Wireless Systems. WCNC Emmanuel Conchon, Johan Garcia, Tanguy Pérennou, Michel Diaz
2007	J	`jnl`	SPAD: A distributed middleware architecture for QoS enhanced alternate path discovery. Comput. Networks Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
2007	J	`jnl`	The EuQoS system: a solution for QoS routing in heterogeneous networks [Quality of Service based Routing Algorithms for Heterogeneous Networks]. IEEE Commun. Mag. 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, Edmundo Monteiro, Luís Cordeiro
2006	B	`conf`	A Proactive Scheme for QoS Enhanced Alternate Path Discovery in a Super-Peer Architecture. GLOBECOM Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
2006	—	`conf`	Heterogeneity and Signalling in IP Multi Domains. ICNS Christophe Chassot, Michel Diaz, Florin Racaru, André Lozes
2006	—	`conf`	Signalling Concepts in Heterogeneous IP Multi-domains Networks. NEW2AN Christophe Chassot, André Lozes, Florin Racaru, Michel Diaz
2005	J	`jnl`	A Model for Content and Communication Management in Synchronous Learning. J. Educ. Technol. Soc. David Raymond, Kazuhide Kanenishi, Kenji Matsuura, Véronique Baudin, Thierry Gayraud, Yoneo Yano, Michel Diaz
2005	—	`conf`	A Structured Peer-to-Peer Method to Discover QoS Enhanced Alternate Paths. ICITA (2) Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
2005	—	`conf`	Bringing Mobility to Synchronous Collaborative Activities: Recent Enhancements of the "Platine" Platform. WMTE David Raymond, Yoneo Yano, Carlos Eduardo Mauad, Véronique Baudin-Thomas, Thierry Gayraud, Michel Diaz, Kazuhide Kanenishi, Kenji Matsuura
2005	B	`conf`	Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms. MMM Ernesto Exposito, Patrick Sénac, Michel Diaz
2005	—	`conf`	End to End Quality of Service over Heterogeneous Networks Net-Con Olivier Dugeon, D. Morris, Edmundo Monteiro, Wojciech Burakowski, Michel Diaz
2005	—	`conf`	Enhancing QoS Through Alternate Path: An End-to-End Framework. ICN (1) Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz
2005	A	`ed.`	Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005 CoNEXT Michel Diaz, Arturo Azcorra, Philippe Owezarski, Serge Fdida
2004	J	`jnl`	Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés. Tech. Sci. Informatiques Guillaume Auriol, Christophe Chassot, Michel Diaz
2004	—	`conf`	Design Principles of a QoS-Oriented Transport Protocol. INTELLCOMM Ernesto Exposito, Michel Diaz, Patrick Sénac
2004	—	`conf`	Distant e-learning using synchronous collaborative environment "Platine". ISMSE David Raymond, Véronique Baudin-Thomas, Kazuhide Kanenishi, Thierry Gayraud, Kenji Matsuura, Michel Diaz, Yoneo Yano
2004	—	`conf`	Two-Stage Wireless Network Emulation. Broadband Satellite Comunication Systems Tanguy Pérennou, Emmanuel Conchon, Laurent Dairaine, Michel Diaz
2004	B	`conf`	UML-SDL modelling of the FPTP QoS oriented transport protocol. MMM Ernesto Exposito, Patrick Sénac, Michel Diaz
2003	B	`conf`	A multimedia architecture for 802.11b networks. WCNC Pascal Berthou, Thierry Gayraud, Olivier Alphand, C. Prudhommeaux, Michel Diaz
2003	—	`conf`	Automatic Management of the QoS within an Architecture Integrating New Transport and IP Services in a DiffServ Internet. MMNS Christophe Chassot, Guillaume Auriol, Michel Diaz
2003	—	`conf`	FPTP: the XQoS aware and fully programmable transport protocol. ICON Ernesto Exposito, Patrick Sénac, Michel Diaz
2003	B	`conf`	XQOS: XML-based QoS Specification Language. MMM Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz
2002	—	`conf`	An Active Network Approach to Support Multimedia Relays. IDMS/PROMS Manuel Urueña, David Larrabeiti, María Calderón, Arturo Azcorra, Jens E. Kristensen, Lars Kroll Kristensen, Ernesto Exposito, David Garduno, Michel Diaz
2002	B	`conf`	Architecture and Design of New Multimedia Multicast Protocols. ICNP Michel Diaz
2002	—	`conf`	Deploying New QoS Aware Transport Services. IDMS/PROMS Ernesto Exposito, Patrick Sénac, David Garduno, Michel Diaz, Manuel Urueña
2002	J	`jnl`	Formal design and development of a Corba-based application for cooperative HTML group editing support. J. Syst. Softw. Etienne Roblet, Khalil Drira, Michel Diaz
2002	J	`jnl`	Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java. Multim. Tools Appl. Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz
2002	J	`jnl`	Multimedia multi-networking: A new concept. Ann. des Télécommunications Pascal Berthou, Thierry Gayraud, Philippe Owezarski, Michel Diaz
2002	B	`conf`	Supporting distributed experts in e-meetings for synchronous collaboration. SMC Véronique Baudin, Khalil Drira, Thierry Villernur, Michel Diaz
2002	—	`conf`	XQOS: A Quality of Service Specification Language. ICWI Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz
2001	J	`jnl`	A Design Methodology Applied to Distance Learning Support Software. Interact. Learn. Environ. Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz
2001	B	`conf`	Causal Broadcast Protocol for Very Large Group Communication Systems. OPODIS Saúl E. Pomares Hernández, Jean Fanchon, Khalil Drira, Michel Diaz
2001	—	`conf`	Conception, Implementation, and Evaluation of a QoS-Based Architecture for an IP Environment Supporting Differentiated Services. IDMS Fabien Garcia, Christophe Chassot, André Lozes, Michel Diaz, Pascal Anelli, Emmanuel Lochin
2001	C	`conf`	Cooperative Systems for Information Sharing and Exchange. WETICE Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem
2001	—	`conf`	GCAP: A New Multimedia Multicast Architecture for QoS. PROMS Michel Diaz, Roberto Canonico, Luis Costa, Serge Fdida, David Hutchison, Laurent Mathy, Andreas Meissner, Stéphane Owezarski, Rolland Vida, Lars C. Wolf
2001	—	`conf`	Multiple Enabledness of Transitions in Petri Nets with Time. PNPM Marc Boyer, Michel Diaz
2001	B	`conf`	Services, Methodologies and Platforms for Cooperative Environments. OPODIS Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz
2001	—	`conf`	Towards a New Generation of Generic Transport Protocols. IWDC Patrick Sénac, Ernesto Exposito, Michel Diaz
2000	—	`conf`	A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. EUROMICRO Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz
2000	C	`conf`	Implementing a User Level Multimedia Transport Protocol in Java. ISCC Ludovic Apvrille, Laurent Dairaine, Patrick Sénac, Luis Rojas-Cardenas, Michel Diaz
2000	A	`conf`	M3POC: A Multimedia Multicast Transport Protocol for Cooperative Applications. IEEE International Conference on Multimedia and Expo (III) Thierry Gayraud, Pascal Berthou, Philippe Owezarski, Michel Diaz
1999	Misc	`conf`	A Collaborative Membership Service and Protocol for Structured Groups. PDPTA Thierry Villemur, Michel Diaz
1999	—	`conf`	A Cooperation Service for CORBA Objects. From the Model to the Applications. Euro-Par Khalil Drira, Frédéric Gouëzec, Michel Diaz
1999	—	`conf`	An Adaptive Transport Service for Multimedia Streams. ICMCS, Vol. 2 Luis Rojas-Cardenas, Laurent Dairaine, Patrick Sénac, Michel Diaz
1999	—	`ed.`	Application of Petri Nets to Communication Networks, Advances in Petri Nets Application of Petri Nets to Communication Networks Jonathan Billington, Michel Diaz, Grzegorz Rozenberg
1999	—	`conf`	Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA. FMOODS Khalil Drira, Frédéric Gouëzec, Michel Diaz
1999	—	`conf`	Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. FTDCS Thierry Villemur, Khalil Drira, Michel Diaz
1999	—	`ed.`	Interactive Distributed Multimedia Systems and Telecommunication Services, 6th International Workshop, IDMS '99, Toulouse, France, October 12-15, 1999, Proceedings IDMS Michel Diaz, Philippe Owezarski, Patrick Sénac
1999	J	`jnl`	Multimedia tools supporting the work of distributed synchronous cooperative groups. Clust. Comput. Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz
1999	J	`jnl`	New architecture for enforcing multimedia synchronization in videoconferencing applications. Telecommun. Syst. Philippe Owezarski, Michel Diaz
1999	—	`conf`	Non equivalence between time Petri nets and time stream Petri nets. PNPM Marc Boyer, Michel Diaz
1999	J	`jnl`	Towards a new generation of transport services adapted to multimedia applications. Ann. des Télécommunications Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, Michel Diaz
1999	J	`jnl`	Transport of video over partial order connections. Comput. Networks Luis Rojas-Cardenas, Emmanuel Chaput, Laurent Dairaine, Patrick Sénac, Michel Diaz
1998	J	`jnl`	A time-efficient architecture for multimedia applications. IEEE J. Sel. Areas Commun. Philippe Owezarski, Michel Diaz, Christophe Chassot
1998	—	`conf`	An Integrated Platform for Cooperative Teleteaching. IDMS Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz
1998	—	`conf`	Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. IDMS Marc Boyer, Philippe Owezarski, Michel Diaz
1998	B	`conf`	N-TSVS: a Videoconference Tool for Generic Cooperative Groups. MMM Thierry Villemur, Philippe Owezarski, Michel Diaz
1998	B	`conf`	Temporal Partial Order and Partial Reliability Service for Distributed Multimedia Applications. MMM Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, Michel Diaz
1997	J	`jnl`	From multimedia models to multimedia transport protocols. Comput. Networks ISDN Syst. Michel Diaz, Philippe Owezarski
1997	—	`conf`	Performance evaluations of partial order connections. HPN Michel Fournier, Christophe Chassot, Michel Diaz, André Lozes
1996	—	`conf`	A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents. ICMCS Roberto Willrich, Patrick Sénac, Michel Diaz, Pierre de Saqui-Sannes
1996	J	`jnl`	Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems. Comput. Commun. Jean-Pierre Courtiat, Michel Diaz, Roberto C. de Oliveira, Patrick Sénac
1996	J	`jnl`	From the partial order connection concept to partial order multimedia transport connections. J. High Speed Networks Christophe Chassot, Michel Diaz, André Lozes
1996	B	`conf`	Hypermedia Document Design Using the HTSPN Model. MMM Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz
1996	J	`jnl`	Modeling Logical and Temporal Synchronization in Hypermedia Systems. IEEE J. Sel. Areas Commun. Patrick Sénac, Michel Diaz, Alain Léger, Pierre de Saqui-Sannes
1996	B	`conf`	Models for Enforcing Multimedia Synchronization in Visioconference Applications. MMM Philippe Owezarski, Michel Diaz
1996	—	`conf`	Multimedia partial order transport architecture: design and implementation. Protocols for High-Speed Networks Michel Fournier, Christophe Chassot, André Lozes, Michel Diaz
1995	—	`ed.`	Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings Application and Theory of Petri Nets Giorgio De Michelis, Michel Diaz
1995	—	`conf`	Formal design of cooperative systems. PSTV Michel Diaz, Thierry Villemur, François Vernadat
1995	—	`conf`	Introducing Multimedia Synchronization into the World-Wide Web. MMNET Emmanuel Chaput, Patrick Sénac, Michel Diaz
1995	—	`conf`	On the definition and representation of the quality of service for multimedia systems. HPN Michel Diaz, Khalil Drira, André Lozes, Christophe Chassot
1995	—	`conf`	Service Definition of a Multimedia Partial Order Connection. COST 237 Workshop Christophe Chassot, Michel Fournier, Michel Diaz, André Lozes
1994	J	`jnl`	Observer-A Concept for Formal On-Line Validation of Distributed Systems. IEEE Trans. Software Eng. Michel Diaz, Guy Juanole, Jean-Pierre Courtiat
1994	J	`jnl`	Partial-order transport service for multimedia and other applications. IEEE/ACM Trans. Netw. Paul D. Amer, Christophe Chassot, Thomas J. Connolly, Michel Diaz, Phillip T. Conrad
1994	—	`conf`	Time Stream Petri Nets: A Model for Timed Multimedia Information. Application and Theory of Petri Nets Michel Diaz, Patrick Sénac
1993	C	`ed.`	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 FORTE Michel Diaz, Roland Groz
1993	J	`jnl`	Membership services and protocols for cooperative frameworks of processes. Comput. Commun. Michel Diaz, Thierry Villemur
1993	A	`conf`	Partial Order Transport Service for Multimedia Applications: Reliable Service. HPDC Paul D. Amer, Thomas J. Connolly, Christophe Chassot, Michel Diaz
1993	B	`conf`	Time Stream Petri Nets: A Model for Multimedia Streams Synchronization. MMM Michel Diaz, Patrick Sénac
1991	J	`jnl`	Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. Bernard Berthomieu, Michel Diaz
1991	—	`conf`	Time in State Based Formal Description Techniques for Distributed Systems. REX Workshop Jean-Pierre Courtiat, Michel Diaz
1989	—	`conf`	Axioms of Communication Using Temporal Logic with Past. PSTV Brigitte Pradin-Chezalviel, Michel Diaz
1989	C	`conf`	Experiences Using Estelle Within SEDOS Estelle Demonstrator. FORTE Michel Diaz, Jean Dufau, Roland Groz
1986	—	`ch.`	Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems. Current Trends in Concurrency Michel Diaz, Jean-Pierre Courtiat, Aloysio Pedroza
1986	—	`conf`	Petri Nets Based Models in the Specification and Verification of Protocols. Advances in Petri Nets Michel Diaz
1985	—	`conf`	An approach for evaluating formal description techniques. PSTV 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
1985	—	`conf`	Observer: a run-time checking tool for local area networks. PSTV R. Molva, Michel Diaz, Jean-Michel Ayache
1985	—	`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 PSTV Michel Diaz
1984	—	`conf`	Petri net based models for the specification and validation of protocols. European Workshop on Applications and Theory in Petri Nets Michel Diaz, Pierre Azéma
1983	—	`conf`	Specification and Validation of Protocols by Temporal Logic and Nets. IFIP Congress Michel Diaz, Géraldo Guidacci Da Silveira
1982	J	`jnl`	Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. Comput. Networks Michel Diaz
1982	—	`conf`	Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. PSTV Michel Diaz
1982	J	`jnl`	REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. IEEE Trans. Computers Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz
1982	A	`conf`	Self-Checking software in distributed systems. ICDCS Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz
1981	—	`conf`	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 Jean-Michel Ayache, Pierre Azéma, Michel Diaz
1979	J	`jnl`	Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. IEEE Trans. Computers Michel Diaz, Pierre Azéma, Jean-Michel Ayache
1976	A*	`conf`	Petri nets as a common tool for design verification and hardware simulation. DAC Pierre Azéma, Robert Valette, Michel Diaz
1974	J	`jnl`	On-Set Realization of Fail-Safe Sequential Machines. IEEE Trans. Computers Michel Diaz, Jean Claude Geffroy, Marc Courvoisier