Guy Leduc - Bibliography
ULg Research Unit in Networking RUN
Guy Leduc - Bibliography



Publications
Other talks without publication
Some reports published in a standardization framework

1. Publications

1.1. Books

1.2.1. Books as (co)author

* On the role of implementation relations in the design of distributed systems
G. Leduc
PhD Thesis, Thèse d'agrégation de l'enseignement supérieur (AES)
Collection des Publications de la Faculté des Sciences Appliquées de l'Université de Liège, nr. 130, 1991, 283 pp.

1.2.2. Books as (co)editor

* Autonomic Networking
D. Gaiti, G. Pujolle, E. Al-Shaer, K. Calvert, S. Dobson, G. Leduc, O. Martikainen (Eds.)
Proc. of First International IFIP TC6 Conference on Autonomic Networking (AN 2006), Paris, France, 27-29 Sep. 2006
Springer, 2006, 316 pp.
ISBN 3-540-45891-3
Table of contents
* CFIP'97 Ingénierie des protocoles
G. Leduc (Ed.)
Actes de Colloque Francophone sur l'Ingénierie des Protocoles, Liège, Belgique, 29 Sep.-2 Oct. 1997
Hermès, 1997, 415 pp.
ISBN 2-86601-639-4
Table des matires
* Protocol Specification, Testing and Verification, XIII
A. Danthine, G. Leduc, P. Wolper (Eds.)
Proc. of IFIP TC6/WG6.1, 13th International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May 1993
Elsevier Science Publishers BV (North Holland), 1993, 380 pp.
ISBN 0-444-81648-8
Table of contents

1.2. Papers

* On the Analysis of Internet Paths with DisNETPerf, a Distributed Paths Performance Analyser
S. Wassermann, P. Casas, B. Donnet, G. Leduc and M. Mellia
Proc. of IEEE Workshop on Network Measurements (WMN), 7-10 Nov. 2016, Dubai, UAE
* A Lightweight Network Proximity Service Based On Neighborhood Models
Y. Liao, W. Du and G. Leduc
Proc. of 22nd IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT), 24 Nov. 2015, Luxembourg, Luxembourg
* Rating Network Paths for Locality-Aware Overlay Construction and Routing
W. Du, Y. Liao, N. Tao, P. Geurts, X. Fu and G. Leduc
Keywords : matrix factorization, network inference, rating-based network measurement, recommender system
IEEE/ACM Transactions on Networking, vol. 23, nb. 5, 2015, pp. 1661-1673
* Towards a Standards-Based Cloud Service Manager
A. Ghrab, S. Skhiri, H. Koener and G. Leduc
Keywords : Cloud Computing, OCCI, Service Management
Proc. of 3rd International Conference on Cloud Computing and Services Science (CLOSER 2013), 8-10 May 2013, Aachen, Germany
* Outbound SPIT Filter with Optimal Performance Guarantees
T. Jung, S. Martin, M. Nassar, D. Ernst and G. Leduc
Read the abstract
Computer Networks, vol. 57, nb. 7, Feb. 2013, pp. 1630-1643
* DMFSGD: A Decentralized Matrix Factorization Algorithm for Network Distance Prediction
Y. Liao, W. Du, P. Geurts and G. Leduc
Read the abstract
IEEE/ACM Transactions on Networking, vol. 21, nb. 5, Oct. 2013, pp. 1511-1524
* Contextual Multi-armed Bandits for the Prevention of Spam in VoIP Networks
T. Jung, S. Martin, D. Ernst and G. Leduc
arXiv, nb. 1201.6181, 2012
* Editorial for Computer Networks special issue on “Measurement-based optimization of P2P networking and applications”
X. Fu, Y. Chen, G. Leduc and L. Mathy
Read the abstract
Computer Networks, vol. 56, nb. 3, Feb. 2012, pp. 1077-1079
* Contextual Multi-armed Bandits for Web Server Defense
T. Jung, S. Martin, D. Ernst and G. Leduc
Read the abstract
Proc. of the 2012 International Joint Conference on Neural Networks (IJCNN), 10-15 Jun. 2012, Brisbane, Australia, Hussein, Abbas (eds.), pp. 1-8, IEEE
* SPRT for SPIT: Using the Sequential Probability Ratio Test for Spam in VoIP Prevention
T. Jung, S. Martin, D. Ernst and G. Leduc
Keywords : VoIP, spam, filtering, statistical, opti
Mots-cls : voix sur IP, filtre, statistiques, optim
Read the abstract
Lisez le rsum
Proc. of 6th International Conference on Autonomous Infrastructure, Management and Security (AIMS), 4-8 Jun. 2012, Luxembourg, Luxembourg
* DISco: a Distributed Information Store for Network Challenges and Their Outcome
S. Martin, L. Chiarello and G. Leduc
Keywords : autonomic agents, distributed network management, peer-to-peer, resumenet
Mots-cls : agents autonomiques, gestion distribuée, ResumeNet, systèmes pair-à-pair
Read the abstract
Lisez le rsum
Proc. of DANMS 2012, 16-20 Apr. 2012, Maui, Hawaii
* Decentralized Prediction of End-to-End Network Performance Classes
Y. Liao, W. Du, P. Geurts and G. Leduc
Read the abstract
Download the PDF document
Proc. of The 7th International Conference on emerging Networking EXperiments and Technologies (CoNEXT), 6-9 Dec. 2011, Tokyo, Japan, ACM
* Using Decision Trees for Generating Adaptive SPIT Signatures
M. Nassar, S. Martin, G. Leduc and O. Festor
Download the PDF document
Proc. of 4th International Conference on Security of Information and Networks (SIN 2011), 14-19 Nov. 2011, Sydney, Australia
* Finding Routing Shortcuts using an Internet Coordinate System
F. Cantin and G. Leduc
Keywords : Internet coordinate system, Networking, Overlay routing, Routing shortcuts, Vivaldi
Read the abstract
Download the PDF document
Proc. of Fifth International Workshop on Self-Organizing Systems (IWSoS), 23-24 Feb. 2011, Karlsruhe, Germany, LNCS, Springer
* Network Distance Prediction Based on Decentralized Matrix Factorization
Y. Liao, P. Geurts and G. Leduc
Proc. of IFIP Networking 2010, 11-13 May 2010, Chennai, India, M. Crovella, L. Feeney, D. Rubenstein, S. V. Raghavan (eds.), LNCS, 6091, pp. 15-26, Springer
(Acceptance ratio = 24/101 = 24%). Best paper award.
* Enhancement of TCP over wired/wireless networks with packet loss classifiers inferred by supervised learning
I. El Khayat, P. Geurts and G. Leduc
Wireless Networks, vol. 16, nb. 2, Feb. 2010, pp. 273-290
(ISI IF 2008 = 1.194)
* Resolving the Noxious Effect of Churn on Internet Coordinate Systems
B. Gueye and G. Leduc
Keywords : ICS, Node Churn, Clustering
Read the abstract
Download the PDF document
To appear in: IWSOS 2009 - December 9 -11, Zurich, Switzerland
* Optimisation des débits des couches d'une transmission vidéo multipoint avec une meilleure prise en compte du surcoût d'encodage
C. Soldani and G. Leduc
Read the abstract
Download the PDF document
Actes de CFIP 2009, 12-15 Oct. 2009, Strasbourg, France
* Transformation non linéaire des distances : une solution au problème des violations d'inégalités triangulaires dans les systèmes de coordonnées ?
F. Cantin, G. Leduc and B. Gueye
Read the abstract
Download the PDF document
Actes de CFIP 2009, 12-15 Oct. 2009, Strasbourg, France
* Triangle Inequality Violation Avoidance in Internet Coordinate Systems
Y. Liao and G. Leduc
Trilogy Future Internet Summer School, 24-28 Aug. 2009, Louvain-la-Neuve, Belgium
Poster
* A Practical Bytecode Interpreter for Programmable Routers on Network Processor
S. Martin and G. Leduc
Read the abstract
Download the PDF document
Computer Networks, vol. 53, nb. 15, Oct. 2009, pp. 2740-2751
(ISI IF 2008 = 1.304)
* Detecting Triangle Inequality Violations in Internet Coordinate Systems by Supervised Learning - Work in Progress
Y. Liao, M. Kaafar, B. Gueye, F. Cantin, P. Geurts and G. Leduc
Proc. of Networking 2009, 12-14 May 2009, Aachen, Germany, L. Fratta, H. Schulzrinne, Y. Takahashi, O. Spaniol (eds.), LNCS, 5550, pp. 352-363, Springer
* Detecting Triangle Inequality Violations for Internet Coordinate Systems
M. Kaafar, F. Cantin, B. Gueye and G. Leduc
Download the PDF document
Proc. of Future Networks 2009 workshop, 18 Jun. 2009, Dresden, Germany
* BGP-aware IGP Link Weight Optimization in Presence of Route Reflectors
S. Balon and G. Leduc
Proc. of IEEE INFOCOM, 20-24 Apr. 2009, Rio de Janeiro, Brazil, pp. 316-324
(Acceptance ratio = 282/1435 = 20%)
* Routing Based on Delivery Distributions in Predictable Disruption Tolerant Networks
J.-M. François and G. Leduc
Ad Hoc Networks Journal, vol. 7, nb. 1, Jan. 2009, pp. 219-229
* Overlay Routing using Coordinate Systems
F. Cantin, B. Gueye, M. Kaafar and G. Leduc
Proc. of ACM CoNEXT Student Workshop, 9 Dec. 2008, Madrid, Spain
* A Self-Organized clustering scheme for overlay networks
F. Cantin, B. Gueye, M. Kaafar and G. Leduc
Download the PDF document
Proc. of International Workshop on Self-Organized Systems (IWSOS), 10-12 Dec. 2008, Vienna, Austria, K. Hummel, J. Sterbenz (eds.), Self-Organizing Systems, LNCS, 5343, pp. 59-70, Springer
* Towards a Two-Tier Internet coordinate system to mitigate the impact of Triangle Inequality Violations
M. Kaafar, B. Gueye, F. Cantin, G. Leduc and L. Mathy
Download the PDF document
Proc. of IFIP Networking 2008, 6-8 May 2008, Singapore, LNCS, 4982, pp. 397-408, Springer
(Acceptance ratio = 82/250 = 33%)
* An overlay maintenance protocol for overlay routing on top of ad hoc networks
S. Calomme and G. Leduc
Keywords : ad hoc, overlay, topology
Read the abstract
Proc. of IFIP Networking 2008, 6-8 May 2008, Singapore, LNCS, 4982, pp. 48-59, Springer
(Acceptance ratio = 82/250 = 33%)
* Explication et réduction de l'impact des violations d'inégalités triangulaires dans Vivaldi
F. Cantin, B. Gueye, M. Kaafar, G. Leduc and L. Mathy
Actes de Colloque Francophone sur l’Ingénierie des Protocoles (CFIP), 25-28 mar. 2008, Les Arcs, France, A. Duda et R. Groz (ed.), p. 12
(Acceptance ratio = 28/51 = 55%)
* Combined Intra- and Inter-domain Traffic Engineering using Hot-Potato Aware Link Weights Optimization
S. Balon and G. Leduc
Keywords : BGP, Hot-potato Routing, IGP, OSPF, Traffic Engineering
Read the abstract
ACM SIGMETRICS Performance Evaluation Review, vol. 36, nb. 1, June 2008, pp. 441-442
Proc. of ACM SIGMETRICS 2008 - International Conference on Measurement and Modeling of Computer Systems, 2-6 Jun. 2008, Annapolis, Maryland, USA, pp. 441-442
Extended version available on arxiv (arXiv:0803.2824)
* Can Forwarding Loops Appear when Activating iBGP Multipath Load Sharing ?
S. Balon and G. Leduc
Read the abstract
Proc. of the Third Asian Internet Engineering Conference (AINTEC 2007), 27-29 Nov. 2007, Phuket, Thailand, S. Fdida and K. Sugiura (ed.), Sustainable Internet, LNCS, 4866, pp. 213-225, Springer-Verlag
(Acceptance ratio = 14/66 = 21%)
* Efficient and Resilient Overlay Topologies over Ad Hoc Networks
S. Calomme and G. Leduc
Keywords : ad hoc, overlay, topology
Read the abstract
Proc. of International Workshop on Self-Organizing Systems (IWSOS 2007), 11-13 Sep. 2007, Lancaster, United Kingdom, D. Hutchison and R.H. Katz (ed.), Self-Organizing Systems, LNCS, 4725, pp. 44-58, Springer-Verlag
* Ephemeral State Assisted Discovery of Peer-to-Peer Networks
S. Martin and G. Leduc
Keywords : bootstrapping, ephemeral state, Internet, peer-to-peer
Read the abstract
Proc. of IEEE ACNM 2007, 25 May 2007, Munich, Germany, R. Boutaba, M. Brunner, and S. Schmid (eds.), pp. 9-16
* Basic Abstractions for an Autonomic Network Architecture
C. Jelger, C. Tschudin, S. Schmid and G. Leduc
Proc. of First IEEE Workshop on Autonomic and Opportunistic Communications (AOC), 18 Jun. 2007, Helsinki, Finland, IEEE (ed.)
* Delivery Guarantees In Predictable Disruption Tolerant Networks
J.-M. François and G. Leduc
Keywords : Delivery Guarantees, Disrutpion Tolerant Network, Mobility Prediction, Routing
Read the abstract
Download the PDF document
Proc. of IFIP Networking 2007, 14-18 May 2007, Atlanta, Georgia, USA, I.F. Akyildiz et al. (ed.), Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet, LNCS, 4479, pp. 167-178, Springer-Verlag
* AP and MN-centric Mobility Prediction: A Comparative Study Based On Wireless Traces
J.-M. François and G. Leduc
Keywords : AP-centric, Markov chain, MN-centric, mobility prediction
Read the abstract
Download the PDF document
Proc. of IFIP Networking 2007, 14-18 May 2007, Atlanta, GA, USA, I.F. Akyildiz et al. (ed.), Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet, LNCS, 4479, pp. 322-332, Springer-Verlag
* Traffic Engineering an Operational Network with the TOTEM Toolbox
S. Balon, J. Lepropre, O. Delcourt, F. Skivée and G. Leduc
Keywords : BGP, IP, MPLS, TE, TOTEM, Traffic Engineering
Read the abstract
Download the PDF document
IEEE Transactions on Network and Service Management (TNSM), vol. 4, nb. 1, Jun. 2007, pp. 51-61
* Machine-learnt versus analytical models of TCP throughput
I. El Khayat, P. Geurts and G. Leduc
Keywords : machine learning, TCP, throughput models
Download the PDF document
Computer Networks, vol. 51, nb. 10, Jul. 2007, pp. 2631-2644
(ISI IF 2007 = 0.829)
* Predictable Disruption Tolerant Networks and Delivery Guarantees
J.-M. François and G. Leduc
Keywords : Predictable Disruption Tolerant Network
Read the abstract
Download the PDF document or the compressed PostScript (gzip) document
Technical Report, published on arXiv (cs.NI/0612034 v1)
* Inferring Groups of Correlated Failures
J. Lepropre and G. Leduc
Keywords : clustering, failures, inference, SRLG
Mots-cls : clustering, inférence, pannes, SRLG
Read the abstract
Download the PDF document
Proc. of CoNext 2006, Student Workshop, 4-7 Dec. 2006, Lisbon, Portugal.
* Prédiction de mobilité par le mobile ou par le point d'accès: comparaison sur base de traces réelles
J.-M. François and G. Leduc
Keywords : Mobile Networks, Mobility prediction, QoS
Mots-cls : Prédiction de mobilité, QoS, Réseaux mobiles
Read the abstract
Lisez le rsum
Download the PDF document, the PostScript document or the compressed PostScript (gzip) document
Actes de Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2006), 30 Oct.-3 Nov. 2006, Tozeur, Tunisie
(Acceptance ratio = 28/75 = 37%)
* Transport Protocols for Next Generation Networks
Congduc Pham and G. Leduc
Annals of Telecommunications, nbs. 1-2, Jan-Feb 2006, pp. 2-4
Guest editors of this special issue
* Elaboration d'un protocole de contrôle de topologie pour les overlays bâtis sur des réseaux ad hoc
S. Calomme and G. Leduc
Mots-cls : ad hoc, contrôle de topologie, overlay
Lisez le rsum
Actes de Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2006), 30 Oct.-3 Nov. 2006, Tozeur, Tunisie
(Acceptance ratio = 28/75 = 37%)
* Dividing the Traffic Matrix to Approach Optimal Traffic Engineering
S. Balon and G. Leduc
Keywords : IP, MPLS, Optimal Routing, Traffic Engineering
Read the abstract
Proc. of 14th IEEE International Conference on Networks (ICON 2006), 13-15 Sep. 2006, Singapore, Singapore
(Acceptance ratio = 101/261 = 38%)
* A scalable heuristic for hybrid IGP/MPLS traffic engineering - Case study on an operational network
F. Skivée, S. Balon and G. Leduc
Keywords : hybrid IP/MPLS, MPLS, Simulated Annealing, TOTEM, Traffic Engineering
Read the abstract
Proc. of 14th IEEE International Conference on Networks (ICON 2006), 13-15 Sep. 2006, Singapore, Singapore
(Acceptance ratio = 101/261 = 38%)
* Multiple Description Coding versus Transport Layer FEC for Resilient Video Transmission
C. Soldani, F. Verdicchio, G. Leduc and A. Munteanu
Keywords : forward error correction, multicast, multiple description, video coding
Mots-cls : codage vidéo, correction d'erreur, descriptions multiples, multicast
Read the abstract
Download the PDF document
Proc. of ICDT'06, 29-30 Aug. 2006, Cap Estérel, France
One of the best paper awards: http://www.iaria.org/conferences/AwardsICDT06.html
* Neighbour-Based Overlay Topology Control in Ad Hoc Networks
S. Calomme and G. Leduc
ACM MobiHoc, 22-25 May 2006, Florence, Italy
Poster
* TOTEM: A TOolbox for Traffic Engineering Methods
J. Lepropre, S. Balon and G. Leduc
Read the abstract
Download the PDF document
Demonstration at INFOCOM'06, 23-29 April 2006, Barcelona, Spain.
* On the accuracy of analytical models of TCP throughput
I. El Khayat, P. Geurts and G. Leduc
Proc. of IFIP International Networking Conference, 15-19 May 2006, Coimbra, Portugal, LNCS, 3976, pp. 488-500
(Acceptance ratio = 88/440 = 20%, Best Paper Award)
* How Well Do Traffic Engineering Objective Functions Meet TE Requirements?
S. Balon, F. Skivée and G. Leduc
Keywords : Objective Function, Traffic Engineering
Proc. of IFIP International Networking Conference, 15-19 May 2006, Coimbra, Portugal, LNCS, 3976, pp. 75-86
(Acceptance ratio = 88/440 = 20%)
* The Critical Neighbourhood Range for Asymptotic Overlay Connectivity in Ad Hoc Networks
S. Calomme and G. Leduc
Keywords : ad hoc networks, connectivity, overlay, topology control
Read the abstract
Download the PDF document
Ad Hoc & Sensor Wireless Networks, vol. 2, nb. 2, 2006, pp. 169-187
* A scalable and decentralized fast-rerouting scheme with efficient bandwidth sharing
S. Balon, L. Mélon and G. Leduc
Keywords : Backup LSP, Fast Recovery, MPLS, Resource Sharing
Read the abstract
Computer Networks, vol. 50, nb. 16, Nov. 2006, pp. 3043-3063
(ISI IF 2006 = 0.631)
* A survey of optimal network congestion control for unicast and multicast transmission
N. Bonmariage and G. Leduc
Computer Networks, vol. 50, nb. 3, Feb. 2006, pp. 448-468
(ISI IF 2006 = 0.631)
* An Open Source Traffic Engineering Toolbox
G. Leduc, H. Abrahamsson, S. Balon, S. Bessler, M. D'Arienzo, O. Delcourt, J. Domingo-Pascual, S. Cerav-Erbas, I. Gojmerac, X. Masip, A. Pescapè, B. Quoitin, S. P. Romano, E. Salvadori, F. Skivée, H. T. Tran, S. Uhlig and H. Ümit
Computer Communications, vol. 29, nb. 5, March 2006, pp. 593-610
(ISI IF 2006 = 0.444)
* Interpreted Active Packets for Ephemeral State Processing Routers
S. Martin and G. Leduc
Keywords : active network, ephemeral state, network processor
Mots-cls : état éphémère, network processor, réseaux actifs
Read the abstract
Download the PDF document
Proc. of 7th IFIP International Working Conference on Active and Programmable Networks (IWAN), 21-23 Nov. 2005, Sophia Antipolis, France, D. Hutchison, S. Denazis, L. Lefevre, G.J. Minden (eds.), Active and Programmable Networks, LNCS, 4388, pp. 156-167, Springer
(Acceptance ratio for full papers = 13/72 = 18%, ISI IF 2005 LNCS = 0.402)
* Comparing traffic engineering objective functions
S. Balon, F. Skivée and G. Leduc
Keywords : Objective Function, Traffic Engineering
Read the abstract
Download the PDF document
Proc. of Co-Next 2005, Student Workshop, 24-27 Oct. 2005, Toulouse, France, pp. 224-225
* Entropy-based knowledge spreading and application to mobility prediction
J.-M. François and G. Leduc
Keywords : Entropy, Information Theory, Mobility Prediction, QoS
Mots-cls : Entropie, prédiction de mobilité, QoS, théorie de l'Information
Read the abstract
Download the PDF document or the compressed PostScript (gzip) document
Proc. of ACM International conference on Emerging Network Experiments and Technologies (Co-Next), 24-27 Oct. 2005, Toulouse, France, pp. 10-20, ACM Press
(Acceptance ratio = 21/110 = 19%)
* The Critical Neighbourhood Range for Asymptotic Overlay Connectivity in Dense Ad Hoc Networks
S. Calomme and G. Leduc
Read the abstract
Download the PDF document
Proc. of Fourth Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net), 21-24 Jun. 2005, Porquerolles, France, IFIP book series, 197/2006, pp. 179-188, Springer Boston
* An Active Platform as Middleware for Services and Communities Discovery
S. Martin and G. Leduc
Keywords : Active networks, Platform, Service discovery
Read the abstract
Download the compressed PostScript (gzip) document
Proc. of 2nd International Workshop on Active and Programmable Grids Architectures and Components (APGAC), 22-25 May 2005, Atlanta, USA, V. S. Sunderam, G. Dick van Albada, P. M. A. Sloot, et al. (eds.), Computational Science ICCS 2005, Part III, LNCS, 3516, pp. 237-245, Springer-Verlag
(ISI IF 2005 LNCS = 0.402)
* Improving TCP in wireless networks with an adaptive machine-learnt classifier of packet loss causes
I. El Khayat, P. Geurts and G. Leduc
Keywords : Machine Learning, TCP, Wireless
Mots-cls : Apprentissage automatique, Réseaux sans fil, TCP
Read the abstract
Download the PDF document
Proc. of IFIP International Networking Conference, 2-6 May 2005, Waterloo, Ontario, Canada, R. Boutaba, K. Almeroth, R. Puigjaner, S. Shen, J. Black (eds.), Networking 2005, LNCS, 3462, pp. 549-560, Springer-Verlag
(Acceptance ratio = 24%, ISI IF 2005 LNCS = 0.402)
* Architecture d'une boîte à outils d'algorithmes d'ingénierie de trafic et application au réseau GEANT
F. Skivée, S. Balon, O. Delcourt, J. Lepropre and G. Leduc
Mots-cls : MPLS, Boîte à outils, DAMOTE, Géant, Ingénierie de trafic
Read the abstract
Lisez le rsum
Download the PDF document
Actes de Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), 29 Mar.-1 Avr. 2005, Bordeaux, France, Richard Castanet (ed.), Ingénierie des protocoles - Qualité de service, multimédia et mobilité, pp. 317-332, Hermès Lavoisier
(Acceptance ratio = 33/108 = 30.6%)
* Mobility prediction's influence on QoS in wireless networks: a study on a call admission algorithm
J.-M. François and G. Leduc
Keywords : admission control, call blocking, mobility prediction
Read the abstract
Download the PDF document or the compressed PostScript (gzip) document
Proc. of 3rd International Symposium on Modeling and Optimization in Mobile, Ad-hoc and Wireless Networks (WiOpt), 3-7 Apr. 2005, Trentino, Italy, Ravi R. Mazumdar, Ioannis Stavrakakis (eds.), pp. 238-247, IEEE press
(Acceptance ratio = 31 %)
* Enhancement of TCP over wired/wireless networks with packet loss classifiers inferred by supervised learning
I. El Khayat, P. Geurts and G. Leduc
Keywords : loss cause classification, machine learning, TCP, wireless links
Read the abstract
Download the PDF document
Technical Report, March 2004
* A Machine Learning Approach to Improve Congestion Control over Wireless Computer Networks
P. Geurts, I. El Khayat and G. Leduc
Read the abstract
Download the PostScript document
Proc. of The Fourth IEEE International Conference on Data Mining (ICDM 2004), 1-4 Nov. 2004, Brighton, UK, R. Rastogi, K. Morik, M. Bramer et X. Wu (eds.), pp. 383-386, IEEE Press
* Performance Study of an Overlay Approach to Active Routing in Ad Hoc Networks
S. Calomme and G. Leduc
Keywords : active, ad hoc, overlay
Read the abstract
Download the PDF document
Proc. of The Third Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2004), 28-30 Jun. 2004, Bodrum, Turkey, I.F. Akyildiz, E. Cayirci, E. Ekici and G. Morabito (eds.), pp. 24-35
* A Distributed Algorithm for Weighted Max-Min Fairness in MPLS Networks
F. Skivée and G. Leduc
Read the abstract
Download the PDF document
Proc. of 11th IEEE International Conference on Telecommunications (ICT'2004), 1-6 Aug. 2004, Fortaleza, Brazil, J. Neuman de Souza, P. Dini, P. Lorenz (eds.), Telecommunications and Networking, LNCS, 3124, pp. 644-653, Springer Verlag
(ISI IF 2004 LNCS = 0.513)
* TCP Vegas-like algorithm for layered multicast transmission
O. Ait-Hellal and G. Leduc
Read the abstract
Download the PDF document
Proc. of International Conference on Communications in Computing (CIC 2004), 21-24 Jun. 2004, Las Vegas, Nevada, USA, pp. 58-64, CSREA Press
* Learning movement patterns in mobile networks: a generic approach
J.-M. François, G. Leduc and S. Martin
Keywords : Hidden Markov Model, Mobility prediction
Read the abstract
Download the PDF document or the compressed PostScript (gzip) document
Proc. of European Wireless 2004, 24-27 Feb. 2004, Barcelona, Spain, pp. 128-134
* A Dynamic Neighbourhood Discovery Protocol for Active Overlay Networks
S. Martin and G. Leduc
Read the abstract
Download the PDF document
Proc. of IWAN'2003, 10-12 Dec. 2003, Kyoto, Japan, N. Wakamiya, M. Solarski, J. Sterbenz (eds.), Active Networks, LNCS, 2982, pp. 151-162, Springer-Verlag
(Acceptance ratio = 24/73 = 33%, ISI IF 2002 LNCS = 0.515)
* Module de garantie de transmission
P. Reinbold, S. Martin, O. Bonaventure and G. Leduc
Download the PDF document
Chapitre 6 de "ARTHUR - Manuel d'informatisation des urgences hospitalières", Presses universitaires de Louvain, 2003, pp. 128-147
* A Preemption-Aware On-line Routing Algorithm for MPLS Networks
F. Blanchy, L. Mélon and G. Leduc
Keywords : MPLS, Preemption, Traffic Engineering
Read the abstract
Telecommunication Systems, vol. 24, nbs. 2-4, Oct.-Dec. 2003, pp. 187-206
(ISI IF 2003 = 0.413)
* Smoothing the TCP rate by learning the delay versus window size dependency
I. El Khayat and G. Leduc
Keywords : real-time streaming application, reinforcement learning, smoothing TCP rate, smoothness, TCP-Friendly
Read the abstract
Download the PDF document
Proc. of International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, 18-21 Nov. 2003, Napoli, Italy, G. Ventre, R. Canonico (eds.), Interactive Multimedia on Next Generation Networks, LNCS, 2899, pp. 78-90, Springer-Verlag
(ISI IF 2002 LNCS = 0.515)
* Evaluation d'une méthode de prédiction des déplacements de terminaux dans les réseaux mobiles
J.-M. François, G. Leduc and S. Martin
Keywords : Hidden Markov Model, Mobility prediction
Mots-cls : Modèle de Markov caché, Prédiction de mobilité
Lisez le rsum
Download the PDF document or the compressed PostScript (gzip) document
Actes de Colloque Francophone sur l'Ingénierie des protocoles (CFIP'2003), 7-10 Oct. 2003, Paris, France, A. Cavalli, M. Riguidel, A. Serhrouchni (eds.), Ingénierie des protocoles - Réseaux mobiles et ad hoc, qualité de service, test et validation, ingénierie du trafic, pp. 189-202, Hermès Lavoisier
* An efficient decentralized on-line traffic engineering algorithm for MPLS networks
F. Blanchy, L. Mélon and G. Leduc
Read the abstract
Download the PostScript document
Proc. of 18th International TELETRAFFIC CONGRESS - Providing QoS in Heterogeneous Environments, 31 Aug.-5 Sep. 2003, Berlin, Germany, J. Charzinski, R. Lehnert, P. Tran-Gia (eds.), Providing Quality of Service in Heterogeneous Environments, vol. 5a, pp. 451-460
* Decentralized local backup LSP calculation with efficient bandwidth sharing
L. Mélon, F. Blanchy and G. Leduc
Read the abstract
Download the PDF document
Proc. of 10th IEEE International Conference on Telecommunications (ICT'2003), 23-28 Feb. 2003, Papeete, Tahiti, pp. 929-937, IEEE Press
* Routing in a MPLS network featuring preemption mechanisms
F. Blanchy, L. Mélon and G. Leduc
Read the abstract
Download the PDF document
Proc. of 10th IEEE International Conference on Telecommunications (ICT'2003), 23-28 Feb. 2003, Papeete, Tahiti, pp. 253-260, IEEE Press
* Resource Trading Agents for Adaptive Active Network Applications
L. Yamamoto and G. Leduc
Read the abstract
Download the compressed PostScript (gzip) document
In "Mobile Agents for Telecommunication Applications", Hermes Penton Science, UK, 2002
* RADAR: Ring-based Adaptative Discovery of Active neighbour Routers
S. Martin and G. Leduc
Read the abstract
Download the PDF document
Proc. of 4th International Working Conference on Active Networks (IWAN), 4-6 Dec. 2002, Zürich, Switzerland, J.Sterbenz, O.Takada, C.Tschudin, B.Plattner (eds.), Active Networks, LNCS, 2546, pp. 62-73, Springer Verlag
(Acceptance ratio = 20/53 = 38%, ISI IF 2002 LNCS = 0.515)
* Comparaison quantitative de différentes techniques de restauration rapide dans les réseaux IP/MPLS
L. Mélon and G. Leduc
Read the abstract
Lisez le rsum
Download the PostScript document
Actes de Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 27-30 May 2002, Montréal, Canada, A. Obaid (ed.), Ingénierie des protocoles - Réseaux mobiles et ad hoc, qualité de service, multimédia, ingénierie du trafic, pp. 503-517, Hermès Lavoisier 2002
* Adaptation dynamique des débits des couches pour la transmission vidéo multipoint
N. Bonmariage and G. Leduc
Keywords : congestion control, dynamic adaptation, fairness, layered video, multicast
Mots-cls : adaptation dynamique, contrôle de congestion, équité, multipoint, vidéo en couches
Read the abstract
Lisez le rsum
Download the compressed PostScript (gzip) document
Actes de Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 27-30 Mai. 2002, Montréal, Canada, A. Obaid (ed.), Ingénierie des Protocoles - Réseaux mobiles et ad hoc, qualité de service, multimédia, ingénierie du trafic, pp. 19-34, Hermès Lavoisier, 2002
Student paper award
* A Scheduler for Relative Delay Service Differentiation
G. Jennes, G. Leduc and M. Tufail
Keywords : differentiated services, DiffServ, proportional service quality, QoS, queuing delay, scheduling
Read the abstract
Download the PostScript document
Annals of Telecommunications, vol. 57, nbs. 1-2, Jan.-Feb. 2002, pp. 83-104
(ISI IF 2002 = 0.127)
* Autonomous Reflectors over Active Networks: Towards Seamless Group Communication
L. Yamamoto and G. Leduc
Read the abstract
Download the PostScript document
The Interdisciplinary Journal of Artificial Intelligence & the Simulation of Behaviour (AISBJ), vol. 1, nb. 1, Dec. 2001, pp. 125-146
Special issue on Agent Technology
* Multimedia in the E-LOTOS Process Algebra
G. Leduc
Keywords : binding object, E-LOTOS, multicast, multimedia, ODP
Read the abstract
Download the PostScript document
Chapter 16 of "Formal Methods For Distributed Processing - A Survey of Objet Oriented Approaches", Cambridge University Press, 2001, pp. 357-372
* Introduction à E-LOTOS
G. Leduc, A. Jeffrey and M. Sighireanu
Keywords : E-LOTOS, formal method, timed process algebra, tutorial
Download the PostScript document
Chapitre 6 de "Ingénierie des protocoles et qualité de service", Hermès Science, France, 2001, pp. 213-252
* Spécification formelle pour la qualité de service dans l'Internet
G. Leduc and L. Kuty
Keywords : E-LOTOS, formal method, policer, RED, scheduler, shaper, timed process algebra, token bucket, WFQ
Mots-cls : contrôle de trafic, E-LOTOS, gestion des files d'attente, ordonnancement, qualité de service, régulation de trafic, services différenciés, spécification
Download the PDF document
Chapitre 3 de "Ingénierie des protocoles et qualité de service", Hermès Science, France, 2001, pp. 83-120
* Building Bidirectional Multicast Trees Using Autonomous Reflectors
L. Yamamoto and G. Leduc
Read the abstract
Download the PDF document
IWAN'2001, Oct. 2001, Philadelphia, USA
Short paper
* A stable and flexible TCP-friendly congestion control protocol for layered multicast transmission
I. El Khayat and G. Leduc
Keywords : Layered Multicast, Congestion Control, TCP-Friendly
Read the abstract
Download the PostScript document
Proc. of 8th International Workshop on Interactive Distributed Multimedia Systems (IDMS'2001), 4-7 Sep. 2001, Lancaster, UK, D. Shepherd, J. Finney, L. Mathy, N. Race (eds.), Interactive Distributed Multimedia Systems, LNCS, 2158, pp. 154-167, Springer
(ISI IF 2001 LNCS = 0.415)
* Autonomous Multicast Reflectors over Active Networks
L. Yamamoto and G. Leduc
Read the abstract
Download the PDF document
Proc. of AISB Symposium on Software Mobility, Mar. 2001, York, UK
* Resource Trading Agents for Adaptive Active Network Applications
L. Yamamoto and G. Leduc
Read the abstract
Download the compressed PostScript (gzip) document
Networking and Information Systems Journal, vol. 3, nbs. 4-5, 2000, pp. 743-768
* Congestion Control for Layered Multicast Transmission
I. El Khayat and G. Leduc
Keywords : Congestion Control, Fairness, TCP-Friendly, Layered Multicast
Mots-cls : Contrôle de congestion, Multipoint, TCP-Friendly, Vidéo en couches
Read the abstract
Lisez le rsum
Networking and Information Systems Journal, vol. 3, nbs. 3-4, 2000, pp. 559-573
* Contrôle de congestion pour la transmission multipoint en couches
I. El Khayat and G. Leduc
Lisez le rsum
Download the PostScript document or the compressed PostScript (gzip) document
Actes de Journées Doctorales Informatiques et Réseaux (JDIR'2000), 6-8 Nov. 2000, Paris, France
* An Active Layered Multicast Adaptation Protocol
L. Yamamoto and G. Leduc
Keywords : active network, adaptive application, congestion control, layered multicast
Read the abstract
Download the PDF document
Proc. of Second International Working conference on Active Networks (IWAN 2000), 16-18 Oct. 2000, Tokyo, Japan, Hiroshi Yasuda (ed.), Active networks, LNCS, 1942, pp. 180-194, Springer Verlag
(ISI IF 2000 LNCS = 0.390)
* Un ordonnanceur assurant des services différenciés relatifs basés sur le délai
G. Jennes, G. Leduc and M. Tufail
Keywords : assured forwarding, differentiated services, DiffServ, performance, relative delays, relatively quantified services, scheduling, simulation
Mots-cls : délais relatifs, ordonnanceur de réseau, performance, services différenciés, services relativement quantifiés, simulation
Lisez le rsum
Download the PostScript document
Actes de Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2000), 17-20 Oct. 2000, Toulouse, France, J.-P. Courtiat, M. Diaz, P. Sénac (eds.), Qualité de Service, multimédia et mobilité, pp. 97-112, Hermès
Student paper award
* Adaptive Applications over Active Networks : Case Study on Layered Multicast
L. Yamamoto and G. Leduc
Keywords : active network, adaptive application, congestion control, multicast
Read the abstract
Download the PostScript document
Proc. of First IEEE European Conference on Universal Multiservice Networks (ECUMN'2000), 2-4 Oct. 2000, Colmar, France, IEEE Press (ed.), IP Networks Versus conventional Switched Networks, pp. 386-394
* An Agent-inspired Active Network Resource Trading Model Applied to Congestion Control
L. Yamamoto and G. Leduc
Keywords : active network, adaptive application, concast, congestion control, mobile agent, mobile code
Read the abstract
Download the PDF document
Proc. of Second International Workshop on Mobile Agents for Telecommunication Applications (MATA'2000), 18-20 Sep. 2000, Paris, France, E. Horlait (ed.), Mobile Agents for Telecommunication Applications, LNCS, 1931, pp. 151-169, Springer-Verlag
(ISI IF 2000 LNCS = 0.390)
* Verification of Security Protocols using LOTOS - Method and Application
G. Leduc and F. Germeau
Keywords : LOTOS, model-checking, protocol verification, security protocol
Read the abstract
Download the PDF document
Computer Communications, special issue on Formal Description Techniques in Practice, vol. 23, nb. 12, Jul. 2000, pp. 1089-1103
(ISI IF 2000 = 0.341)
* Verification of two versions of the Challenge Handshake Authentication Protocol (CHAP)
G. Leduc
Keywords : model-checking, security protocols, verification
Read the abstract
Download the PostScript document
Annals of Telecommunications, vol. 55, nbs. 1-2, Jan.-Feb. 2000, pp. 18-30
(ISI IF 2000 = 0.292)
* Cycle-based TCP-Friendly Algorithm
O. Ait-Hellal, L. Yamamoto and G. Leduc
Keywords : congestion control, Internet, real-time, TCP, TCP-Friendly
Read the abstract
Download the PDF document
Proc. of IEEE Globecom'99, 5-9 Dec. 1999, Rio de Janeiro, Brazil, pp. 776-780, IEEE Press
* Edition spéciale de la revue Technique et Science Informatiques (TSI)
H. Garavel, G. Leduc and R. Groz
Technique et Science Informatiques, vol. 18, no. 6, Hermès, Juin 1999
* A scheduler for delay-based service differentiation among AF classes
M. Tufail, G. Jennes and G. Leduc
Keywords : adaptable scheduling, application level QoS, assured forwarding, delay-based DiffServ, differentiated services (DiffServ), relative quantification service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of IFIP TC6 Fifth International Conference on Broadband Communications'99, Nov. 1999, Hong Kong, D. Tsang, P. Kühn (eds.), Broadband Communications - Convergence of Network Technologies, pp. 93-102, Kluwer Academic Press
* Attaining per flow QoS with Class-based Differentiated Services
M. Tufail, G. Jennes and G. Leduc
Keywords : adaptable scheduling, application level QoS, assured forwarding, delay based DiffServ, differentiated services (DiffServ)
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of SPIE'99 conference, Sep. 1999, Boston, Massachussetts, R. Onvural, S. Civanlar, J. Luciani (eds.), Internet II: Quality of Service and Future Directions, SPIE, 3842, pp. 101-112, International Society for Optical Engineering
* A RED discard strategy for ATM networks and its performance evaluation with TCP/IP Traffic
V. Rosolen, O. Bonaventure and G. Leduc
Keywords : ATM, fairness, performance, RED, simulation, TCP/IP, UBR
Read the abstract
Download the PDF document or the PostScript document
ACM SIGCOMM Computer Communication Review, vol. 29, nb. 3, July 1999, pp. 23-43
* Model-Based Verification of a Security Protocol for the Conditional Access to Services
G. Leduc, O. Bonaventure, E. Koerner, L. Léonard and C. Pecheur
Keywords : Equicrypt, LOTOS, model checking, security protocols
Read the abstract
Download the PostScript document
Formal Methods in System Design, vol. 14, nb. 2, March 1999, pp. 171-191
* A formal definition of time in LOTOS
L. Léonard and G. Leduc
Keywords : ET-LOTOS, LOTOS, negative premises, operational semantics, real time
Read the abstract
Download the PDF document
Formal Aspect of Computing, vol. 10 E, 1998, pp. 28-96
* A formal definition of time in LOTOS - Extended abstract
L. Léonard and G. Leduc
Keywords : ET-LOTOS, LOTOS, negative premises, operational semantics, real time
Read the abstract
Download the PDF document
Formal Aspects of Computing, vol. 10, nb. 3, 1998, pp. 248-266
* Edition spéciale de la revue EJNDP/RERIR
G. Leduc, R. Groz and O. Rafiq
Revue Electronique sur les Réseaux et l'Informatique Répartie, no. 7, Décembre 1998
* Impact of cell discard strategies on TCP/IP in ATM UBR networks
V. Rosolen, O. Bonaventure and G. Leduc
Keywords : ATM, fairness, performance, RED, simulation, TCP/IP, UBR
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of 6th Workshop on Performance Modelling and Evaluation of ATM Networks (IFIP ATM'98), Jul. 1998, Ilkley, UK
* A Computer Aided Design of a Secure Registration Protocol
F. Germeau and G. Leduc
Keywords : authentication, formal verification, Guillou-Quisquater, LOTOS sprecification, registration protocol, security, trusted third party
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of Formal Description Techniques X / Protocol Specification, Testing and Verification XVII (FORTE/PSTV'97), Nov. 1997, Osaka, Japan, Chapman and Hall
* Model-based Design and Verification of Security Protocols using LOTOS
F. Germeau and G. Leduc
Keywords : authentication, formal verification, LOTOS specification, registration protocol, security, trusted third party
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 3-5 Sep. 1997, Rutgers University, New Jersey
* An introduction to ET-LOTOS for the description of time-sensitive systems
L. Léonard and G. Leduc
Keywords : ET-LOTOS, formal methods, LOTOS, specification, time
Read the abstract
Download the PDF document
Computer Networks and ISDN Systems, vol. 29, nb. 3, 1997, pp. 271-292
* QoS specification of ODP binding objects
A. Février, E. Najm, G. Leduc and L. Léonard
Read the abstract
Telektronnikk, vol. 93, nb. 1, Mar. 1997, pp. 42-49
* Towards an Integrated Solution for Multimedia Communications
L. Mathy, G. Leduc, A. Danthine and O. Bonaventure
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Bulletin Scientifique de l'AIM, Mar. 1996
* Specification and verification of a TTP protocol for the conditional access to services
G. Leduc, O. Bonaventure, E. Koerner, L. Léonard, C. Pecheur and D. Zanetti
Keywords : formal verification, LOTOS, model-checking, security protocol
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the 12th J. Cartier Workshop on Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems, Oct. 1996, Montreal, Canada
* Compositional Specification of ODP Binding Objects
A. Février, E. Najm, G. Leduc and L. Léonard
Keywords : binding object, LOTOS, MT-LOTOS, ODP
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the 6th IFIP/ICCC Conference on Information Network and Data Communication (INDC'96), Jun. 1996, Trondheim, Norway
* An Extended LOTOS for the design of Real-Time Systems
L. Léonard and G. Leduc
Keywords : ET-LOTOS, LOTOS, process algebra, real-time
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Workshop on Design and Analysis of Real Time Systems (DARTS'95), Nov. 1995, Brussels, Belgium
* Failure-based Congruences, Unfair Divergences and New Testing Theory
G. Leduc
Keywords : debugging, formal languages, testing
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of 14th Conf. on Protocol Specification, Testing, and Verification (PSTV), Jun. 1994, Vancouver, Canada, S. Vuong, S. Chanson (eds.), Protocol Specification, Testing and Verification, XIV, pp. 252-267, Chapman & Hall, London, 1995
* OSI95 Contributions to ISO/IEC and ETSI
G. Leduc and A. Danthine
Keywords : ETSI, ISO, OSI95, standardization
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 378-387
* The Tick-Tock Case Study for the Assessment of Timed FDT's
L. Léonard, G. Leduc and A. Danthine
Keywords : assessment, case study, FDT, time
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 338-352
* On the Provision of a Fast Connect Facility in a Connection-Mode Transport Service
G. Leduc and A. Danthine
Keywords : connection-mode, fast-connect, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 225-238
* The OSI95 Connection-Mode Transport Service
Y. Baguette, L. Léonard, G. Leduc and A. Danthine
Keywords : connection-mode, error management, OSI95, out-of-band data transfer, QoS re-negotiation, QoS semantics, transport connection release, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 181-198
* The Qos Enhancements in OSI95
A. Danthine, O. Bonaventure and G. Leduc
Keywords : multimedia, new communication services, quality of service (QoS)
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 125-150
* A Group Communication Framework
L. Mathy, G. Leduc, O. Bonaventure and A. Danthine
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of Broadband Islands '94: Connecting with the End-User, 7-9 Jun. 1994, Hamburg, Germany, W. Bauerfeld, O. Spaniol and F. Williams (eds.), pp. 167-178, Elsevier Science
* The Connection Release Facilities in the OSI95 Transport Service
Y. Baguette and G. Leduc
Keywords : abrupt release, connection-mode, graceful release, OSI95, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 199-211
* A Method for Applying LOTOS at an Early Design Stage and Its Application to the ISO Transport Protocol
G. Leduc
Keywords : constraint-oriented style, formal specification, LOTOS, transport protocol
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 151-180
* An enhanced Version of Timed LOTOS and its Application to a Case Study
L. Léonard and G. Leduc
Keywords : formal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques (FORTE '93), 26-29 Oct. 1993, Boston, Massachusetts, R. Tenney, P. Amer, M. Uyar (eds.), Formal Description Techniques VI, IFIP Transactions, C-22, pp. 483-498, Elsevier Science
* QoS Enhancements and the new transport services
A. Danthine, O. Bonaventure, Y. Baguette, G. Leduc and L. Léonard
Download the PostScript document or the compressed PostScript (gzip) document
* The OSI 95 Connection-mode Transport Service - The Enhanced Qos
A. Danthine, Y. Baguette, G. Leduc and L. Léonard
Keywords : broadband and high-speed networks, connection-mode, multimedia, OSI95, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking, 14-18 Dec. 1992, Liège, Belgium, A. Danthine, O. Spaniol (eds.), High Performance Networking IV, IFIP Transactions, C-14, Elsevier Science
* Comment rendre LOTOS apte à spécifier des systèmes temps réel ?
G. Leduc and L. Léonard
Keywords : FDT, LOTOS, real time, specification language, timed-proces algebra
Read the abstract
Lisez le rsum
Download the PostScript document or the compressed PostScript (gzip) document
Actes de CFIP'93, Sep. 1993, Montréal, Canada, R. Dssouli, G. Bochmann (eds.), Ingénierie des Protocoles, pp. 407-425, Hermès Paris
* A timed LOTOS supporting a dense time domain and including new timed operators
G. Leduc and L. Léonard
Keywords : formal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of FORTE'92, 13-16 Oct. 1992, Perros-Guirec, France, M. Diaz, R. Groz (eds.), Formal Description Techniques V, IFIP Transactions, C-10, pp. 87-102, Elsevier Science
* A framework based on implementation relations for implementing LOTOS specifications
G. Leduc
Keywords : abstraction, FDT, implementation, implementation process, implementation relation, LOTOS, process algebra, refinement, specification, transformation conformance
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Computer Networks and ISDN Systems, nb. 25, 1992, pp. 23-41
* An upward compatible timed extension to LOTOS
G. Leduc
Keywords : FDT, LOTOS, real time, specification language, timed-process algebra
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of FORTE'91, Nov. 1991, Sydney, Australia, K. Parther, G. Rose (eds.), Formal Description Techniques IV, IFIP Transactions, C-2, pp. 217-232, Elsevier Science
* A LOTOS Data Facility Compiler (DAFY)
E. Lallemand and G. Leduc
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of FORTE'91, Nov. 1991, Sydney, Australia, K. Parther, G. Rose (eds.), Formal Description Techniques IV, IFIP Transactions, C-2, pp. 313-327, Elsevier Science
* Equivalence associée à la relation de conformité conf et simplification du testeur canonique en LOTOS
G. Leduc
Actes de Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'91), Sep. 1991, Pau, France, O. Rafiq (ed.), CFIP'91 Ingénierie des Protocoles, pp. 425-440, Hermès, Paris
* Les applications informatiques des années 90 et leurs implications sur les réseaux de communication
G. Leduc
Bulletin scientifique de l'A.I.M., vol. 2, 1991, pp. 3-19
* Relations d'implémentation et transformations autorisées d'une spécification LOTOS
G. Leduc
Réseaux et Informatique Répartie (Networking and Distributed Computing), vol. 1, 1991, pp. 59-86
* Conformance relation, associated equivalence, and minimum canonical tester in LOTOS
G. Leduc
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of PSTV XI, Jun. 1991, Stockholm, Sweden, B. Jonsson, J. Parrow, B. Pehrson (eds.), Protocol Specification, Testing, and Verification, XI, pp. 249-264, Elsevier Science
* A Framework for the Taxonomy of Synthesis and Analysis Activities in Distributed System Design
G. Leduc and et al.
Proc. of European Teleinformatics Conference (EUTECO'88), Apr. 1988, Vienna, Austria, R. Speth (ed.), Research into Networks and Distributed Applications, pp. 859-871, Elsevier Science Publishers (North-Holland, 1988)
* Architectural and Behavioural Modelling in Computer Communication
G. Leduc and et al.
Proc. of IFIP Conference on Distributed Processing, Oct. 1987, Amsterdam, The Netherlands, M. Barton, E. Dagless and G. Reijns (eds.), Distributed Processing, pp. 53-70, Elsevier Science Publishers (North-Holland, 1988)
* The Intertwining of Data Types and Processes in LOTOS
G. Leduc
Proc. of 7th IFIP Int. Conf. on Protocol Specification, Testing and Verification (PSTV), May 1987, Zürich, Switzerland, H. Rudin and C. West (ed.), Protocol Specification, Testing and Verification, VII, pp. 123-136, Elsevier Science Publisher (North-Holland, 1987)
* LOTOS, un outil utile ou un autre langage académique ?
G. Leduc
Actes de 9è Journées Francophones sur l'Informatique (JFI), Jan. 1987, Liège, Belgique, A. Danthine (ed.), Les réseaux de communication - nouveaux outils et tendances actuelles, pp. 1-25, Dunod Informatique, 1987
* Assessing the Service Provided by a Connection-less Protocol
G. Leduc
Proc. of 5th IFIP Int. Workshop on Protocol Specification, Testing and Verification (PSTV), Jun. 1985, Moissac, France, M. Diaz (ed.), Protocol Specification, Testing and Verification, pp. 215-234, Elsevier Science Publishers (North-Holland), 1986

2. Other talks without publication

2.1. Invited talks

  • Contrôle de congestion. Ecole d'été RHDM'02 - Réseaux Haut-Débits et Multimédia, Autrans, France, 6 mai 2002.
  • A tutorial on E-LOTOS. Half a day tutorial at the Joint International Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV' 97), Osaka, Japan, 18 Nov. 1997.
  • QoS aspects in Internet and ATM. Symposium Alcatel and Belgian Universities - In search of a Perfect Marriage between IP and ATM, Alcatel Bell, Antwerp, 23 May 1997.
  • Vérification des protocoles de sécurité : un exemple. Colloque "Brancher l'Entreprise", ISIL, Liège, 5 fév. 1997.
  • The tick-tock case study for the assessment of timed FDTs. COST 247 workshop, Brighton, UK, 20 July 1994.
  • LOTOS-based protocol engineering. One-day invited tutorial. Tutorial C of the 5th conference on High-Performance Networking, Grenoble, France, 28 June 1994.
  • Towards a decoupling of data types and processes in LOTOS. Conference on Protocol Specification, ULB/FNRS, 13 Jan. 1988.

2.2. Talks selected on extended abstract

  • F. Germeau and G. Leduc. A computer-aided design of security protocols. Fundamental Computer Science F.N.R.S. Contact Group - Meeting on Validationand Verification of Formal Descriptions, Namur, 6 May 1997.

2.3. Seminars

  • A stable and flexible TCP-friendly congestion control protocol for layered multicast transmission. COST264 Euroseminar, videoconference over the Internet, 18 Sept. 2001.
  • Les qualités de service dans les réseaux Internet et ATM. Midis du CEDITI, Gosselies, 30 nov. 1998.
  • L'évolution des réseaux publics vers le RNIS à large bande. Forum Télécom SPI+, Liège, 23 avr. 1997.
  • The E-LOTOS base language. Seminar of `Theoretical Computer Science', University of Hildesheim, Germany, 28 Jan. 97.
  • Specification and Verification of a TTP Protocol for the Conditional Access to Services. Séminaire d'informatique, ULB, Bruxelles, 22 oct. 1996.
  • A formal definition of time in LOTOS. Seminar, Ottawa, Canada, 20 July 1995.
  • A formal definition of time in LOTOS. Invited. Theoretical Computer Science Seminar, University of Kent at Canterbury, UK, 6 March 1995.
  • LOTOS-based Protocol Engineering. Eucalyptus day, Ottawa, Canada, 13 June 1994.
  • Timed LOTOS. Seminar at the LAAS / CNRS, Toulouse, France, 22 October 1992

3. Some reports published in a standardization framework

 

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 3.231.217.107... RUN | Montefiore | ULg
© 2000-2023.