Michel Diaz

According to our database1, Michel Diaz authored at least 124 papers between 1974 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Modelling Time Using Petri Nets.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2015
Modelling mobile opportunistic networks - From mobility to structural and behavioural analysis.
Ad Hoc Networks, 2015

2014
Towards resilient cyber-physical systems: The ADREAM project.
Proceedings of the 9th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2014

2013
A cross-layer architecture to improve mobile host rate performance and to solve unfairness problem in WLANs.
Telecommun. Syst., 2013

ATP: A Microprotocol Approach to Autonomic Communication.
IEEE Trans. Computers, 2013

How disorder impacts routing in human-centric disruption tolerant networks.
Proceedings of the 2013 ACM SIGCOMM workshop on Future human-centric multimedia networking, 2013

Supporting end-to-end internet QoS for DDS-based large-scale distributed simulation.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

On the impact of disorder on dynamic network navigation.
Proceedings of the 2013 Proceedings IEEE INFOCOM Workshops, 2013

2012
Understanding and modeling the small-world phenomenon in dynamic networks.
Proceedings of the 15th ACM International Conference on Modeling, 2012

2011
Knowledge Base for an Autonomic Transport Layer.
Proceedings of the Wired/Wireless Internet Communications, 2011

A Path Selection Criterion for Advance Resource Reservation.
Proceedings of the 4th IFIP International Conference on New Technologies, 2011

STEPS - An Approach for Human Mobility Modeling.
Proceedings of the NETWORKING 2011, 2011

Swarm-based intelligent routing (SIR): a new approach for efficient routing in content centric delay tolerant networks.
Proceedings of the 9th ACM International Workshop on Mobility Management & Wireless Access, 2011

Pervasive Intelligent Routing in Content Centric Delay Tolerant Networks.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011

2010
W-NINE: A Two-Stage Emulation Platform for Mobile and Wireless Systems.
EURASIP J. Wirel. Commun. Netw., 2010

2009
EuQoS: End-to-End Quality of Service over Heterogeneous Networks.
Comput. Commun., 2009

Optimization of WiMax modulation scheme with a cross layer erasure code.
Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009

Path prediction for resource reservation between mobile nodes.
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

Quality of Service Specifications: A Semantic Approach.
Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

An opportunistic indoors positioning scheme based on estimated positions.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

2008
A novel Middleware for the Mobility Management Over the Internet.
Proceedings of the 9th IEEE International Symposium on a World of Wireless, 2008

Mobile TFRC: a congestion control for WLANs.
Proceedings of the 9th IEEE International Symposium on a World of Wireless, 2008

Cross-layer based congestion control for WLANs.
Proceedings of the 5th International ICST Conference on Heterogeneous Networking for Quality, 2008

Inter-domain QoS signaling under mobility.
Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks.
Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008

User Profile-Based Authorization Policies for Network QoS Services.
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Cross-layer based erasure code to reduce the 802.11 performance anomaly: when FEC meets ARF.
Proceedings of the Sixth ACM International Workshop on Mobility Management & Wireless Access, 2008

Barycentric Location Estimation for Indoors Localization in Opportunistic Wireless Networks.
Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

STAMP: Towards A Scalable Topology Announcement and Management Protocol.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007
SPAD: A distributed middleware architecture for QoS enhanced alternate path discovery.
Comput. Networks, 2007

The EuQoS system: a solution for QoS routing in heterogeneous networks [Quality of Service based Routing Algorithms for Heterogeneous Networks].
IEEE Commun. Mag., 2007

Improved IP-Level Emulation for Mobile and Wireless Systems.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

An Aggregated Delay|Bandwidth Star Scheme for Admission Control.
Proceedings of the IEEE 18th International Symposium on Personal, 2007

A New Approximation Model for Guaranteed QoS Information Aggregation.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths.
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

2006
Signalling Concepts in Heterogeneous IP Multi-domains Networks.
Proceedings of the Next Generation Teletraffic and Wired/Wireless Advanced Networking, 2006

Heterogeneity and Signalling in IP Multi Domains.
Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

A Proactive Scheme for QoS Enhanced Alternate Path Discovery in a Super-Peer Architecture.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

2005
A Model for Content and Communication Management in Synchronous Learning.
J. Educ. Technol. Soc., 2005

Bringing Mobility to Synchronous Collaborative Activities: Recent Enhancements of the "Platine" Platform.
Proceedings of the Third IEEE International Workshop on Wireless and Mobile Technologies in Education, 2005

Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms.
Proceedings of the 11th International Conference on Multi Media Modeling (MMM 2005), 2005

End to End Quality of Service over Heterogeneous Networks <i>EuQoS</i>.
Proceedings of the Network Control and Engineering for QoS, 2005

Enhancing QoS Through Alternate Path: An End-to-End Framework.
Proceedings of the Networking, 2005

A Structured Peer-to-Peer Method to Discover QoS Enhanced Alternate Paths.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

2004
Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés.
Tech. Sci. Informatiques, 2004

UML-SDL modelling of the FPTP QoS oriented transport protocol.
Proceedings of the 10th International Multimedia Modeling Conference (MMM 2004), 2004

Distant e-learning using synchronous collaborative environment "Platine".
Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

Design Principles of a QoS-Oriented Transport Protocol.
Proceedings of the Intelligence in Communication Systems, IFIP International Conference, 2004

Two-Stage Wireless Network Emulation.
Proceedings of the Broadband Satellite Comunication Systems and the Challenges of Mobility, 2004

2003
A multimedia architecture for 802.11b networks.
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

Automatic Management of the QoS within an Architecture Integrating New Transport and IP Services in a DiffServ Internet.
Proceedings of the Management of Multimedia Networks and Services, 2003

XQOS: XML-based QoS Specification Language.
Proceedings of the 9th International Conference on Multi-Media Modeling, 2003

FPTP: the XQoS aware and fully programmable transport protocol.
Proceedings of the 11th IEEE International Conference on Networks, 2003

2002
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java.
Multim. Tools Appl., 2002

Formal design and development of a Corba-based application for cooperative HTML group editing support.
J. Syst. Softw., 2002

Multimedia multi-networking: A new concept.
Ann. des Télécommunications, 2002

Supporting distributed experts in e-meetings for synchronous collaboration.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

An Active Network Approach to Support Multimedia Relays.
Proceedings of the Protocols and Systems for Interactive Distributed Multimedia, 2002

Deploying New QoS Aware Transport Services.
Proceedings of the Protocols and Systems for Interactive Distributed Multimedia, 2002

Architecture and Design of New Multimedia Multicast Protocols.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

XQOS: A Quality of Service Specification Language.
Proceedings of the IADIS International Conference WWW/Internet 2002, 2002

2001
A Design Methodology Applied to Distance Learning Support Software.
Interact. Learn. Environ., 2001

Cooperative Systems for Information Sharing and Exchange.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

GCAP: A New Multimedia Multicast Architecture for QoS.
Proceedings of the Protocols for Multimedia Systems, 6th International Conference, 2001

Multiple Enabledness of Transitions in Petri Nets with Time.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Services, Methodologies and Platforms for Cooperative Environments.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Causal Broadcast Protocol for Very Large Group Communication Systems.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Towards a New Generation of Generic Transport Protocols.
Proceedings of the Evolutionary Trends of the Internet, 2001

Conception, Implementation, and Evaluation of a QoS-Based Architecture for an IP Environment Supporting Differentiated Services.
Proceedings of the Interactive Distributed Multimedia Systems, 2001

2000
Implementing a User Level Multimedia Transport Protocol in Java.
Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000

M3POC: A Multimedia Multicast Transport Protocol for Cooperative Applications.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

A Multi-Paradigm Layered Architecture for Synchronous Distance Learning.
Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999
New architecture for enforcing multimedia synchronization in videoconferencing applications.
Telecommun. Syst., 1999

Transport of video over partial order connections.
Comput. Networks, 1999

Multimedia tools supporting the work of distributed synchronous cooperative groups.
Clust. Comput., 1999

Towards a new generation of transport services adapted to multimedia applications.
Ann. des Télécommunications, 1999

Non equivalence between time Petri nets and time stream Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

A Collaborative Membership Service and Protocol for Structured Groups.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

An Adaptive Transport Service for Multimedia Streams.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

A Cooperation Service for CORBA Objects. From the Model to the Applications.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
A time-efficient architecture for multimedia applications.
IEEE J. Sel. Areas Commun., 1998

N-TSVS: a Videoconference Tool for Generic Cooperative Groups.
Proceedings of the 1998 MultiMedia Modeling (MMM '98), 1998

Temporal Partial Order and Partial Reliability Service for Distributed Multimedia Applications.
Proceedings of the 1998 MultiMedia Modeling (MMM '98), 1998

An Integrated Platform for Cooperative Teleteaching.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1998

Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1998

1997
From multimedia models to multimedia transport protocols.
Comput. Networks ISDN Syst., 1997

Performance evaluations of partial order connections.
Proceedings of the High Performance Networking VII, IFIP TC6 Seventh International Conference on High Performance Networking (HPN'97), White Plains, New York, USA, 28th April, 1997

1996
Modeling Logical and Temporal Synchronization in Hypermedia Systems.
IEEE J. Sel. Areas Commun., 1996

From the partial order connection concept to partial order multimedia transport connections.
J. High Speed Networks, 1996

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.
Comput. Commun., 1996

Multimedia partial order transport architecture: design and implementation.
Proceedings of the Protocols for High-Speed Networks V, 1996

Hypermedia Document Design Using the HTSPN Model.
Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996

Models for Enforcing Multimedia Synchronization in Visioconference Applications.
Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996

A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1996

1995
Formal design of cooperative systems.
Proceedings of the Protocol Specification, 1995

Introducing Multimedia Synchronization into the World-Wide Web.
Proceedings of the International Conference on Multimedia Networking, 1995

On the definition and representation of the quality of service for multimedia systems.
Proceedings of the High Performance Networking VI, 1995

Service Definition of a Multimedia Partial Order Connection.
Proceedings of the Teleservices and Multimedia Communications, 1995

1994
Observer-A Concept for Formal On-Line Validation of Distributed Systems.
IEEE Trans. Software Eng., 1994

Partial-order transport service for multimedia and other applications.
IEEE/ACM Trans. Netw., 1994

Time Stream Petri Nets: A Model for Timed Multimedia Information.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993
Membership services and protocols for cooperative frameworks of processes.
Comput. Commun., 1993

Time Stream Petri Nets: A Model for Multimedia Streams Synchronization.
Proceedings of the 1st International Conference on Multi-Media Modeling, 1993

Partial Order Transport Service for Multimedia Applications: Reliable Service.
Proceedings of the Second International Symposium on High Performance Distributed Computing, 1993

1991
Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
IEEE Trans. Software Eng., 1991

Time in State Based Formal Description Techniques for Distributed Systems.
Proceedings of the Real-Time: Theory in Practice, 1991

1989
Axioms of Communication Using Temporal Logic with Past.
Proceedings of the Protocol Specification, 1989

Experiences Using Estelle Within SEDOS Estelle Demonstrator.
Proceedings of the Formal Description Techniques, 1989

1986
Petri Nets Based Models in the Specification and Verification of Protocols.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985
Observer: a run-time checking tool for local area networks.
Proceedings of the Protocol Specification, 1985

An approach for evaluating formal description techniques.
Proceedings of the Protocol Specification, 1985

1984
Petri net based models for the specification and validation of protocols.
Proceedings of the Advances in Petri Nets 1984, 1984

1983
Specification and Validation of Protocols by Temporal Logic and Nets.
Proceedings of the Information Processing 83, 1983

1982
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control.
IEEE Trans. Computers, 1982

Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.
Comput. Networks, 1982

Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.
Proceedings of the Protocol Specification, 1982

Self-Checking software in distributed systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981
Towards Fault Tolerant Real Time Systems by Using Petri Nets.
Proceedings of the Application and Theory of Petri Nets, 1981

1979
Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.
IEEE Trans. Computers, 1979

1976
Petri nets as a common tool for design verification and hardware simulation.
Proceedings of the 13th Design Automation Conference, 1976

1974
On-Set Realization of Fail-Safe Sequential Machines.
IEEE Trans. Computers, 1974


  Loading...