default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichel Diaz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[p2]Michel Diaz:
Modelling Time Using Petri Nets. Carl Adam Petri: Ideas, Personality, Impact 2019: 187-192- 2015
- [j30]Anh Dung Nguyen, Patrick Sénac, Michel Diaz:
Modelling mobile opportunistic networks - From mobility to structural and behavioural analysis. Ad Hoc Networks 24: 161-174 (2015) - 2014
- [c93]Jean Arlat, Michel Diaz, Mohamed Kaâniche:
Towards resilient cyber-physical systems: The ADREAM project. DTIS 2014: 1-5 - 2013
- [j29]Nicolas Van Wambeke, Ernesto Exposito
, Christophe Chassot, Michel Diaz:
ATP: A Microprotocol Approach to Autonomic Communication. IEEE Trans. Computers 62(11): 2131-2140 (2013) - [j28]Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz:
A cross-layer architecture to improve mobile host rate performance and to solve unfairness problem in WLANs. Telecommun. Syst. 53(3): 343-356 (2013) - [c92]Anh Dung Nguyen, Patrick Sénac, Michel Diaz:
On the impact of disorder on dynamic network navigation. INFOCOM 2013: 17-18 - [c91]Anh Dung Nguyen, Patrick Sénac, Michel Diaz:
On the impact of disorder on dynamic network navigation. INFOCOM Workshops 2013: 83-84 - [c90]Akram Hakiri, Pascal Berthou, Slim Abdellatif, Michel Diaz, Thierry Gayraud:
Supporting end-to-end internet QoS for DDS-based large-scale distributed simulation. SIGSIM-PADS 2013: 397-402 - [c89]Anh Dung Nguyen, Patrick Sénac, Michel Diaz:
How disorder impacts routing in human-centric disruption tolerant networks. FhMN@SIGCOMM 2013: 47-52 - 2012
- [c88]Anh Dung Nguyen, Patrick Sénac, Michel Diaz:
Understanding and modeling the small-world phenomenon in dynamic networks. MSWiM 2012: 377-384 - 2011
- [c87]Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz:
Pervasive Intelligent Routing in Content Centric Delay Tolerant Networks. DASC 2011: 178-185 - [c86]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 - [c85]Anh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz:
STEPS - An Approach for Human Mobility Modeling. Networking (1) 2011: 254-265 - [c84]Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz:
A Path Selection Criterion for Advance Resource Reservation. NTMS 2011: 1-5 - [c83]Ernesto Exposito, Christophe Chassot, Michel Diaz:
Knowledge Base for an Autonomic Transport Layer. WWIC 2011: 174-185 - 2010
- [j27]Emmanuel Conchon, Tanguy Pérennou, Johan Garcia, Michel Diaz:
W-NINE: A Two-Stage Emulation Platform for Mobile and Wireless Systems. EURASIP J. Wirel. Commun. Netw. 2010 (2010) - [e7]Dimiter R. Avresky, Michel Diaz, Arndt Bode, Bruno Ciciani, Eliezer Dekel:
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 [contents]
2000 – 2009
- 2009
- [j26]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. Comput. Commun. 32(12): 1355-1370 (2009) - [c82]GuoDong Kang, Tanguy Pérennou, Michel Diaz:
An opportunistic indoors positioning scheme based on estimated positions. ISCC 2009: 844-850 - [c81]Achilles Colombo Prudêncio, Roberto Willrich, Michel Diaz, Saïd Tazi:
Quality of Service Specifications: A Semantic Approach. NCA 2009: 219-226 - [c80]Eraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz:
Path prediction for resource reservation between mobile nodes. WCNC 2009: 2073-2078 - [c79]Lei Zhang, Patrick Sénac, Roksana Boreli, Michel Diaz:
Optimization of WiMax modulation scheme with a cross layer erasure code. WOWMOM 2009: 1-9 - 2008
- [c78]Walid Htira, Olivier Dugeon, Michel Diaz:
STAMP: Towards A Scalable Topology Announcement and Management Protocol. AINA 2008: 683-690 - [c77]GuoDong Kang, Tanguy Pérennou, Michel Diaz:
Barycentric Location Estimation for Indoors Localization in Opportunistic Wireless Networks. FGCN (1) 2008: 220-225 - [c76]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 - [c75]Julio Cesar Royer, Roberto Willrich, Michel Diaz:
User Profile-Based Authorization Policies for Network QoS Services. NCA 2008: 68-75 - [c74]Walid Htira, Olivier Dugeon, Michel Diaz:
A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks. Networking 2008: 482-493 - [c73]Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz:
Inter-domain QoS signaling under mobility. NOMS 2008: 855-858 - [c72]Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz:
Cross-layer based congestion control for WLANs. QSHINE 2008: 35 - [c71]Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz:
Mobile TFRC: a congestion control for WLANs. WOWMOM 2008: 1-4 - [c70]Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz:
A novel Middleware for the Mobility Management Over the Internet. WOWMOM 2008: 1-3 - 2007
- [j25]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:
The EuQoS system: a solution for QoS routing in heterogeneous networks [Quality of Service based Routing Algorithms for Heterogeneous Networks]. IEEE Commun. Mag. 45(2): 96-103 (2007) - [j24]Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz:
SPAD: A distributed middleware architecture for QoS enhanced alternate path discovery. Comput. Networks 51(14): 4189-4211 (2007) - [c69]Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz:
A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths. COMSWARE 2007 - [c68]Walid Htira, Olivier Dugeon, Michel Diaz:
A New Approximation Model for Guaranteed QoS Information Aggregation. ISCC 2007: 927-934 - [c67]Walid Htira, Olivier Dugeon, Michel Diaz:
An Aggregated Delay|Bandwidth Star Scheme for Admission Control. PIMRC 2007: 1-8 - [c66]Emmanuel Conchon, Johan Garcia, Tanguy Pérennou, Michel Diaz:
Improved IP-Level Emulation for Mobile and Wireless Systems. WCNC 2007: 3592-3597 - 2006
- [c65]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 - [c64]Christophe Chassot, Michel Diaz, Florin Racaru, André Lozes:
Heterogeneity and Signalling in IP Multi Domains. ICNS 2006: 84 - [c63]Christophe Chassot, André Lozes, Florin Racaru, Michel Diaz:
Signalling Concepts in Heterogeneous IP Multi-domains Networks. NEW2AN 2006: 259-270 - 2005
- [j23]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. J. Educ. Technol. Soc. 8(3): 187-205 (2005) - [c62]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 - [c61]Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz:
Enhancing QoS Through Alternate Path: An End-to-End Framework. ICN (1) 2005: 125-132 - [c60]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 - [c59]Ernesto Exposito, Patrick Sénac, Michel Diaz:
Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms. MMM 2005: 413-420 - [c58]David Raymond, Yoneo Yano, Carlos Eduardo Mauad, Véronique 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 - [e6]Michel Diaz, Arturo Azcorra, Philippe Owezarski, Serge Fdida:
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 [contents] - 2004
- [j22]Guillaume Auriol, Christophe Chassot, Michel Diaz:
Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés. Tech. Sci. Informatiques 23(9): 1137-1159 (2004) - [c57]Tanguy Pérennou, Emmanuel Conchon, Laurent Dairaine, Michel Diaz:
Two-Stage Wireless Network Emulation. Broadband Satellite Comunication Systems 2004: 181-190 - [c56]Ernesto Exposito, Michel Diaz, Patrick Sénac:
Design Principles of a QoS-Oriented Transport Protocol. INTELLCOMM 2004: 151-159 - [c55]David Raymond, Véronique Baudin-Thomas, Kazuhide Kanenishi, Thierry Gayraud, Kenji Matsuura, Michel Diaz, Yoneo Yano:
Distant e-learning using synchronous collaborative environment "Platine". ISMSE 2004: 88-95 - [c54]Ernesto Exposito, Patrick Sénac, Michel Diaz:
UML-SDL modelling of the FPTP QoS oriented transport protocol. MMM 2004: 153-160 - 2003
- [c53]Ernesto Exposito, Patrick Sénac, Michel Diaz:
FPTP: the XQoS aware and fully programmable transport protocol. ICON 2003: 249-254 - [c52]Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz:
XQOS: XML-based QoS Specification Language. MMM 2003: 114-134 - [c51]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 - [c50]Pascal Berthou, Thierry Gayraud, Olivier Alphand, C. Prudhommeaux, Michel Diaz:
A multimedia architecture for 802.11b networks. WCNC 2003: 1742-1747 - 2002
- [j21]Pascal Berthou, Thierry Gayraud, Philippe Owezarski, Michel Diaz:
Multimedia multi-networking: A new concept. Ann. des Télécommunications 57(7-8): 721-750 (2002) - [j20]Etienne Roblet, Khalil Drira, Michel Diaz:
Formal design and development of a Corba-based application for cooperative HTML group editing support. J. Syst. Softw. 60(2): 113-127 (2002) - [j19]Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz:
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java. Multim. Tools Appl. 16(1): 7-27 (2002) - [c49]Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz:
XQOS: A Quality of Service Specification Language. ICWI 2002: 648-652 - [c48]Michel Diaz:
Architecture and Design of New Multimedia Multicast Protocols. ICNP 2002 - [c47]Ernesto Exposito, Patrick Sénac, David Garduno, Michel Diaz, Manuel Urueña:
Deploying New QoS Aware Transport Services. IDMS/PROMS 2002: 141-153 - [c46]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 - [c45]Véronique Baudin, Khalil Drira, Thierry Villernur, Michel Diaz:
Supporting distributed experts in e-meetings for synchronous collaboration. SMC 2002: 6 - 2001
- [j18]Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz:
A Design Methodology Applied to Distance Learning Support Software. Interact. Learn. Environ. 9(1): 51-78 (2001) - [c44]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 - [c43]Patrick Sénac, Ernesto Exposito, Michel Diaz:
Towards a New Generation of Generic Transport Protocols. IWDC 2001: 492-506 - [c42]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 - [c41]Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz:
Services, Methodologies and Platforms for Cooperative Environments. OPODIS 2001: 213-234 - [c40]Marc Boyer, Michel Diaz:
Multiple Enabledness of Transitions in Petri Nets with Time. PNPM 2001: 219-228 - [c39]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 - [c38]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 - 2000
- [c37]Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz:
A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. EUROMICRO 2000: 2158-2165 - [c36]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 - [c35]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
1990 – 1999
- 1999
- [j17]Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, Michel Diaz:
Towards a new generation of transport services adapted to multimedia applications. Ann. des Télécommunications 54(11-12): 550-564 (1999) - [j16]Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz:
Multimedia tools supporting the work of distributed synchronous cooperative groups. Clust. Comput. 2(1): 61-74 (1999) - [j15]Luis Rojas-Cardenas, Emmanuel Chaput, Laurent Dairaine, Patrick Sénac, Michel Diaz:
Transport of video over partial order connections. Comput. Networks 31(7): 709-725 (1999) - [j14]Philippe Owezarski, Michel Diaz:
New architecture for enforcing multimedia synchronization in videoconferencing applications. Telecommun. Syst. 11(1-2): 161-185 (1999) - [c34]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 - [c33]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 - [c32]Thierry Villemur, Khalil Drira, Michel Diaz:
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. FTDCS 1999: 119-124 - [c31]Luis Rojas-Cardenas, Laurent Dairaine, Patrick Sénac, Michel Diaz:
An Adaptive Transport Service for Multimedia Streams. ICMCS, Vol. 2 1999: 414-419 - [c30]Thierry Villemur, Michel Diaz:
A Collaborative Membership Service and Protocol for Structured Groups. PDPTA 1999: 2115-2121 - [c29]Marc Boyer, Michel Diaz:
Non equivalence between time Petri nets and time stream Petri nets. PNPM 1999: 198-207 - [e5]Jonathan Billington, Michel Diaz, Grzegorz Rozenberg:
Application of Petri Nets to Communication Networks, Advances in Petri Nets. Lecture Notes in Computer Science 1605, Springer 1999, ISBN 3-540-65870-X [contents] - [e4]Michel Diaz, Philippe Owezarski, Patrick Sénac:
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 [contents] - 1998
- [j13]Philippe Owezarski, Michel Diaz, Christophe Chassot:
A time-efficient architecture for multimedia applications. IEEE J. Sel. Areas Commun. 16(3): 383-396 (1998) - [c28]Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz:
An Integrated Platform for Cooperative Teleteaching. IDMS 1998: 59-70 - [c27]Marc Boyer, Philippe Owezarski, Michel Diaz:
Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. IDMS 1998: 171-182 - [c26]Thierry Villemur, Philippe Owezarski, Michel Diaz:
N-TSVS: a Videoconference Tool for Generic Cooperative Groups. MMM 1998: 102-111 - [c25]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 - 1997
- [j12]Michel Diaz, Philippe Owezarski:
From multimedia models to multimedia transport protocols. Comput. Networks ISDN Syst. 29(7): 745-758 (1997) - [c24]Michel Fournier, Christophe Chassot, Michel Diaz, André Lozes:
Performance evaluations of partial order connections. HPN 1997: 232-246 - 1996
- [j11]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. Comput. Commun. 19(14): 1134-1150 (1996) - [j10]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) - [j9]Patrick Sénac, Michel Diaz, Alain Léger, Pierre de Saqui-Sannes:
Modeling Logical and Temporal Synchronization in Hypermedia Systems. IEEE J. Sel. Areas Commun. 14(1): 84-103 (1996) - [c23]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 - [c22]Philippe Owezarski, Michel Diaz:
Models for Enforcing Multimedia Synchronization in Visioconference Applications. MMM 1996: 85-100 - [c21]Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz:
Hypermedia Document Design Using the HTSPN Model. MMM 1996: 151-166 - [c20]Michel Fournier, Christophe Chassot, André Lozes, Michel Diaz:
Multimedia partial order transport architecture: design and implementation. Protocols for High-Speed Networks 1996: 91-106 - 1995
- [c19]Christophe Chassot, Michel Fournier, Michel Diaz, André Lozes:
Service Definition of a Multimedia Partial Order Connection. COST 237 Workshop 1995: 118-137 - [c18]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 - [c17]Emmanuel Chaput, Patrick Sénac, Michel Diaz:
Introducing Multimedia Synchronization into the World-Wide Web. MMNET 1995: 185-191 - [c16]Michel Diaz, Thierry Villemur, François Vernadat:
Formal design of cooperative systems. PSTV 1995: 349-365 - [e3]Giorgio De Michelis, Michel Diaz:
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 [contents] - 1994
- [j8]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) - [j7]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) - [c15]Michel Diaz, Patrick Sénac:
Time Stream Petri Nets: A Model for Timed Multimedia Information. Application and Theory of Petri Nets 1994: 219-238 - 1993
- [j6]Michel Diaz, Thierry Villemur:
Membership services and protocols for cooperative frameworks of processes. Comput. Commun. 16(9): 548-556 (1993) - [c14]Paul D. Amer, Thomas J. Connolly, Christophe Chassot, Michel Diaz:
Partial Order Transport Service for Multimedia Applications: Reliable Service. HPDC 1993: 272-280 - [c13]Michel Diaz, Patrick Sénac:
Time Stream Petri Nets: A Model for Multimedia Streams Synchronization. MMM 1993: 257-273 - [e2]Michel Diaz, Roland Groz:
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 [contents] - 1991
- [j5]Bernard Berthomieu, Michel Diaz:
Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. 17(3): 259-273 (1991) - [c12]Jean-Pierre Courtiat, Michel Diaz:
Time in State Based Formal Description Techniques for Distributed Systems. REX Workshop 1991: 149-175
1980 – 1989
- 1989
- [c11]Michel Diaz, Jean Dufau, Roland Groz:
Experiences Using Estelle Within SEDOS Estelle Demonstrator. FORTE 1989: 455-470 - [c10]Brigitte Pradin-Chezalviel, Michel Diaz:
Axioms of Communication Using Temporal Logic with Past. PSTV 1989: 387-399 - 1986
- [c9]Michel Diaz:
Petri Nets Based Models in the Specification and Verification of Protocols. Advances in Petri Nets 1986: 135-170 - [p1]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 - 1985
- [c8]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 - [c7]R. Molva, Michel Diaz, Jean-Michel Ayache:
Observer: a run-time checking tool for local area networks. PSTV 1985: 495-506 - [e1]Michel Diaz:
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 [contents] - 1984
- [c6]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 - 1983
- [c5]Michel Diaz, Géraldo Guidacci Da Silveira:
Specification and Validation of Protocols by Temporal Logic and Nets. IFIP Congress 1983: 47-52 - 1982
- [j4]Michel Diaz:
Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. Comput. Networks 6(6): 419-441 (1982) - [j3]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) - [c4]Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz:
Self-Checking software in distributed systems. ICDCS 1982: 163-170 - [c3]Michel Diaz:
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. PSTV 1982: 465-510 - 1981
- [c2]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
1970 – 1979
- 1979
- [j2]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) - 1976
- [c1]Pierre Azéma, Robert Valette, Michel Diaz:
Petri nets as a common tool for design verification and hardware simulation. DAC 1976: 109-116 - 1974
- [j1]Michel Diaz, Jean Claude Geffroy, Marc Courvoisier:
On-Set Realization of Fail-Safe Sequential Machines. IEEE Trans. Computers 23(2): 133-138 (1974)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
