| 2008 |
|---|
| 51 | EE | Mohamed Ali Kâafar,
Bamba Gueye,
Francois Cantin,
Guy Leduc,
Laurent Mathy:
Towards a Two-Tier Internet Coordinate System to Mitigate the Impact of Triangle Inequality Violations.
Networking 2008: 397-408 |
| 50 | EE | Sandrine Calomme,
Guy Leduc:
An Overlay Maintenance Protocol for Overlay Routing on Top of Ad Hoc Networks.
Networking 2008: 48-59 |
| 49 | EE | Simon Balon,
Guy Leduc:
Combined Intra- and Inter-domain Traffic Engineering using Hot-Potato Aware Link Weights Optimization
CoRR abs/0803.2824: (2008) |
| 2007 |
|---|
| 48 | EE | Simon Balon,
Guy Leduc:
Can Forwarding Loops Appear When Activating iBGP Multipath Load Sharing?
AINTEC 2007: 213-225 |
| 47 | EE | Sandrine Calomme,
Guy Leduc:
Efficient and Resilient Overlay Topologies over Ad Hoc Networks.
IWSOS 2007: 44-58 |
| 46 | EE | Jean-Marc François,
Guy Leduc:
Delivery Guarantees in Predictable Disruption Tolerant Networks.
Networking 2007: 167-178 |
| 45 | EE | Jean-Marc François,
Guy Leduc:
AP and MN-Centric Mobility Prediction: A Comparative Study Based on Wireless Traces.
Networking 2007: 322-332 |
| 44 | EE | Christophe Jelger,
Christian F. Tschudin,
Stefan Schmid,
Guy Leduc:
Basic Abstractions for an Autonomic Network Architecture.
WOWMOM 2007: 1-6 |
| 43 | EE | Ibtissam El Khayat,
Pierre Geurts,
Guy Leduc:
Machine-learnt versus analytical models of TCP throughput.
Computer Networks 51(10): 2631-2644 (2007) |
| 2006 |
|---|
| 42 | | Dominique Gaïti,
Guy Pujolle,
Ehab S. Al-Shaer,
Kenneth L. Calvert,
Simon A. Dobson,
Guy Leduc,
Olli Martikainen:
Autonomic Networking, First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings
Springer 2006 |
| 41 | EE | Jean Lepropre,
Guy Leduc:
Inferring groups of correlated failures.
CoNEXT 2006: 33 |
| 40 | EE | Ibtissam El Khayat,
Pierre Geurts,
Guy Leduc:
On the Accuracy of Analytical Models of TCP Throughput.
Networking 2006: 488-500 |
| 39 | EE | Simon Balon,
Fabian Skivée,
Guy Leduc:
How Well Do Traffic Engineering Objective Functions Meet TE Requirements?.
Networking 2006: 75-86 |
| 38 | | CongDuc Pham,
Guy Leduc:
Foreword.
Annales des Télécommunications 61(1-2): 2-4 (2006) |
| 37 | EE | Jean-Marc François,
Guy Leduc:
Predictable Disruption Tolerant Networks and Delivery Guarantees
CoRR abs/cs/0612034: (2006) |
| 36 | EE | Guy Leduc,
Henrik Abrahamsson,
Simon Balon,
Sandford Bessler,
Maurizio D'Arienzo,
Olivier Delcourt,
Jordi Domingo-Pascual,
Selin Cerav-Erbas,
I. Gojmerac,
Xavier Masip-Bruin,
Antonio Pescapè,
Bruno Quoitin,
S. F. Romano,
E. Salvatori,
Fabian Skivée,
Hung Tuan Tran,
Steve Uhlig,
Hakan Ümit:
An open source traffic engineering toolbox.
Computer Communications 29(5): 593-610 (2006) |
| 35 | EE | Simon Balon,
Laurent Mélon,
Guy Leduc:
A scalable and decentralized fast-rerouting scheme with efficient bandwidth sharing.
Computer Networks 50(16): 3043-3063 (2006) |
| 34 | EE | Nicolas Bonmariage,
Guy Leduc:
A survey of optimal network congestion control for unicast and multicast transmission.
Computer Networks 50(3): 448-468 (2006) |
| 2005 |
|---|
| 33 | EE | Jean-Marc François,
Guy Leduc:
Entropy-based knowledge spreading and application to mobility prediction.
CoNEXT 2005: 10-20 |
| 32 | EE | Simon Balon,
Fabian Skivée,
Guy Leduc:
Comparing traffic engineering objective functions.
CoNEXT 2005: 224-225 |
| 31 | EE | Sylvain Martin,
Guy Leduc:
An Active Platform as Middleware for Services and Communities Discovery.
International Conference on Computational Science (3) 2005: 237-245 |
| 30 | EE | Ibtissam El Khayat,
Pierre Geurts,
Guy Leduc:
Improving TCP in Wireless Networks with an Adaptive Machine-Learnt Classifier of Packet Loss Causes.
NETWORKING 2005: 549-560 |
| 29 | EE | Jean-Marc François,
Guy Leduc:
Mobility Prediction's Influence on QoS in Wireless Networks: A Study on a Call Admission Algorithm.
WiOpt 2005: 238-247 |
| 2004 |
|---|
| 28 | | Omar Ait-Hellal,
Guy Leduc:
TCP Vegas-like Algorithm for Layered multicast Transmission.
Communications in Computing 2004: 58-64 |
| 27 | EE | Pierre Geurts,
Ibtissam El Khayat,
Guy Leduc:
A Machine Learning Approach to Improve Congestion Control over Wireless Computer Networks.
ICDM 2004: 383-386 |
| 26 | EE | Fabian Skivée,
Guy Leduc:
A Distributed Algorithm for Weighted Max-Min Fairness in MPLS Networks.
ICT 2004: 644-653 |
| 2003 |
|---|
| 25 | EE | Sylvain Martin,
Guy Leduc:
A Dynamic Neighbourhood Discovery Protocol for Active Overlay Networks.
IWAN 2003: 151-162 |
| 24 | EE | Ibtissam El Khayat,
Guy Leduc:
Smoothing the TCP Rate by Learning the Delay versus Window Size Dependency.
MIPS 2003: 78-90 |
| 23 | EE | François Blanchy,
Laurent Mélon,
Guy Leduc:
A Preemption-Aware On-line Routing Algorithm for MPLS Networks.
Telecommunication Systems 24(2-4): 187-206 (2003) |
| 2002 |
|---|
| 22 | EE | Sylvain Martin,
Guy Leduc:
RADAR: Ring-Based Adaptive Discovery of Active Neighbour Routers.
IWAN 2002: 62-73 |
| 2001 |
|---|
| 21 | EE | Ibtissam El Khayat,
Guy Leduc:
A Stable and Flexible TCP-Friendly Congestion Control Protocol for Layered Multicast Transmission.
IDMS 2001: 154-167 |
| 2000 |
|---|
| 20 | EE | Lidia Yamamoto,
Guy Leduc:
An Active Layered Multicast Adaptation Protocol.
IWAN 2000: 179-194 |
| 19 | EE | Lidia Yamamoto,
Guy Leduc:
An Agent-Inspired Active Network Resource Trading Model Applied to Congestion Control.
MATA 2000: 151-170 |
| 18 | EE | Guy Leduc,
François Germeau:
Verification of security protocols using LOTOS-method and application.
Computer Communications 23(12): 1089-1103 (2000) |
| 1999 |
|---|
| 17 | | Mudassir Tufail,
Geoffroy Jennes,
Guy Leduc:
A Scheduler for Delay-Based Service Differentiation Among AF Classes.
Broadband Communications 1999: 93-102 |
| 16 | | Guy Leduc,
Olivier Bonaventure,
Luc Léonard,
E. Koerner,
Charles Pecheur:
Model-Based Verification of a Security Protocol for Conditional Access to Services.
Formal Methods in System Design 14(2): 171-191 (1999) |
| 1998 |
|---|
| 15 | EE | Luc Léonard,
Guy Leduc:
A Formal Definition of Time in LOTOS.
Formal Asp. Comput. 10(3): 248-266 (1998) |
| 1997 |
|---|
| 14 | | François Germeau,
Guy Leduc:
A Computer Aided Design of a Secure Registration Protocol.
FORTE 1997: 145-160 |
| 13 | EE | Luc Léonard,
Guy Leduc:
An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems.
Computer Networks and ISDN Systems 29(3): 271-292 (1997) |
| 1994 |
|---|
| 12 | | Laurent Mathy,
Guy Leduc,
Olivier Bonaventure,
André A. S. Danthine:
A Group Communication Framework.
Broadband Islands 1994: 167-178 |
| 11 | | Guy Leduc:
Failure-based congruences, unfair divergences and new testing theory.
PSTV 1994: 252-267 |
| 1993 |
|---|
| 10 | | André A. S. Danthine,
Guy Leduc,
Pierre Wolper:
Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993
North-Holland 1993 |
| 9 | | Luc Léonard,
Guy Leduc:
An Enhanced Version of Timed LOTOS and its Application to a Case Study.
FORTE 1993: 483-498 |
| 1992 |
|---|
| 8 | | Guy Leduc,
Luc Léonard:
A timed LOTOS supporting a dense time domain and including new timed operators.
FORTE 1992: 87-102 |
| 7 | | André A. S. Danthine,
Yves Baguette,
Guy Leduc,
Luc Léonard:
The OSI 95 Connection-MJode Transport Service: The Enhanced QoS.
HPN 1992: 235-252 |
| 6 | | Guy Leduc:
A Framework Based on Implementation Relations for Implementing LOTOS Specifications.
Computer Networks and ISDN Systems 25(1): 23-41 (1992) |
| 1991 |
|---|
| 5 | | Guy Leduc:
An Upward Compatible Timed Extension to LOTOS.
FORTE 1991: 217-232 |
| 4 | | Eric Lallemand,
Guy Leduc:
A LOTOS Data Facility Compiler (DAFY).
FORTE 1991: 313-327 |
| 3 | | Guy Leduc:
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS.
PSTV 1991: 249-264 |
| 1987 |
|---|
| 2 | | Guy Leduc:
The Intertwining of Data Types and Processes in LOTOS.
PSTV 1987: 123-136 |
| 1985 |
|---|
| 1 | | Guy Leduc:
Assessing the service provided by a connection-less protocol.
PSTV 1985: 215-234 |
