2008 | ||
---|---|---|
86 | EE | Walid Htira, Olivier Dugeon, Michel Diaz: STAMP: Towards A Scalable Topology Announcement and Management Protocol. AINA 2008: 683-690 |
85 | EE | Julio Cesar Royer, Roberto Willrich, Michel Diaz: User Profile-Based Authorization Policies for Network QoS Services. NCA 2008: 68-75 |
84 | EE | Eraldo Silveira e Silva, Florin Racaru, Jean-Marie Farines, Michel Diaz: Inter-domain QoS signaling under mobility. NOMS 2008: 855-858 |
83 | EE | Walid Htira, Olivier Dugeon, Michel Diaz: A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks. Networking 2008: 482-493 |
82 | EE | Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz: A novel Middleware for the Mobility Management Over the Internet. WOWMOM 2008: 1-3 |
81 | EE | Lei Zhang, Patrick Sénac, Emmanuel Lochin, Michel Diaz: Mobile TFRC: a congestion control for WLANs. WOWMOM 2008: 1-4 |
2007 | ||
80 | EE | Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths. COMSWARE 2007 |
79 | EE | Walid Htira, Olivier Dugeon, Michel Diaz: A New Approximation Model for Guaranteed QoS Information Aggregation. ISCC 2007: 927-934 |
78 | EE | 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 | ||
77 | EE | 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 |
76 | EE | Christophe Chassot, Michel Diaz, Florin Racaru, André Lozes: Heterogeneity and Signalling in IP Multi Domains. ICNS 2006: 84 |
75 | EE | Christophe Chassot, André Lozes, Florin Racaru, Michel Diaz: Signalling Concepts in Heterogeneous IP Multi-domains Networks. NEW2AN 2006: 259-270 |
2005 | ||
74 | 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 | |
73 | EE | 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 |
72 | EE | Thierry Rakotoarivelo, Patrick Sénac, Aruna Seneviratne, Michel Diaz: Enhancing QoS Through Alternate Path: An End-to-End Framework. ICN (1) 2005: 125-132 |
71 | EE | Ernesto Exposito, Patrick Sénac, Michel Diaz: Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms. MMM 2005: 413-420 |
70 | EE | 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 |
69 | EE | 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 |
68 | EE | 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 | ||
67 | EE | Ernesto Exposito, Michel Diaz, Patrick Sénac: Design Principles of a QoS-Oriented Transport Protocol. INTELLCOMM 2004: 151-159 |
66 | EE | Ernesto Exposito, Patrick Sénac, Michel Diaz: UML-SDL modelling of the FPTP QoS oriented transport protocol. MMM 2004: 153-160 |
65 | 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 | ||
64 | Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz: XQOS: XML-based QoS Specification Language. MMM 2003: 114-134 | |
63 | EE | 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 | ||
62 | Michel Diaz: Architecture and Design of New Multimedia Multicast Protocols. ICNP 2002 | |
61 | Ernesto Exposito, Mathieu Gineste, Romain Peyrichou, Patrick Sénac, Michel Diaz: XQOS: A Quality of Service Specification Language. ICWI 2002: 648-652 | |
60 | EE | Ernesto Exposito, Patrick Sénac, David Garduno, Michel Diaz, Manuel Urueña: Deploying New QoS Aware Transport Services. IDMS/PROMS 2002: 141-153 |
59 | EE | 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 |
58 | EE | 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) |
57 | 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 | ||
56 | EE | 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 |
55 | EE | Patrick Sénac, Ernesto Exposito, Michel Diaz: Towards a New Generation of Generic Transport Protocols. IWDC 2001: 492-506 |
54 | Saul Pomares Hernandez, Jean Fanchon, Khalil Drira, Michel Diaz: Causal Broadcast Protocol for Very Large Group Communication Systems. OPODIS 2001: 175-188 | |
53 | Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz: Services, Methodologies and Platforms for Cooperative Environments. OPODIS 2001: 213-234 | |
52 | EE | 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 |
51 | EE | 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 | ||
50 | EE | Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz: A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. EUROMICRO 2000: 2158-2165 |
49 | 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 | |
48 | EE | 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 | ||
47 | Jonathan Billington, Michel Diaz, Grzegorz Rozenberg: Application of Petri Nets to Communication Networks, Advances in Petri Nets Springer 1999 | |
46 | 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 | |
45 | EE | 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 |
44 | 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 | |
43 | EE | Thierry Villemur, Khalil Drira, Michel Diaz: Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. FTDCS 1999: 119-124 |
42 | EE | Luis Rojas-Cardenas, Laurent Dairaine, Patrick Sénac, Michel Diaz: An Adaptive Transport Service for Multimedia Streams. ICMCS, Vol. 2 1999: 414-419 |
41 | Thierry Villemur, Michel Diaz: A Collaborative Membership Service and Protocol for Structured Groups. PDPTA 1999: 2115-2121 | |
40 | 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) | |
39 | EE | 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) |
38 | Philippe Owezarski, Michel Diaz: New architecture for enforcing multimedia synchronization in videoconferencing applications. Telecommunication Systems 11(1-2): 161-185 (1999) | |
1998 | ||
37 | EE | Marc Boyer, Philippe Owezarski, Michel Diaz: Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. IDMS 1998: 171-182 |
36 | EE | Thierry Villemur, Véronique Baudin, Stéphane Owezarski, Michel Diaz: An Integrated Platform for Cooperative Teleteaching. IDMS 1998: 59-70 |
35 | EE | Thierry Villemur, Philippe Owezarski, Michel Diaz: N-TSVS: a Videoconference Tool for Generic Cooperative Groups. MMM 1998: 102-111 |
34 | EE | 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 | ||
33 | Michel Fournier, Christophe Chassot, Michel Diaz, André Lozes: Performance evaluations of partial order connections. HPN 1997: 232-246 | |
1996 | ||
32 | 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 | |
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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |