dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michel Diaz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz: Pervasive Intelligent Routing in Content Centric Delay Tolerant Networks. DASC 2011: 178-185
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnh 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
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnh Dung Nguyen, Patrick Sénac, Victor Ramiro, Michel Diaz: STEPS - An Approach for Human Mobility Modeling. Networking (1) 2011: 254-265
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Exposito, Christophe Chassot, Michel Diaz: Knowledge Base for an Autonomic Transport Layer. WWIC 2011: 174-185
2010
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimiter 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 Springer 2010
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel 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)
2009
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoDong Kang, Tanguy Pérennou, Michel Diaz: An opportunistic indoors positioning scheme based on estimated positions. ISCC 2009: 844-850
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAchilles Colombo Prudencio, Roberto Willrich, Michel Diaz, Saïd Tazi: Quality of Service Specifications: A Semantic Approach. NCA 2009: 219-226
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEraldo Silveira e Silva, Jean-Marie Farines, Michel Diaz: Path prediction for resource reservation between mobile nodes. WCNC 2009: 2073-2078
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Zhang, Patrick Sénac, Roksana Boreli, Michel Diaz: Optimization of WiMax modulation scheme with a cross layer erasure code. WOWMOM 2009: 1-9
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnzo 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, L. Baresse, Edmundo Monteiro: EuQoS: End-to-End Quality of Service over Heterogeneous Networks. Computer Communications 32(12): 1355-1370 (2009)
2008
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Htira, Olivier Dugeon, Michel Diaz: STAMP: Towards A Scalable Topology Announcement and Management Protocol. AINA 2008: 683-690
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoDong Kang, Tanguy Pérennou, Michel Diaz: Barycentric Location Estimation for Indoors Localization in Opportunistic Wireless Networks. FGCN (1) 2008: 220-225
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei 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
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio Cesar Royer, Roberto Willrich, Michel Diaz: User Profile-Based Authorization Policies for Network QoS Services. NCA 2008: 68-75
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz: Inter-domain QoS signaling under mobility. NOMS 2008: 855-858
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Htira, Olivier Dugeon, Michel Diaz: A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks. Networking 2008: 482-493
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz: A novel Middleware for the Mobility Management Over the Internet. WOWMOM 2008: 1-3
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz: Mobile TFRC: a congestion control for WLANs. WOWMOM 2008: 1-4
2007
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths. COMSWARE 2007
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Htira, Olivier Dugeon, Michel Diaz: A New Approximation Model for Guaranteed QoS Information Aggregation. ISCC 2007: 927-934
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Conchon, Johan Garcia, Tanguy Pérennou, Michel Diaz: Improved IP-Level Emulation for Mobile and Wireless Systems. WCNC 2007: 3592-3597
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry 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)
2006
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: A Proactive Scheme for QoS Enhanced Alternate Path Discovery in a Super-Peer Architecture. GLOBECOM 2006
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Chassot, Michel Diaz, Florin Racaru, André Lozes: Heterogeneity and Signalling in IP Multi Domains. ICNS 2006: 84
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Chassot, André Lozes, Florin Racaru, Michel Diaz: Signalling Concepts in Heterogeneous IP Multi-domains Networks. NEW2AN 2006: 259-270
2005
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: Enhancing QoS Through Alternate Path: An End-to-End Framework. ICN (1) 2005: 125-132
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Exposito, Patrick Sénac, Michel Diaz: Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms. MMM 2005: 413-420
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Dugeon, D. Morris, Edmundo Monteiro, Wojciech Burakowski, Michel Diaz: End to End Quality of Service over Heterogeneous Networks EuQoS. Net-Con 2005: 87-101
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
2004
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Exposito, Michel Diaz, Patrick Sénac: Design Principles of a QoS-Oriented Transport Protocol. INTELLCOMM 2004: 151-159
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Exposito, Patrick Sénac, Michel Diaz: UML-SDL modelling of the FPTP QoS oriented transport protocol. MMM 2004: 153-160
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume 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)
2003
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz: XQOS: XML-based QoS Specification Language. MMM 2003: 114-134
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe 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
2002
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz: Architecture and Design of New Multimedia Multicast Protocols. ICNP 2002
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz: XQOS: A Quality of Service Specification Language. ICWI 2002: 648-652
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Exposito, Patrick Sénac, David Garduno, Michel Diaz, Manuel Urueña: Deploying New QoS Aware Transport Services. IDMS/PROMS 2002: 141-153
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Berthou, Thierry Gayraud, Philippe Owezarski, Michel Diaz: Multimedia multi-networking: A new concept. Annales des Télécommunications 57(7-8): 721-750 (2002)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtienne 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)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
2001
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabien 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Sénac, Ernesto Exposito, Michel Diaz: Towards a New Generation of Generic Transport Protocols. IWDC 2001: 492-506
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaul Pomares Hernandez, Jean Fanchon, Khalil Drira, Michel Diaz: Causal Broadcast Protocol for Very Large Group Communication Systems. OPODIS 2001: 175-188
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz: Services, Methodologies and Platforms for Cooperative Environments. OPODIS 2001: 213-234
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz: A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. EUROMICRO 2000: 2158-2165
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Apvrille, Laurent Dairaine, Patrick Sénac, Luis Rojas-Cardenas, Michel Diaz: Implementing a User Level Multimedia Transport Protocol in Java. ISCC 2000: 410-416
1999
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Billington, Michel Diaz, Grzegorz Rozenberg: Application of Petri Nets to Communication Networks, Advances in Petri Nets Springer 1999
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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 Springer 1999
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Villemur, Khalil Drira, Michel Diaz: Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. FTDCS 1999: 119-124
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Rojas-Cardenas, Laurent Dairaine, Patrick Sénac, Michel Diaz: An Adaptive Transport Service for Multimedia Streams. ICMCS, Vol. 2 1999: 414-419
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Villemur, Michel Diaz: A Collaborative Membership Service and Protocol for Structured Groups. PDPTA 1999: 2115-2121
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry 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)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Owezarski, Michel Diaz: New architecture for enforcing multimedia synchronization in videoconferencing applications. Telecommunication Systems 11(1-2): 161-185 (1999)
1998
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Boyer, Philippe Owezarski, Michel Diaz: Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. IDMS 1998: 171-182
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz: An Integrated Platform for Cooperative Teleteaching. IDMS 1998: 59-70
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Villemur, Philippe Owezarski, Michel Diaz: N-TSVS: a Videoconference Tool for Generic Cooperative Groups. MMM 1998: 102-111
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Fournier, Christophe Chassot, Michel Diaz, André Lozes: Performance evaluations of partial order connections. HPN 1997: 232-246
1996
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz: Hypermedia Document Design Using the HTSPN Model. MMM 1996: 151-166
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Owezarski, Michel Diaz: Models for Enforcing Multimedia Synchronization in Visioconference Applications. MMM 1996: 85-100
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Fournier, Christophe Chassot, André Lozes, Michel Diaz: Multimedia partial order transport architecture: design and implementation. Protocols for High-Speed Networks 1996: 91-106
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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)
1995
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio De Michelis, Michel Diaz: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings Springer 1995
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Chassot, Michel Fournier, Michel Diaz, André Lozes: Service Definition of a Multimedia Partial Order Connection. COST 237 Workshop 1995: 118-137
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Khalil Drira, André Lozes, Christophe Chassot: On the definition and representation of the quality of service for multimedia systems. HPN 1995: 116-128
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Chaput, Patrick Sénac, Michel Diaz: Introducing Multimedia Synchronization into the World-Wide Web. MMNET 1995: 185-191
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Thierry Villemur, François Vernadat: Formal design of cooperative systems. PSTV 1995: 349-365
1994
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Patrick Sénac: Time Stream Petri Nets: A Model for Timed Multimedia Information. Application and Theory of Petri Nets 1994: 219-238
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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)
1993
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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 North-Holland 1993
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul D. Amer, Thomas J. Connolly, Christophe Chassot, Michel Diaz: Partial Order Transport Service for Multimedia Applications: Reliable Service. HPDC 1993: 272-280
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Thierry Villemur: Membership services and protocols for cooperative frameworks of processes. Computer Communications 16(9): 548-556 (1993)
1991
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Pierre Courtiat, Michel Diaz: Time in State Based Formal Description Techniques for Distributed Systems. REX Workshop 1991: 149-175
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernard Berthomieu, Michel Diaz: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. 17(3): 259-273 (1991)
1989
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Jean Dufau, Roland Groz: Experiences Using Estelle Within SEDOS Estelle Demonstrator. FORTE 1989: 455-470
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrigitte Pradin-Chezalviel, Michel Diaz: Axioms of Communication Using Temporal Logic with Past. PSTV 1989: 387-399
1986
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz: Petri Nets Based Models in the Specification and Verification of Protocols. Advances in Petri Nets 1986: 135-170
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAri 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Molva, Michel Diaz, Jean-Michel Ayache: Observer: a run-time checking tool for local area networks. PSTV 1985: 495-506
1984
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Géraldo Guidacci Da Silveira: Specification and Validation of Protocols by Temporal Logic and Nets. IFIP Congress 1983: 47-52
1982
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz: Self-Checking software in distributed systems. ICDCS 1982: 163-170
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz: Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. PSTV 1982: 465-510
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz: Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. Computer Networks 6(6): 419-441 (1982)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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)
1981
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Azéma, Robert Valette, Michel Diaz: Petri nets as a common tool for design verification and hardware simulation. DAC 1976: 109-116

Coauthor Index

1Ari Ahtiainen [11]
2S. Alfonzetti [11]
3Paul D. Amer [20] [22]
4Pascal Anelli [60]
5Ludovic Apvrille [52]
6Guillaume Auriol [68] [70]
7Dimiter R. Avresky (D. R. Avresky) [101]
8Jean-Michel Ayache [2] [3] [4] [7] [10]
9Arturo Azcorra [64] [79]
10Pierre Azéma [1] [2] [3] [9]
11L. Baresse [95]
12Véronique Baudin [39] [43] [54] [57] [73]
13Veronique Baudin-Thomas [74]
14Andrzej Beben [95]
15Bernard Berthomieu [17]
16Pascal Berthou [53] [63]
17Jonathan Billington [51]
18Arndt Bode [101]
19Roksana Boreli [96]
20Marc Boyer [40]
21Wojciech Burakowski [75] [95]
22María Calderón [64]
23María Ángeles Callejo-Rodríguez [95]
24Roberto Canonico [56]
25Emmanuel Chaput [26] [42]
26V. Chari [11]
27Christophe Chassot [20] [22] [27] [28] [32] [36] [60] [68] [70] [80] [81] [102]
28Bruno Ciciani [101]
29Emmanuel Conchon [84] [100]
30Thomas J. Connolly [20] [22]
31Phillip T. Conrad [22]
32Luis Costa [56]
33Jean-Pierre Courtiat [4] [7] [13] [18] [23] [31]
34Laurent Dairaine [37] [42] [44] [46] [52]
35Mats Daniels [11]
36Eliezer Dekel [101]
37Khalil Drira [27] [47] [48] [49] [54] [55] [57] [58] [62]
38Jean Dufau [16]
39Olivier Dugeon [75] [85] [89] [94] [95]
40José Enríquez-Gabeiras [95]
41Ernesto Exposito [59] [64] [65] [66] [69] [71] [72] [76] [102]
42Jean Fanchon [58]
43Jean-Marie Farines [90] [97]
44Alberto Faro [11]
45Serge Fdida [56] [79]
46Michel Fournier [28] [32] [36]
47Fabien Garcia [60]
48Johan Garcia [84] [100]
49Gerardo García-de-Blas [95]
50David Garduno [64] [65]
51Thierry Gayraud [53] [63] [73] [74]
52Mathieu Gineste [66] [69]
53Frédéric Gouëzec [48] [49]
54Roland Groz [16] [21]
55Abdelmajid Ben Hamadou [55]
56Hans A. Hansson [11]
57Saul Pomares Hernandez [58]
58Walid Htira [85] [89] [94]
59David Hutchison [56]
60Mohamed Jmaiel [55]
61Guy Juanole [11] [23]
62Ahmed Hadj Kacem [55]
63Kazuhide Kanenishi [73] [74]
64GuoDong Kang [93] [99]
65Ulla Karjalainen [11]
66Jens E. Kristensen [64]
67Lars Kroll Kristensen [64]
68Jérôme Lacan [92]
69David Larrabeiti [64]
70Alain Léger [30]
71Emmanuel Lochin [60] [87] [88] [92]
72André Lozes [27] [28] [32] [36] [60] [80] [81]
73Juhani Malka [11]
74Laurent Mathy [56]
75Kenji Matsuura [73] [74]
76Carlos Eduardo Mauad [74]
77Andreas Meissner [56]
78Giorgio De Michelis [29]
79Enzo Mingozzi [95]
80Gesualdo Le Moli [11]
81R. Molva [10]
82Edmundo Monteiro [75] [95]
83D. Morris [75]
84Anh Dung Nguyen [103] [104] [105]
85Roberto C. de Oliveira [31]
86Philippe Owezarski [33] [38] [40] [41] [50] [53] [63] [79]
87Stéphane Owezarski [39] [43] [56]
88Sergio Palazzo [11]
89Aloysio Pedroza (Aloysio De Castro Pinto Pedroza) [13]
90Orlando Pereda [11]
91Tanguy Pérennou [84] [93] [99] [100]
92Romain Peyrichou [66] [69]
93Brigitte Pradin-Chezalviel [15]
94Achilles Colombo Prudencio [98]
95Florin Racaru [80] [81] [90]
96Thierry Rakotoarivelo [77] [78] [82] [83] [86]
97Victor Ramiro [103] [104] [105]
98Francisco Javier Ramón-Salguero [95]
99David Raymond [73] [74]
100Etienne Roblet [62]
101Luis Rojas-Cardenas [37] [42] [44] [46] [52]
102Julio Cesar Royer [91]
103Grzegorz Rozenberg [51]
104Pierre de Saqui-Sannes [30] [34] [35] [61]
105Patrick Sénac [24] [26] [30] [31] [34] [35] [37] [42] [44] [46] [50] [52] [59] [61] [65] [66] [69] [71] [72] [76] [77] [78] [82] [83] [86] [87] [88] [92] [96] [103] [104] [105]
106Aruna Seneviratne [77] [78] [82] [83] [86]
107Eraldo Silveira e Silva [90] [97]
108Géraldo Guidacci Da Silveira [8]
109Jaroslaw Sliwinski [95]
110Giovanni Stea [95]
111Halina Tarasiuk [95]
112Saïd Tazi [98]
113Manuel Urueña [64] [65]
114Robert Valette [1]
115François Vernadat [25]
116Rolland Vida [56]
117Thierry Villemur [19] [25] [38] [39] [43] [45] [47] [54] [55] [57]
118Roberto Willrich [34] [35] [61] [91] [98]
119Lars C. Wolf [56]
120Yoneo Yano [73] [74]
121Lei Zhang [87] [88] [92] [96]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page