RUN papers
ULg Research Unit in Networking RUN
Papers


Home

People

Research Topics

Projects

Publications

IFIP WG 6.1

Events and Conferences

CSS

How to Reach Us

2008 | 2007 | 2006 |2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986


Select papers per author, research topic or project


- 2016 -
* On the Analysis of Internat 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
* Stability and Consistency of the LISP Pull Routing Architecture
Y. Li, D. Saucez, L. Iannone and B. Donnet
Proc. of IEEE Workshop on Network Measurements (WMN), 7-10 Nov. 2016, Dubai, UAE
* Towards an Observatory for Network Transparency Research
S. Neuhaus, R. Münter, K. Edeline, B. Donnet and E. Gubser
Proc. of Applied Networking Research Workshop (ANRW), 16 Jul. 2016, Berlin, Germany
* Towards a Multipath TCP Aware Load Balancer
S. Liénardy and B. Donnet
Proc. of Applied Networking Research Workshop (ANRW), 16 Jul. 2016, Berlin, Germany
* SplitBox: Toward Efficient Private Network Function Virtualization
HJ. Asghar, L. Melis, C. Soldani, E. De Cristofaro, MA. Kaafar and L. Mathy
Proc. of ACM HotMiddlebox 2016, 26 Aug. 2016, Florianopolis, Brazil
* Unveiling the MPLS Structure on Internet Topology
D. Revelo, M. Anderson Ricci and JL. Alvarez-Hamelin
Proc. of 8th International Workshop on Traffic Monitoring and Analysis (TMA), 7-8 Apr. 2016, Louvain-la-Neuve, Belgium
* TreeNET: Discovering and Connecting Subnets
J.-F. Grailet, F. Tarissan and B. Donnet
Proc. of 8th International Workshop on Traffic Monitoring and Analysis (TMA), 7-8 Apr. 2016, Louvain-la-Neuve, Belgium
* A Brief History of MPLS Usage in IPv6
Y. Vanaubel, P. Mérindol, J-J. Pansiot and B. Donnet
Proc. of Passive and Active Measurement (PAM), 31 Mar.-1 Apr. 2016, Heraklion, Greece, LNCS, 9631, pp. 359-370, Springer LNCS
* Optimizing cost for online social networks on geo-distributed clouds
L. Jiao, J. Li, T. Xu, W. Du and X.Fu
IEEE/ACM Transactions on Networking, vol. 24, nb. 1, Feb. 2016, pp. 99-112

- 2015 -
* 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
* Towards DisNETPerf: a Distributed Internet Paths Performance Analyzer
S. Wassermann, P. Casas and B. Donnet
Proc. of ACM CoNEXT Student Workshop, 1 Dec. 2015, Heidelberg, Germany
* MPLS Under the Microscope: Revealing Actual Transit Path Diversity
Y. Vanaubel, P. Mérindol, JJ. Pansiot and B. Donnet
Proc. of ACM IMC (Internet Measurement Conference), 28-30 Oct. 2015, Tokyo, Japan
* Dig into MPLS: Transit Tunnel Diversity
Y. Vanaubel, P. Mérindol, JJ. Pansiot and B. Donnet
Proc. of AIMS (Workshop on Active Internet Measurements), 3-5 Jun. 2015, Paris, France
* Towards a Middlebox Policy Taxonomy: Path Impairements
K. Edeline and B. Donnet
Proc. of 7th International Workshop on Network Science for Communication, 27 Apr. 2015, Hong-Kong, China
* Tracking Middleboxes in the Mobile World with TraceboxAndroid
V. Thirion, K. Edeline and B. Donnet
Proc. of TMA (Traffic Monitoring and Analysis), 23-24 Apr. 2015, Barcelona, Spain
* On a Middlebox Classification
K. Edeline and B. Donnet
Proc. of IAB Workshop on Satck Evolution in a Middlebox Internet (SEMI), 26-27 Jan. 2015, Zürich, Switzerland
* Fast Userspace Packet Processing
T. Barbette, C. Soldani and L. Mathy
Keywords : Click modular router, fast packet I/O, high speed networking, Intel DPDK, multi-queue, netmap, network processing, NUMA, performance, routers, userspace I/O
Lisez le résumé
Proc. of ANCS 2015, 7-8 May 2015, Oakland, CA, ACM/IEEE (ed.), pp. 5-16
* 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

- 2014 -
* Meta-algorithms for Software-Based Packet Classification
P. He, G. Xie and L. Mathy
Proc. of ICNP, 21-24 Oct. 2014, North Carolina, USA
* Guarantee IP lookup performance with FIB explosion
T. Yang, G. Xie, YB. Li, Q. Fu, AX. Liu and L. Mathy
Proc. of ACM SIGCOMM, 17-22 Aug. 2014, Chicago, USA
* Energy-efficient Sensor Selection for Data Quality and Load Balancing in Wireless Sensor Networks
F.H. Bijarbooneh, W. Du, E. Ngai and X. Fu
Proc. of IEEE IWQoS 2014, 26-27 May 2014, Hong-Kong, China, pp. 338-343
* On the Quality of BGP Route Collectors for iBGP Policy Inference
L. Cittadini, S. Vissicchio and B. Donnet
Proc. of IFIP Neworking 2014, 2-4 Jun. 2014, Trondheim, Norway
* On the Performance of the LISP Beta Network
F. Coras, D. Saucez, L. Iannone and B. Donnet
Proc. of IFIP Networking 2014, 2-4 Jun. 2014, Trondheim, Norway
* A Hybrid Hardware Architecture for High-speed IP Lookups and Fast Route Updates
L. Luo, G. Xie, Y. Xie, L. Mathy and K. Salamatian
IEEE/ACM Transactions on Networking, vol. 22, nb. 3, 2014, pp. 957-969

- 2013 -
* FlowOS: a Flow-Based Platform for Middleboxes
A. Abdul, M. Bezahaf and L. Mathy
Proc. of Proc. of ACM HotMiddlebox workshop, 9 Dec. 2013, Santa Barbara, USA
* FlowOS: A Programmable Platform for Commodity Hardware Middleboxes
A. Abdul, M. Bezahaf and L. Mathy
Proc. of 8th International Conference on Future Internet Technologies (CFI), 5-7 Jun. 2013, Beijing, China
* Toward predictable performance in decision tree based packet classification algorithms
H. Peng, G. Hongtao, L. Mathy, K. Salamatian and G. Xie
Proc. of IEEE Workshop on Local & Metropolitan Area Networks (LANMAN), 10-12 Apr. 2013, Brussels, Belgium
* Sacalable High-Performance Parallel Design for Network Intrusion Detection Systems on Many-Core Processors
H. Jiang, G. Xie, K. Salamatian and L. Mathy
Proc. of Ninth ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), 21-22 Oct. 2013, San Jose, USA
* A Trie Merging Approach with Incremental Updates for Virtual Routers
L. Luo, G. Xie, K. Salamatian, S. Uhlig, L. Mathy and Y. Xie
Proc. of IEEE Infocom, 14-19 Apr. 2013, Turin, Italy
* Revealing Middlebox Interference with Tracebox
G. Detal, B. Hesmans, O. Bonaventure, Y. Vanaubel and B. Donnet
Keywords : Measurement, Middleboxes, Network Discovery, tracebox
Proc. of ACM/USENIX Internet Measurement Conference (IMC), 23-25 Oct. 2013, Barcelona, Spain
* Network Fingerprinting: TTL-Based Router Signatures
Y. Vanaubel, J-J. Pansiot, P. Mérindol and B. Donnet
Keywords : Fingerprinting, Initial TTL, Measurement, MPLS, Network Discovery, Router Signature
Proc. of ACM/USENIX Internet Measurement Conference (IMC), 23-25 Oct. 2013, Barcelona, Spain
* Towards a bipartite graph modeling of the internet topology
F. Tarissan, B. Quoitin, P. Mérindol, B. Donnet, J-J. Pansiot and M. Latapy
Keywords : Bipartite Modeling, Measurement, mrinfo, Network Topology, Topology Generator
Computer Networks, vol. 57, nb. 11, Aug. 2013, pp. 2331-2347
* On the Potential of Recommendation Technologies for Efficient Content Delivery Networks
S. Berkovsky and B. Donnet
Keywords : CDN, Content Placement, Personalization, Recommendation Technologies
Computer Communication Review, vol. 43, nb. 3, Jun. 2013, pp. 74-77
* A First Measurement Look at the Deployment and Evolution of the Locator/ID Separation Protocol
D. Saucez, L. Iannone and B. Donnet
Keywords : Internet architecture, LISP, mapping system ; flexibility, measurement
Computer Communication Review, vol. 43, nb. 1, Apr. 2013, pp. 37-43
* 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
* Internet Topology Discovery
B. Donnet
Proc. of , 2013, E. Biersack, C. Callegari, M. Matijasevic (eds.), Data Traffic Monitoring and Analysis: From Measurement, Classification, and Anomaly Detection to Quality of Experience, LNCS, 7754, pp. 44-81, Springer
* 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

- 2012 -
* FlowOS: a pure flow-based vision of network traffic
A. Abdul, M. Bezahaf and L. Mathy
Proc. of ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), 2012
* 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
* Path Similarity Evaluation using Bloom Filters
B. Donnet, B. Gueye and M. Kaafar
Computer Networks, vol. 56, nb. 2, Feb. 2012, pp. 858-869
* Towards TCAM-based Scalable Virtual Routers
L. Luo, G. Xie, S. Uhlig, L. Mathy, K. Salamatian and Y. Xie
Keywords : FIB completion, FIB splitting, TCAM, Virtual routers
Proc. of ACM CoNext 2012, 10-13 Dec. 2012, Nice, France, ACM
* A Hybrid IP Lookup Architecture with Fast Updates
L. Luo, G. Xie, Y. Xie, L. Mathy and K. Salamatian
Read the abstract
Proc. of IEEE Infocom 2012, 25-30 Mar. 2012, Orlando, USA, pp. 2435-2443, IEEE
* Quantifying and Mitigating IGMP Filtering in Topology Discovery
P. Marchetta, P. Mérindol, B. Donnet, A. Pescapé and J-J. Pansiot
Proc. of IEEE Global Communications Conference (GLOBECOM), 2012, IEEE
* On the Dynamics of Locators in LISP
D. Saucez and B. Donnet
Proc. of IFIP Networking 2012, 21-25 May 2012, Prague, Czech Republic, LNCS, Springer
* Revealing MPLS Tunnels Obscured from Traceroute
B. Donnet, M. Luckie, P. Mérindol and J-J. Pansiot
Keywords : MPLS, taxonomy, topology, traceroute
ACM Computer Communication Review, vol. 42, nb. 2, 2012, pp. 87-93
* 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-clés : voix sur IP, filtre, statistiques, optim
Read the abstract
Lisez le résumé
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-clés : agents autonomiques, gestion distribuée, ResumeNet, systèmes pair-à-pair
Read the abstract
Lisez le résumé
Proc. of DANMS 2012, 16-20 Apr. 2012, Maui, Hawaii

- 2011 -
* 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
* A Generic Service Interface for Cloud Networks
M. Sifalakis, C. Tschudin, S. Martin, L.S. Ferreira and L.M. Correia
Keywords : cloud computing, future Internet, network services, service interface
Mots-clés : , infonuagique, interface de service, Internet nouvelle génération, service réseaux
Read the abstract
Lisez le résumé
Proc. of 1st International Conference on Cloud Computing and Services Science (CLOSER), May 2011, Noordwijkerhout, The Netherlands
* 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

- 2010 -
* 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.
* A Survey on Network Coordinates Systems, Design, and Security
B. Donnet, B. Gueye and M. Kaafar
Keywords : Internet Coordinate Systems, Security
Download the PDF document
IEEE Communication Surveys and Tutorial, vol. 12, nb. 4, Dec 2010, pp. 488-503
* 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)

- 2009 -
* 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

- 2008 -
* 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%)
* Assessing the Geographic Resolution of Exhaustive Tabulation
S.S. Siwpersad, B. Gueye and S. Uhlig
Download the PDF document
Proc. of Passive and Active Measurement (PAM) Conference, 29-30 Apr. 2008, Cleveland, Ohio, USA, M. Claypool, S. Uhlig (eds.), Passive and Active Network Measurement, LNCS, 4979, pp. 11-20, Springer
(Acceptance ratio = 23/71 = 32%)
* 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)

- 2007 -
* 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)

- 2006 -
* 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-clés : clustering, inférence, pannes, SRLG
Read the abstract
Download the PDF document
Proc. of CoNext 2006, Student Workshop, 4-7 Dec. 2006, Lisbon, Portugal.
* The Interaction of IGP Weight Optimization with BGP
S. Cerav-Erbas, O. Delcourt, Bernard Fortz and Bruno Quoitin
Keywords : BGP, IGP, Traffic Engineering
Read the abstract
Proc. of ICISP (International Conference on Internet Surveillance and Protection), 29-31 Aug. 2006, Cap Esterel, France
* 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-clés : Prédiction de mobilité, QoS, Réseaux mobiles
Read the abstract
Lisez le résumé
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-clés : ad hoc, contrôle de topologie, overlay
Lisez le résumé
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-clés : 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
* Providing public intradomain traffic matrices to the research community
Steve Uhlig, Bruno Quoitin, J. Lepropre and S. Balon
Keywords : intra-domain traffic matrices, traffic statistics
Read the abstract
Download the PDF document
ACM SIGCOMM Computer Communication Review, vol. 36, nb. 1, Jan 2006, pp. 83-86
(ISI IF 2006 = 0.578)
* 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)

- 2005 -
* Interpreted Active Packets for Ephemeral State Processing Routers
S. Martin and G. Leduc
Keywords : active network, ephemeral state, network processor
Mots-clés : é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-clés : 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-clés : 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-clés : MPLS, Boîte à outils, DAMOTE, Géant, Ingénierie de trafic
Read the abstract
Lisez le résumé
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 %)

- 2004 -
* 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

- 2003 -
* 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-clés : Modèle de Markov caché, Prédiction de mobilité
Lisez le résumé
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

- 2002 -
* 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)
* Performance Evaluation of a Multicast Congestion Control Protocol
N. Bonmariage and I. El Khayat
Keywords : congestion control, layered multicast, performance
Read the abstract
Download the PDF document
Proc. of 9th IEEE Symposium on Communication and Vehicular Technology (SCVT) in the Benelux, 17 Oct. 2002, Louvain-la-Neuve, Belgium, pp. 21-26, IEEE Press
* 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 résumé
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-clés : adaptation dynamique, contrôle de congestion, équité, multipoint, vidéo en couches
Read the abstract
Lisez le résumé
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)

- 2001 -
* 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-clés : 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

- 2000 -
* 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-clés : Contrôle de congestion, Multipoint, TCP-Friendly, Vidéo en couches
Read the abstract
Lisez le résumé
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 résumé
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-clés : délais relatifs, ordonnanceur de réseau, performance, services différenciés, services relativement quantifiés, simulation
Lisez le résumé
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)

- 1999 -
* An Efficient Software Implementation of a Forward Error Correcting Code
J.-C. Henrion
Telecommunication Systems, vol. 11, nb. 1, Jan. 1999, pp. 17-30
* 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

- 1998 -
* Patterns for constructing CSCW applications in TINA
E. Koerner
Keywords : CSCW, Design Patterns, Multimedia, ODP, TINA
Computer Communications, vol. 21, nb. 15, Oct. 1998, pp. 1361-1372
* 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 simulation study of TCP with the GFR service category
O. Bonaventure
Read the abstract
Proc. of Third International Workshop on Architecture and Protocols for High-Performance Networks, 15-20 Jun. 1997, Schloss Dagstuhl, Germany, A. Danthine, O. Spaniol, W. Effelsberg, D. Ferrari (eds.), High-Performance Networks for Multimedia Applications, pp. 19-53, Kluwer Academic Publishers

- 1997 -
* 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
* Etude de la dynamique de contrôle de flux dans le mode ABR de l'ATM
F. Germeau
Keywords : Asynchronous Tranfer Mode (ATM), Available Bit Rate (ABR), congestion control, performance study, simulation
Read the abstract
Lisez le résumé
Colloque francophone sur l'Ingénierie des Protocoles (CFIP'97), 29 Sep.-2 Oct. 1997, Liège, Belgium
* A simulation study of TCP with the proposed GFR service category
O. Bonaventure
Keywords : Asynchronous Tranfer Mode (ATM), simulations, TCP Guaranteed Frame Rate (GFR)
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Dagstuhl Seminar 9725 on High Performance Networks for Multimedia Applications, 15-20 Jun. 1997, Schloss Dagstuhl, Germany
* Representing User Roles in a TINA Service Session
E. Koerner
Keywords : CSCW, policy, roles, service session graph, TINA
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Second Francophone Colloquium on Network and Service Management (GRES'97), 22-25 Sep. 1997, Rennes, France
* Patterns for Constructing CSCW Applications in TINA
E. Koerner
Keywords : ATM, CMIP, network management, proxy, SNMP
Read the abstract
Proc. of the European Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'97), 10-12 Sep. 1997, Darmstadt, Germany, R. Steinmetz, L. Wolf (eds.), Interactive Distributed Multimedia Systems and Telecommunication Services, LNCS, 1309, pp. 320-329, Springer
* Design Of A Proxy For Managing CMIP Agents Via SNMP
E. Koerner
Keywords : ATM, CMIP, network management, proxy, SNMP
Read the abstract
Computer Communications, vol. 20, nb. 5, Jul. 1997, pp. 349-360
* Applying LOTOS to the Design of TINA Applications
E. Koerner and L. Strick
Keywords : LOTOS, ODP viewpoints, TINA, verification, viewpoint compliance
Read the abstract
Proc. of the Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'97), Jul. 1997, Canterbury, UK, H. Bowman, J. Derrick (eds.), IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, pp. 455-466, Chapman and Hall
* Implémentation logicielle efficace d'un code FEC
J.-C. Henrion
Mots-clés : ATM, FEC, logiciel, performances
Lisez le résumé
Download the PostScript document or the compressed PostScript (gzip) document
Actes de Colloque Francophone sur l'Ingénierie des Protocoles 1997 (CFIP'97), 29 Sep.-2 Oct. 1997, Liège, Belgium
* An Efficient software Implementation of a FEC Code
J.-C. Henrion
Keywords : ATM, FEC, software
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the European Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'97), 10-12 Sep. 1997, Darmstadt, Germany
* 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

- 1996 -
* Is VBR a solution for an ATM LAN ?
O. Bonaventure, E. Klovning and A. Danthine
Keywords : Asynchronous Transfer Mode (ATM), measurements, TCP, Usage Parameter Control (UPC), Variable Bit Rate (VBR) traffic contract
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Fifth IFIP Workshop on Protocols for High Speed Networks, 28-30 Oct. 1996, Sophia Antipolis, France, W. Dabbous, C. Diot (eds.), Protocols for High-Speed Networks V, IFIP Conference Proceedings, vol. 73, pp. 60-74, Chapman & Hall
* The Video Dial Tone and the ATM Environment
A. Danthine
Keywords : MPEG-2 over ATM, multimedia, video dial tone, video on demand
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP TC6/6.1 International Conference FORTE IX/PSTV XVI, 8-11 Oct. 1996, Kaiserslautern, Germany, R. Gotzhein, J. Bredereke (eds.), Formal Description Techniques IX - Theory, application and tools, pp. 3-25
* Behaviour of TCP in the European ATM Pilot
O. Bonaventure, E. Klovning and A. Danthine
Keywords : Asynchronous Transfer Mode (ATM), measurements, TCP, Usage Parameter Control (UPC)
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Computer Communications, vol. 19, nb. 3, Mar. 1996, pp. 264-275
* Is ATM a Continuity or a Discontinuity for the LAN Environment ?
A. Danthine and O. Bonaventure
Keywords : ATM, legacy LANs, rate control
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Second International Workshop on High-Speed Networking for Multimedia Applications, 19-23 Jun. 1995, Schloss Dagstuhl, Germany, W. Effelsberg, O. Spaniol, A. Danthine, D. Ferrari (eds.), High-Speed Networking for Multimedia Applications, Kluwer Academic
* 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
* Group Management for a Multimedia Collaboration Service
E. Koerner
Keywords : group communication and collaboration, multimedia, ODP, TINA, use cases
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of EUNICE96 Summer School on Telecommunication Services, Sep. 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
* Behaviour of XTPX in the European ATM Pilot
E. Klovning and O. Bonaventure
Keywords : Asynchronous Transfer Mode, measurements, policing, usage parameter control, XTP
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
European Transactions on Telecommunications, special issue on ATM Field Trials and Experiments, vol. 7, nb. 5, Sep.-Oct. 1996, pp. 445-454
* The Evolution of the Internet Layer
C. Filsfils
Keywords : addressing, CIDR, internet layer, IPng, IPv6, QoS, RSVP, ST-II
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Bulletin Scientifique de l'AIM, Mar. 1996

- 1995 -
* TCP/IP and the European ATM Pilot
O. Bonaventure, A. Danthine, E. Klovning and O. Danthine
Keywords : Asynchronous Transfer Mode (ATM), measurements, TCP, Usage Parameter Control (UPC)
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the 1995 International Conference on Network Protocols (ICNP95), 7-10 Nov. 1995, Tokyo, Japan, M. Liu (ed.), pp. 270-277, IEEE Computer Society Press
* Design Of A Proxy For Managing CMIP Agents Via SNMP
E. Koerner
Keywords : ATM, CMIP, network management, proxy, SNMP
Read the abstract
Computer Communications, vol. 20, nb. 5, Jul. 1997, pp. 349-360
* 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
* The ACCOPI Multimedia Transport Service over ATM
L. Mathy and O. Bonaventure
Keywords : ATM, multicast, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Second International COST237 Workshop, 20-22 Nov. 1995, Copenhagen, Denmark, D. Hutchison, H. Christiansen, G. Coulson, A. Danthine (eds.), Teleservices and Multimedia Communications, pp. 159-175, Springer
* Performance evaluation of the CSCW application JVTOS
E. Klovning and O. Bonaventure
Keywords : computer supported cooperative work, implementation, JVTOS, measurements
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Second International COST237 Workshop, 20-22 Nov. 1995, Copenhagen, Denmark, D. Hutchison, H. Christiansen, G. Coulson, A. Danthine (eds.), Teleservices and Multimedia Communications, pp. 78-97, Springer

- 1994 -
* From Best Effort to Enhanced QoS
A. Danthine and O. Bonaventure
Keywords : OSI95, QoS negociation, Quality of Service (QoS), transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the First International Workshop on Architecture and Protocols for High-Speed Networks, 30 Aug.-3 Sep. 1993, Schloss Dagstuhl, Germany, O. Spaniol, A. Danthine, W. Effelsberg (eds.), Architecture and Protocols for High-Speed Networks, pp. 179-201, Kluwer Academic Publishers
* 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
* The OSI95 Project
A. Danthine
Keywords : ESPRIT, OSI95
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
In "The OSI95 Transport Service with Multimedia Support", Springer, 1994, pp. 13-18
* The Networking Environment of the Nineties and the Need for New Standards
A. Danthine
Keywords : broadband, high-speed networks, multimedia, OSI, transport protocol, 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. 1-12
* 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
* QoS Negotiation for Multicast Communications
L. Mathy and O. Bonaventure
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the First International COST237 Workshop, Nov. 1994, Vienna, Austria, D. Hutchison, A. Danthine, H. Leopold, G. Coulson (eds.), Multimedia Transport and Teleservices, Lecture Notes in Computer Science, 882, pp. 199-218, Springer
* The LOTOS Specification of the Enhanced Transport Service
L. Léonard
Keywords : LOTOS, OSI95, specification, 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. 239-244
* The OSI95 Connectionless-Mode Transport Services
Y. Baguette
Keywords : acknowledged, connectionless-mode, OSI95, transport service, unacknowledged 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. 212-224
* 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

- 1993 -
* 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 changing networking environment and the need of new standards
A. Danthine
Read the abstract
Proc. of the International Seminar held at LAAS-CNRS for its 25th Anniversary, 24-28 May 1993, Toulouse, France, pp. 24-28
* 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
* VLib: Infinite virtual libraries for LOTOS
C. Pecheur
Keywords : languages constructs and features, processors, programming languages
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, 25-28 May 1993, Liège, Belgium, A. Danthine, G. Leduc, P. Wolper (eds.), Protocol Specification, Testing and Verification XIII, pp. 29-44, 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 résumé
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

- 1992 -
* Comparison of TP4, TCP and XTP, Part 2: Data Transfer Mechanisms
Y. Baguette and A. Danthine
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
European Transactions on Telecommunications (ETT), vol. 3, nb. 6, Sep.-Oct. 1992, pp. 625-636
* Comparison of TP4, TCP and XTP, Part 1: Connection Management Mechanisms
Y. Baguette and A. Danthine
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
European Transactions on Telecommunications (ETT), vol. 3, Sep.-Oct. 1992, pp. 523-534
* Esprit Project OSI95 New transport services for high-speed networking
A. Danthine
Keywords : broadband, hith-speed networks, LOTOS, multimedia, OSI95, transport protocol, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the Third Joint European Networking Conference, 11-14 May 1992, Insbruck, Austria, Computer Networks and ISDN, vol. 25, pp. 384-399, Elsevier Science
* A New Transport Protocol for the Broadband Environment
A. Danthine
Keywords : broadband, high-speed networks, LOTOS, multimedia, OSI95, transport protocol, transport service
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the IFIP Workshop on Broadband Communication, 20-22 Jan. 1992, Estoril, Portugal, A. Casaca (ed.), Broadband Communications, IFIP Transactions, C-4, pp. 337-360, 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
* Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel
C. Pecheur
Keywords : CHORUS, distributed operating systems, formal description techniques, processing systems, specification languages LOTOS
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Computer Communications, vol. 15, Mar. 1992, pp. 93-102

- 1991 -
* 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

- 1990 -
* Access Rate Measurement in the BWN Environment
A. Danthine, P. Henquet and B. Hauzeur
Proc. of High Speed Local Area Networks II, 1990, Elsevier Science Publishers (North Holland, 1990), pp. 89-115
* Performance Testing Methodology for a HSLAN System Interconnecting LANs on a Broad Site
F. Marso and B. Hauzeur
Proc. of High Speed Local Area Networks II, 1990, pp. 29-46, Elsevier Science Publishers (North Holland, 1990)
* 10 Years With OSI
A. Danthine
Read the abstract
Proc. of the IFIP TC 6 International Conference on Information Network and Data Communications, 26-29 Mar. 1990, Lillehammer, Norway, D. Kharkhar, F. Eliassen (eds.), pp. 1-16, Elsevier Science

- 1989 -
* Communication Support for Distributed Systems OSI Versus Special Protocols
A. Danthine
Read the abstract
Proc. of the IFIP'89 Congress on Information Processing, 28 Aug.-1 Sep. 1989, San Francisco, California, G.X. Ritter (ed.), pp. 181-190, Elsevier Science

- 1988 -
* MHS in a Corporate Communication System Based on Interconnected LANs
A. Danthine and P. Godelaine
Proc. of IFIP TC6 International Conference on Information Network and Data Communication, 14-17 Mar. 1988, Copenhagen, Denmark, D. Khakhar and V.B. Iversen (ed.), INDC, pp. 189-204, North-Holland
* Internet Layer and Management Design for a Backbone Network
B. Hauzeur and A. Danthine
Proc. of IFIP WG6.4 Workshop on Issues in LAN Management, 2-3 Jul. 1987, Berlin, Germany, pp. 1-13, Elsevier Science Publishers, 1988
* 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)

- 1987 -
* Routing Management Issues with a Backbone Interconnecting Heterogeneous LANs
B. Hauzeur and A. Danthine
Proc. of EFOC/LAN 87 - Fifth European Fibre Optic Communications and Local Area Networks Conference, 3-5 Jun. 1987, Basel, Switzerland, pp. 223-228, Information Gatekeepers Inc., 1987
* A General Management Architecture for a Wideband Backbone Interconnecting Heterogeneous LANs
A. Danthine and B. Hauzeur
Proc. of IFIP WG6.4 Workshop on High Speed Local Area Networks, 16-17 Feb. 1987, Aachen, Germany, pp. 135-228, Elsevier Science Publishers, 1987
* Management of a Backbone Wideband Network for LAN Interconnection
A. Danthine and B. Hauzeur
Proc. of IFIP International Symposium on Local Communication Systems - LAN and PBX, 26-28 Nov. 1986, Toulouse, France, pp. 353-369, Elsevier Science Publishers, 1987
* 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

- 1986 -
* A Realistic Simulation of a Wideband Backbone Network
E. Vyncke and A. Danthine
Proc. of Eigth International Conference on Computer Communication (ICCC), 15-19 Sep. 1986, Munich, Germany, Paul J. Kühn (ed.), New Communication Services: A Challenge to Computer Technology, pp. 176-181, Elsevier, 1986
* A Model for Naming, Addressing, and Routing
B. Hauzeur
ACM Transactions on Office Information Systems, vol. 4, nb. 4, Oct. 1986, pp. 293-311
* 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

- 1978 -
* Network Interprocess Communication in an X25 Environment
Y. A. Jacquemart
Computer Networks, nb. 2, 1978, pp. 227-235
* The Network Communication Manager: A Transport Station for the SGB Network
E. C. Eschenauer and V. Obozinski
Computer Networks, nb. 2, 1978, pp. 236-249
* Modelling and Verification of End-to-End Transport Protocols
A. Danthine and J. Bremer
Computer Networks, nb. 2, 1978, pp. 381-395

- 1976 -
* An Axiomatic Description of the Transport Protocol of Cyclades
A. Danthine and J. Bremer
Proc. of Rechnernetze und Datenfernverarbeitung, 31 Mar.-2 Apr. 1976, Aachen, Germany, D. Haupt and H. Petersen (ed.), Informatik-Fachberichte, 3, pp. 259-273, Springer

[ 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: 54.161.91.76... RUN | Montefiore | ULg
© 2000-2015.