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
- 2024 -
Efficient and Reliable Service Detection on Bitcoin
- V. Jacquot, N. Hammad and B. Donnet
uTNT: Unikernels for Efficient and Flexible Internet Probing
- M. Letemple, G. Gain, S. Ben Mariem, L. Mathy and B. Donnet
SMOOTHIE: Efficient and Flexible Load-Balancing in Data Center
- L. Champagne and B. Donnet
MSTG: A Flexible and Scalable Microservices Infrastructure Generator
- E. Wansart, M. Goffart, J. Iurman and B. Donnet
Tartare: Automatic Generation of C Pointer Statements and Feedback
- G. Brieven, V. Baum and B. Donnet
Practicing Abstraction through a Top-Down Problem-Solving Framework in a CS1 Course
- G. Brieven and B. Donnet
Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0
- G. Brieven, L. Malcev and B. Donnet
- 2023 -
Using eBPF to inject IPv6 Extension Headers
- J. Iurman, E. Vyncke and B. Donnet
CHAUSSETTE: A Symbolic Verification of Bitcoin Scripts
- V. Jacquot and B. Donnet
Implementation and Evaluation of LISP Publish/Subscribe
- T. Piron, L. Iannone and B. Donnet
How Students Manage Peer Feedback Through a Collaborative Activity in a CS1 Course
- G. Brieven, L. Leduc and B. Donnet
Graphical Loop Invariant Based Programming
- G. Brieven, S. Liénardy, L. Malcev and B. Donnet
- 2022 -
Want more unikernels? Inflate them!
- G. Gain, C. Soldani, F. Huici and L. Mathy
- Proc. of SoCC '22: Proceedings of the 13th Symposium on Cloud Computing, 7-11 Nov. 2022, San Francisco, CA, USA, ACM (ed.), pp. 510-525
Cross–Layer Telemetry Support in Linux Kernel
- J. Iurman and B. Donnet
Revealing the evolution of a cloud provider through its network weather map
- M. Piraux, L. Navarre, N. Rybowski, O. Bonaventure and B. Donnet
A first-look at segment routing deployment in a large european ISP
- E. Marechal, Y. Shao, M. Bruyère and B. Donnet
Measuring IPv6 extension headers survivability with James
- R. Léas, J. Iurman, E. Vyncke and B. Donnet
Lessons Learned from 6 Years of a Remote Programming Challenge Activity with Automatic Supervision
- G. Brieven, S. Liénardy and B. Donnet
Towards a Closed-Looped Automation for Service Assurance with the DxAgent
- K. Edeline, T. Carlisi, J. Iurman, B. Claise and B. Donnet
ISP Probing Reduction with Anaximander
- E. Marechal, P. Mérindol and B. Donnet
- Proc. of Passive and Active Measurement (PAM) Conference, 28-30 Mar. 2022
Collaborative Design and Build Activity in a CS1 Course: A Practical Experience Report
- G. Brieven, L. Leduc and B. Donnet
- Proc. of 8th International Conference on Higher Education Advances, 14-17 Jun. 2022, Valence, Spain
- 2021 -
Where is the Light(ning) in the Taproot Dawn? Unveiling the Bitcoin Lightning (IP) Network
- P. Casas, M. Romiti, P. Holzer, S. Ben Mariem, B. Donnet and B. Haslhofer
- Proc. of IEEE International Conference on Cloud Networking (CloudNet), 8-10 Nov. 2021
Students' Engagement with Podcast during Lockdown - An Analysis of Interaction Footprints in a Computer Science Course
- B. Donnet and D. Verpoorten
- Proc. of European Distance and E-Learning Network (EDEN), 21-24 Jun. 2021
Combined stateful classification and session splicing for high-speed NFV service chaining
- T. Barbette, C. Soldani and L. Mathy
- IEEE/ACM Transactions on Networking, vol. 29, nb. 6, Aug. 2021, pp. 2560-2573
Towards Cross-Layer Telemetry
- J. Iurman, F. Brockners and B. Donnet
- Proc. of ACM/IRTF Applied Networking Research Workshop (ANRW), 26-30 Jul. 2021, San Francisco, USA
Unikraft and The Coming of Age of Unikernels
- H. Lefeuvre, G. Gain, D. Dinca, A. Jung, S. Künzer, V. Badoiu, R. Deaconescu, L. Mathy, C. Raiciu, P. Olivier and F. Huici
- login; The Usenix Magazine, 2021
Travelling Without Moving: Discovering Neighborhood Adjacencies
- J.-F. Grailet and B. Donnet
- Proc. of Network Traffic Measurement and Analysis (TMA) Conference, 14-15 Sep. 2021
TCPLS: modern transport services with TCP and TLS
- F. Rochet, E. Assogba, M. Piraux, K. Edeline, B. Donnet and O. Bonaventure
- Proc. of 17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT), 7-10 Dec. 2021, Munich, Germany, pp. 45-59
Challenges, Multiple Attempts, and Trump Cards-A Practice Report of Student's Exposure to an Automated Correction System for a Programming Challenges Activity
- S. Liénardy, L. Leduc, D. Verpoorten and B. Donnet
- Revue Internationale des Technologies en Pédagogie Universitaire, vol. 18, nb. 2, Mai 2021, pp. 45-60
Unikraft: Fast, Specialized Unikernels the Easy Way
- S. Kuenzer, V-A. Bădoiu, H. Lefeuvre, S. Santhanam, A. Jung, G. Gain, C. Soldani, C. Lupu, C. Răducanu, C. Banu, L. Mathy, R. Deaconescu, C. Raicu and F. Huici
- Proc. of EuroSys 2021, 26-28 Apr. 2021, Edinburgh, UK
Targeted Attack through Network Fingerprinting
- E. Marechal and B. Donnet
- Journal of Cyber Security and Mobility, vol. 10, nb. 2, 2021, pp. 347-376
Promoting Engagement in a CS1 Course with Assessment for Learning. A Practice Report
- S. Liénardy, L. Leduc and B. Donnet
- Student Success, vol. 12, nb. 1, 2021
LISP Mapping System as DoS Amplification Vector
- M. Gabriel, L. Iannone and B. Donnet
- IEEE Networking Letters, vol. 3, nb. 1, 2021
- 2020 -
IPv6 In-Situ Operations, Administration, and Maintenance
- J. Iurman and B. Donnet
- Software Impacts, vol. 6, 2020
GameCode: Choose your Own Problem Solving Path
- S. Liénardy and B. Donnet
- Proc. of ACM International Computing Education Research (ICER), 8-13 Aug. 2020, Charleston, South Carolina, USA
Implementation of IPv6 IOAM in Linux Kernel
- J. Iurman, B. Donnet and F. Brockners
- Proc. of Proc. Technical Conference on Linux Networking (Netdev 0x14), 28 Jul. 2020, Vancouver, Canada
Network Fingerprinting: Routers under Attack
- E. Marechal and B. Donnet
- Proc. of IEEE International Workshop on Traffic Measurements for Cybersecurity (WTMC), 7 Sep. 2020, Genova, Italy
Evaluating the Impact of Path Brokenness on TCP Options
- K. Edeline and B. Donnet
- Proc. of Applied Networking Research (ANR) Workshoplied Networking Research Workshop, 27 Jul. 2020, Madrid, Spain
Virtual Insanity: Linear Subnet Discovery
- J.-F. Grailet and B. Donnet
- IEEE Transactions on Network and Service Management, vol. 17, nb. 2, Jul. 2020, pp. 1268-1281
All that Glitters is not Bitcoin - Unveiling the Centralized Nature of the BTC (IP) Network
- S. Ben Mariem, P. Casas, M. Romiti, B. Donnet, R. Stütz and B. Haslhofer
- Proc. of IEEE/IFIP Network Operations and Management Symposium (NOMS), 20-24 Apr. 2020, Budapest, Hungary
CAFE: Automatic Correction and Feedback of Programming Challenges for a CS1 Course
- S. Liénardy, L. Leduc, D. Verpoorten and B. Donnet
- Keywords : Assessment for Learning, Graphical Loop Invariant
- Proc. of ACM 22nd Australasian Computing Education Conference (ACE), 3-7 Feb. 2020, Melbourne, Australia
- 2019 -
Let There Be Light: Revealing Hidden MPLS Tunnels with TNT
- J-R. Luttringer, Y. Vanaubel, P. Mérindol, J-J. Pansiot and B. Donnet
- IEEE Transactions on Network and Service Management, 2019
Graphical Loop Invariant Programming in CS1
- S. Liénardy, L. Malcev and B. Donnet
- Keywords : Assesment for Learning, Feedback, Feedforward, Graphical Loop Invariant
- Proc. of Grascomp Doctoral Day 2019 (GDD'19), 22-22 Nov. 2019, Namur, Belgium
UNICORE: A toolkit to automatically build unikernels
- G. Gain, C. Soldani and L. Mathy
- Keywords : Operating Systems, Unikernels, Virtualization
- Proc. of Grascomp Doctoral Day 2019 (GDD'19), 22-22 Nov. 2019, Namur, Belgium
Fast Privacy-Preserving Network Function Outsourcing
- HJ. Asghar, E. De Cristofaro, G. Jourjon, M. Kaafar, L. Mathy, L. Melis and W. Yu
- Computer Networks, nb. 163, 2019
mmb: Flexible High-Speed Userspace Middleboxes
- K. Edeline, J. Iurman, C. Soldani and B. Donnet
- Keywords : middlebox, mmb, performance
- Proc. of Applied Networking Research Workshop, 22-22 Jul. 2019, Montreal, Canada, pp. 62-68
Hic Sunt Proxies: Unveiling Proxy Phenomena in Mobile Networks
- R. Zullo, A. Pescape, K. Edeline and B. Donnet
- Keywords : mobile network, proxy, tracebox
- Proc. of Network Traffic Measurement and Analysis Conference (TMA), 19-21 Jun. 2019, Paris, France, pp. 227-232
A Bottom-up Investigation of the Transport-Layer Ossification
- K. Edeline and B. Donnet
- Keywords : middlebox, path impairment, protocol-broken policies, tracebox
- Proc. of Network Traffic Measurement and Analysis (TMA) Conference 2019, 19-21 Jun. 2019, Paris, France, pp. 169-176
Revisiting Subnet Inference WISE-ly
- J.-F. Grailet and B. Donnet
- Keywords : Subnet inference, Topology discovery
- Proc. of TMA 2019, 3rd Network Traffic Measurement and Analysis Conference, 19-21 Jun. 2019, Paris, France, pp. 73-80
TNT, Watch me Explode: a Light in the Dark for Revealing MPLS Tunnels
- Y. Vanaubel, J-R. Luttringer, P. Mérindol, J.-J. Pansiot and B. Donnet
- Keywords : MPLS tunnels, TNT, Traceroute
- Proc. of TMA 2019, 3rd Network Traffic Measurement and Analysis Conference, 19-21 Jun. 2019, Paris, France, pp. 65-72
- 2018 -
Vivisecting Blockchain P2P Networks: Unveiling the Bitcoin IP Network
- S. Ben Mariem, P. Casas and B. Donnet
- Proc. of ACM CoNext Student Workshop, 4 Dec. 2018, Crete, Greece
Building a chain of high-speed VNFs in no time
- T. Barbette, C. Soldani, R. Gaillard and L. Mathy
- Proc. of IEEE Int. Conf. on High Performance Switching and Routing, 17-20 Jun. 2018, Bucharest, Romania
Constant IP Lookup with FIB Explosion
- T. Wang, G. Xie, AX. Liu, Q. Fu, Y. Li, X. Li and L. Mathy
- IEEE/ACM Transactions on Networking, vol. 26, nb. 4, 2018, pp. 1821-1836
Implementation of LISP/MN under ns-3
- Y. Li, L. Iannone, L. Agbodjan and B. Donnet
- Proc. of WNS3 2018, 13-14 Jun. 2018, Mangalore, India
A low-level dive into building a high-speed NFV dataplane for service chaining
- T. Barbette, C. Soldani, R. Gaillard and L. Mathy
- Proc. of Eurosys 2018, 23-26 Apr. 2018, Porto, Portugal
CAFE: an automatic and on-line learning system to guide freshmen towards the meeting of Higher Education requirements
- S. Liénardy, L. Leduc and B. Donnet
- Proc. of European First Year Experience Conference 2018, 25-27 Jun. 2018, Utrecht, The Netherlands
Metron: NFV Service Chains at the True Speed of the Underlying Hardware
- GP. Katsikas, T. Barbette, D. Kostic, R. Steinert and GQ. Maguire Jr.
- Proc. of The 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 9-11 Apr. 2018, Renton, WA, USA
- 2017 -
Efficient Action Computation for Compositional SDN Policies
- H. Pan, Z. Li, G. Xie, P. He, H. Guan and L. Mathy
- IEEE Transactions on Network and Service Management, Dec. 2017
An Observation-based Middlebox Policy Taxonomy
- K. Edeline and B. Donnet
- Proc. of ACM CoNext Student Workshop 2017, 12-15 Dec. 2017, Seoul, South Korea
Discovering Routers in Load-balanced Paths
- J.-F. Grailet and B. Donnet
- Proc. of ACM CoNext Student Workshop 2017, 12-15 Dec. 2017, Seoul, South Korea
Through the Wormhole: Tracking Invisible MPLS Tunnels
- Y. Vanaubel, P. Mérindol, J-J. Pansiot and B. Donnet
- Proc. of ACM IMC (Internet Measurement Conference), 1-3 Nov. 2017, London, UK
A First Look at the Prevalence of Middleboxes in the Wild
- K. Edeline and B. Donnet
- Proc. of Teletraffic Congress (ITC 29), 4-8 Sep. 2017, Genoa, Italy
NETPerfTrace - Predicting Internet Path Dynamics and Performance
- S. Wassermann, P. Casas, T. Cuvelier and B. Donnet
- Proc. of Big-DAMA 2017, 21 Aug. 2017, Los Angeles, CA, USA
Copycat: Testing Differential Treatment of New Transport Protocols in the Wild
- K. Edeline, M. Kühlewind, B. Trammell and B. Donnet
- Proc. of Applied Networking Research (ANR) Workshop, 15 Jul. 2017, Prague, Czech Republic
Towards a Renewed Alias Resolution with Space Search Reduction and IP Fingerprinting
- J.-F. Grailet and B. Donnet
- Proc. of TMA Conference - Network Traffic Measurement and Analysis, 21-23 Jun. 2017, Dublin, Ireland
Hic Sunt NATs: Uncovering Address Translation with a Smart Traceroute
- R. Zullo, A. Pescape, K. Edeline and B. Donnet
- Proc. of IEEE/IFIP Workshop on Mobile Network Measurement (MNM) 2017, 20 Jun. 2017, Dublin, Ireland
FlowConvertor: Enabling portability of SDN Applications
- H. Pan, G. Xie, Z. Li, P. He and L. Mathy
- Proc. of IEEE INFOCOM 2017, 1-4 May 2017, Atlanta, GA, USA
- 2016 -
Machine Learning-based Prediction of INternet Path Dynamics
- S. Wassermann, P. Casas and B. Donnet
- Proc. of ACM CoNext Student Workshop, 12-15 Dec. 2016, Irvine, CA, USA
Action computation for compositional software-defined networking
- H. Pan, G. Xie, P. He, Z. Li and L. Mathy
- Proc. of IFIP Networking , 17-19 May 2016, Vienna, Austria
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
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 rsum
- 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-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
- 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-cls : , infonuagique, interface de service, Internet nouvelle génération, service réseaux
- Read the abstract
- Lisez le rsum
- 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-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.
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-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
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-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 %)
- 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-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
- 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 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)
- 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-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
- 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-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)
- 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 rsum
- 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-cls : ATM, FEC, logiciel, performances
- Lisez le rsum
- 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 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
- 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 -
Management of a Backbone Wideband Network for LAN Interconnection
- A. Danthine and B. Hauzeur
- Proc. of Symposium of Local Communication Systems, 1986, Toulouse, France, pp. 353-369
Broad Site Local Wideband Communication System
- A. Danthine, M. Durvaux, M. De Prycker, JL. Barbut and A. Wegner
- Proc. of 3rd ESPRIT Conference, 1986, Brussels, Belgium
A backbone Wideband Network for LAN Interconnection
- A. Danthine
- Proc. of EFOC/LAN, 1986, pp. 266-273
A backbone Wideband Network for LAN Interconnection on a Broad Site
- A. Danthine
- Proc. of IFIP TC6 Conference on Information Network and Data Communication, 1986
A Wideband Local Network Based on and Offering Connectionless
- A. Danthine
- Proc. of The Specialists Seminar on ISDN Traffic Issues, 1986, Brussels, Belgium
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
- 1985 -
Broad Site Local Wideband Network
- A. Danthine and E. Vyncke
- Proc. of ESPRIT 84: Status Report of Ongoing Work, 1985, pp. 337-353
- 1983 -
Protocol Representation with Finite-State Machines
- A. Danthine
- In "Computer Networks and Protocols, Plenum Press, New-York", 1983, pp. 579-606
- 1982 -
Network Interconnection
- A. Danthine
- Proc. of International In-depth Symposium on Local Computer Networks, 1982, Florence, Italy
Modelling and Verification of End-to-end Protocols
- A. Danthine
- Proc. of New Advances in Distributed Computer Systems, 1982, pp. 125-158
- 1980 -
Transport Layer - Long-haul vs. Local Networks
- A. Danthine and F. Magnée
- Proc. of IFIP WG6.4 International Workshop on Local Area Networks, 1980, Zürich, Switzerland
Protocol Representation with Finite-state Models
- A. Danthine
- IEEE Transactions on Communications, vol. 28, nb. 4, 1980, pp. 632-643
Design Principles of Communication Protocols
- A. Danthine
- Proc. of Data Communication and Computer Networks, IFIP Conference on Networks, 1980, Bombay, India, pp. 257-273
- 1978 -
Specification and Verification of End-to-end Protocols
- A. Danthine and J. Bremer
- Proc. of ICCC Congress, 1978, pp. 811-816
Proposal for an Internetwork End-to-end Transport Protocol
- V. Cerf, A. McKenzie, R. Scantlebury, H. Zimmermann, A. Danthine, M. Gien, G. Grossman and C. Sunshine
- Proc. of Computer Network Protocols: Symposium, 13-15 Feb. 1978, Liège, Belgium
Network Interprocess Communication in an X25 Environment
- Y. A. Jacquemart
- Computer Networks, vol. 2, Sept. 1978, pp. 227-235
The Network Communication Manager: A Transport Station for the SGB Network
- E. C. Eschenauer and V. Obozinski
- Computer Networks, vol. 2, Sept. 1978, pp. 236-249
Modelling and Verification of End-to-End Transport Protocols
- A. Danthine and J. Bremer
- Computer Networks, vol. 2, Sept. 1978, pp. 381-395
- 1977 -
Petri Nets for Protocol Modelling and Verification
- A. Danthine
- Proc. of Computer Networks and Teleprocessing Symposium, 1977
Loosely Coupled Interface Between Transport Station and X25
- Y. Jacquemart and A. Danthine
- Proc. of The Third European Network User Workshop, 1977
- 1976 -
Influence on Packet Node Behaviour of the Internode Protocol
- A. Danthine and E. Eschenauer
- IEEE Transactions on Communications, vol. 24, nb. 6, June 1976, pp. 606-614
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
- 1975 -
Host-Host Protocols and Hierarchy
- A. Danthine
- Proc. of IFIP-IIASA Workshop on Data Communications, 1975, pp. 9-15
Influence on the Node Behaviour of the Node-to-node Protocol of a Packet-Switched Network
- A. Danthine and E. Eschenauer
- Bulletin scientifique de l'AIM, vol. 45, 1975
Influence on the Node Behaviour of the Node-to-node Protocol
- A. Danthine
- Proc. of Data Communications Symposium, 1975
Définition, représentation et simulation de protocoles dans un contexte réseaux
- A. Danthine and J. Bremer
- Actes de Journée internationale Mini-ordinateurs et Transmission de données, 1975, Liège, Belgium
Communication Protocols in a Network Context
- A. Danthine and J. Bremer
- Proc. of ACM SIGCOMM/SIGOPS workshop on Interprocess communications, Jan. 1975, pp. 87-92
|