 | 2009 |
|---|
| 89 |       | GuoDong Kang,
Tanguy Pérennou,
Michel Diaz:
An opportunistic indoors positioning scheme based on estimated positions.
ISCC 2009: 844-850 |
| 2008 |
|---|
| 88 | | Walid Htira,
Olivier Dugeon,
Michel Diaz:
STAMP: Towards A Scalable Topology Announcement and Management Protocol.
AINA 2008: 683-690 |
| 87 | | Julio Cesar Royer,
Roberto Willrich,
Michel Diaz:
User Profile-Based Authorization Policies for Network QoS Services.
NCA 2008: 68-75 |
| 86 | | Eraldo Silveira e Silva,
Florin Racaru,
Jean-Marie Farines,
Michel Diaz:
Inter-domain QoS signaling under mobility.
NOMS 2008: 855-858 |
| 85 | | Walid Htira,
Olivier Dugeon,
Michel Diaz:
A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks.
Networking 2008: 482-493 |
| 84 | | Lei Zhang,
Patrick Sénac,
Emmanuel Lochin,
Michel Diaz:
A novel Middleware for the Mobility Management Over the Internet.
WOWMOM 2008: 1-3 |
| 83 | | Lei Zhang,
Patrick Sénac,
Emmanuel Lochin,
Michel Diaz:
Mobile TFRC: a congestion control for WLANs.
WOWMOM 2008: 1-4 |
| 2007 |
|---|
| 82 | | Thierry Rakotoarivelo,
Patrick Sénac,
Aruna Seneviratne,
Michel Diaz:
A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths.
COMSWARE 2007 |
| 81 | | Walid Htira,
Olivier Dugeon,
Michel Diaz:
A New Approximation Model for Guaranteed QoS Information Aggregation.
ISCC 2007: 927-934 |
| 80 | | Thierry Rakotoarivelo,
Patrick Sénac,
Aruna Seneviratne,
Michel Diaz:
SPAD: A distributed middleware architecture for QoS enhanced alternate path discovery.
Computer Networks 51(14): 4189-4211 (2007) |
| 2006 |
|---|
| 79 | | 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 |
| 78 | | Christophe Chassot,
Michel Diaz,
Florin Racaru,
André Lozes:
Heterogeneity and Signalling in IP Multi Domains.
ICNS 2006: 84 |
| 77 | | Christophe Chassot,
André Lozes,
Florin Racaru,
Michel Diaz:
Signalling Concepts in Heterogeneous IP Multi-domains Networks.
NEW2AN 2006: 259-270 |
| 2005 |
|---|
| 76 |  | 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 |
| 75 | | 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 |
| 74 | | Thierry Rakotoarivelo,
Patrick Sénac,
Aruna Seneviratne,
Michel Diaz:
Enhancing QoS Through Alternate Path: An End-to-End Framework.
ICN (1) 2005: 125-132 |
| 73 | | Ernesto Exposito,
Patrick Sénac,
Michel Diaz:
Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms.
MMM 2005: 413-420 |
| 72 | | 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 |
| 71 | | David Raymond,
Yoneo Yano,
Carlos Eduardo Mauad,
Veronique Baudin-Thomas,
Thierry Gayraud,
Michel Diaz,
Kazuhide Kanenishi,
Kenji Matsuura:
Bringing Mobility to Synchronous Collaborative Activities: Recent Enhancements of the "Platine" Platform.
WMTE 2005: 59-61 |
| 70 | | David Raymond,
Kazuhide Kanenishi,
Kenji Matsuura,
Véronique Baudin,
Thierry Gayraud,
Yoneo Yano,
Michel Diaz:
A Model for Content and Communication Management in Synchronous Learning.
Educational Technology & Society 8(3): 187-205 (2005) |
| 2004 |
|---|
| 69 | | Ernesto Exposito,
Michel Diaz,
Patrick Sénac:
Design Principles of a QoS-Oriented Transport Protocol.
INTELLCOMM 2004: 151-159 |
| 68 | | Ernesto Exposito,
Patrick Sénac,
Michel Diaz:
UML-SDL modelling of the FPTP QoS oriented transport protocol.
MMM 2004: 153-160 |
| 67 | | Guillaume Auriol,
Christophe Chassot,
Michel Diaz:
Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés.
Technique et Science Informatiques 23(9): 1137-1159 (2004) |
| 2003 |
|---|
| 66 | | Ernesto Exposito,
Mathieu Gineste,
Romain Peyrichou,
Patrick Sénac,
Michel Diaz:
XQOS: XML-based QoS Specification Language.
MMM 2003: 114-134 |
| 65 | | 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 |
| 2002 |
|---|
| 64 | | Michel Diaz:
Architecture and Design of New Multimedia Multicast Protocols.
ICNP 2002 |
| 63 | | Ernesto Exposito,
Mathieu Gineste,
Romain Peyrichou,
Patrick Sénac,
Michel Diaz:
XQOS: A Quality of Service Specification Language.
ICWI 2002: 648-652 |
| 62 | | Ernesto Exposito,
Patrick Sénac,
David Garduno,
Michel Diaz,
Manuel Urueña:
Deploying New QoS Aware Transport Services.
IDMS/PROMS 2002: 141-153 |
| 61 | | 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 |
| 60 | | Etienne Roblet,
Khalil Drira,
Michel Diaz:
Formal design and development of a Corba-based application for cooperative HTML group editing support.
Journal of Systems and Software 60(2): 113-127 (2002) |
| 59 | | Roberto Willrich,
Pierre de Saqui-Sannes,
Patrick Sénac,
Michel Diaz:
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java.
Multimedia Tools Appl. 16(1): 7-27 (2002) |
| 2001 |
|---|
| 58 | | 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 |
| 57 | | Patrick Sénac,
Ernesto Exposito,
Michel Diaz:
Towards a New Generation of Generic Transport Protocols.
IWDC 2001: 492-506 |
| 56 | | Saul Pomares Hernandez,
Jean Fanchon,
Khalil Drira,
Michel Diaz:
Causal Broadcast Protocol for Very Large Group Communication Systems.
OPODIS 2001: 175-188 |
| 55 | | Thierry Villemur,
Khalil Drira,
Véronique Baudin,
Michel Diaz:
Services, Methodologies and Platforms for Cooperative Environments.
OPODIS 2001: 213-234 |
| 54 | | 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 |
| 53 | | 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 |
|---|
| 52 | | Khalil Drira,
Thierry Villemur,
Véronique Baudin,
Michel Diaz:
A Multi-Paradigm Layered Architecture for Synchronous Distance Learning.
EUROMICRO 2000: 2158-2165 |
| 51 | | 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 |
| 50 | | 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 |
| 1999 |
|---|
| 49 | | Jonathan Billington,
Michel Diaz,
Grzegorz Rozenberg:
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Springer 1999 |
| 48 | | 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
Springer 1999 |
| 47 | | 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 |
| 46 | | 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 |
| 45 | | Thierry Villemur,
Khalil Drira,
Michel Diaz:
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform.
FTDCS 1999: 119-124 |
| 44 | | Luis Rojas-Cardenas,
Laurent Dairaine,
Patrick Sénac,
Michel Diaz:
An Adaptive Transport Service for Multimedia Streams.
ICMCS, Vol. 2 1999: 414-419 |
| 43 | | Thierry Villemur,
Michel Diaz:
A Collaborative Membership Service and Protocol for Structured Groups.
PDPTA 1999: 2115-2121 |
| 42 | | Thierry Villemur,
Véronique Baudin,
Stéphane Owezarski,
Michel Diaz:
Multimedia tools supporting the work of distributed synchronous cooperative groups.
Cluster Computing 2(1): 61-74 (1999) |
| 41 | | Luis Rojas-Cardenas,
Emmanuel Chaput,
Laurent Dairaine,
Patrick Sénac,
Michel Diaz:
Transport of video over partial order connections.
Computer Networks 31(7): 709-725 (1999) |
| 40 | | Philippe Owezarski,
Michel Diaz:
New architecture for enforcing multimedia synchronization in videoconferencing applications.
Telecommunication Systems 11(1-2): 161-185 (1999) |
| 1998 |
|---|
| 39 | | Marc Boyer,
Philippe Owezarski,
Michel Diaz:
Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application.
IDMS 1998: 171-182 |
| 38 | | Thierry Villemur,
Véronique Baudin,
Stéphane Owezarski,
Michel Diaz:
An Integrated Platform for Cooperative Teleteaching.
IDMS 1998: 59-70 |
| 37 | | Thierry Villemur,
Philippe Owezarski,
Michel Diaz:
N-TSVS: a Videoconference Tool for Generic Cooperative Groups.
MMM 1998: 102-111 |
| 36 | | 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 |
|---|
| 35 | | Michel Fournier,
Christophe Chassot,
Michel Diaz,
André Lozes:
Performance evaluations of partial order connections.
HPN 1997: 232-246 |
| 1996 |
|---|
| 34 | | 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 |
| 33 | | Roberto Willrich,
Pierre de Saqui-Sannes,
Patrick Sénac,
Michel Diaz:
Hypermedia Document Design Using the HTSPN Model.
MMM 1996: 151-166 |
| 32 | | Philippe Owezarski,
Michel Diaz:
Models for Enforcing Multimedia Synchronization in Visioconference Applications.
MMM 1996: 85-100 |
| 31 | | Michel Fournier,
Christophe Chassot,
André Lozes,
Michel Diaz:
Multimedia partial order transport architecture: design and implementation.
Protocols for High-Speed Networks 1996: 91-106 |
| 30 | | Jean-Pierre Courtiat,
Michel Diaz,
Roberto C. de Oliveira,
Patrick Sénac:
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.
Computer Communications 19(14): 1134-1150 (1996) |
| 29 | | Patrick Sénac,
Michel Diaz,
Alain Léger,
Pierre de Saqui-Sannes:
Modeling Logical and Temporal Synchronization in Hypermedia Systems.
IEEE Journal on Selected Areas in Communications 14(1): 84-103 (1996) |
| 1995 |
|---|
| 28 | | Giorgio De Michelis,
Michel Diaz:
Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings
Springer 1995 |
| 27 | | Christophe Chassot,
Michel Fournier,
Michel Diaz,
André Lozes:
Service Definition of a Multimedia Partial Order Connection.
COST 237 Workshop 1995: 118-137 |
| 26 | | 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 |
| 25 | | Emmanuel Chaput,
Patrick Sénac,
Michel Diaz:
Introducing Multimedia Synchronization into the World-Wide Web.
MMNET 1995: 185-191 |
| 24 | | Michel Diaz,
Thierry Villemur,
François Vernadat:
Formal design of cooperative systems.
PSTV 1995: 349-365 |
| 1994 |
|---|
| 23 | | Michel Diaz,
Patrick Sénac:
Time Stream Petri Nets: A Model for Timed Multimedia Information.
Application and Theory of Petri Nets 1994: 219-238 |
| 22 | | 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) |
| 21 | | 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) |
| 1993 |
|---|
| 20 | | 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
North-Holland 1993 |
| 19 | | Paul D. Amer,
Thomas J. Connolly,
Christophe Chassot,
Michel Diaz:
Partial Order Transport Service for Multimedia Applications: Reliable Service.
HPDC 1993: 272-280 |
| 18 | | Michel Diaz,
Thierry Villemur:
Membership services and protocols for cooperative frameworks of processes.
Computer Communications 16(9): 548-556 (1993) |
| 1991 |
|---|
| 17 | | Jean-Pierre Courtiat,
Michel Diaz:
Time in State Based Formal Description Techniques for Distributed Systems.
REX Workshop 1991: 149-175 |
| 16 | | Bernard Berthomieu,
Michel Diaz:
Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
IEEE Trans. Software Eng. 17(3): 259-273 (1991) |
| 1989 |
|---|
| 15 | | Michel Diaz,
Jean Dufau,
Roland Groz:
Experiences Using Estelle Within SEDOS Estelle Demonstrator.
FORTE 1989: 455-470 |
| 14 | | Brigitte Pradin-Chezalviel,
Michel Diaz:
Axioms of Communication Using Temporal Logic with Past.
PSTV 1989: 387-399 |
| 1986 |
|---|
| 13 | | Michel Diaz:
Petri Nets Based Models in the Specification and Verification of Protocols.
Advances in Petri Nets 1986: 135-170 |
| 12 | | 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 |
|---|
| 11 | | 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 |
| 10 | | 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 |
| 9 | | R. Molva,
Michel Diaz,
Jean-Michel Ayache:
Observer: a run-time checking tool for local area networks.
PSTV 1985: 495-506 |
| 1984 |
|---|
| 8 | | 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 |
|---|
| 7 | | Michel Diaz,
Géraldo Guidacci Da Silveira:
Specification and Validation of Protocols by Temporal Logic and Nets.
IFIP Congress 1983: 47-52 |
| 1982 |
|---|
| 6 | | Jean-Michel Ayache,
Jean-Pierre Courtiat,
Michel Diaz:
Self-Checking software in distributed systems.
ICDCS 1982: 163-170 |
| 5 | | Michel Diaz:
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.
PSTV 1982: 465-510 |
| 4 | | Michel Diaz:
Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.
Computer Networks 6(6): 419-441 (1982) |
| 3 | | 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) |
| 1981 |
|---|
| 2 | | 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 |
| 1979 |
|---|
| 1 | | 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) |
