Leduc Guy

Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques

Montefiore Institute

See author's contact details
Main Research Fields
Computer science
Main Keywords
Overlay; MPLS; Traffic engineering; Mobility prediction; TCP;
Main Unit & Research Centers
Research Unit in Networking
Research Unit in Networking -- ULiège
Réseaux Informatiques
Main Co-authors
Léonard, Luc
Martin, Sylvain 
Danthine, André 
Balon, Simon 
Geurts, Pierre 

Publications (total 159)

The most downloaded
819 downloads
Geurts, P., El Khayat, I., & Leduc, G. (2004). A Machine Learning Approach to Improve Congestion Control over Wireless Computer Networks. Paper presented at ICDM 2004, Brighton, United Kingdom. doi:10.1109/ICDM.2004.10063 https://hdl.handle.net/2268/4043
The most cited
61 citations (SCOPUS)
Liao, Y., Du, W., Geurts, P., & Leduc, G. (11 October 2013). DMFSGD: A Decentralized Matrix Factorization Algorithm for Network Distance Prediction. IEEE/ACM Transactions on Networking, 21 (5), 1511-1524. doi:10.1109/TNET.2012.2228881 https://hdl.handle.net/2268/135818

Wassermann, S., Casas, P., Donnet, B., Leduc, G., & Mellia, M. (2016). On the Analysis of Internet Paths with DisNETPerf, a Distributed Paths Performance Analyzer. In Proc. 10th IEEE Workshop on Network Measurements (WNM). doi:10.1109/LCN.2016.031
Peer reviewed

Liao, Y., Du, W., & Leduc, G. (2015). A Lightweight Network Proximity Service Based On Neighborhood Models. In 22nd IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT). IEEE. doi:10.1109/SCVT.2015.7374218
Peer reviewed

Du, W., Liao, Y., Tao, N., Geurts, P., Fu, X., & Leduc, G. (October 2015). Rating Network Paths for Locality-Aware Overlay Construction and Routing. IEEE/ACM Transactions on Networking, 23 (5), 1661-1673. doi:10.1109/TNET.2014.2337371
Peer Reviewed verified by ORBi

Manferdini, U., Traverso, S., Mellia, M., Tego, E., Matera, F., Ben Houidi, Z., Milanesio, M., Michiardi, P., Rossi, D., Cicalese, D., Joumblatt, D., Auge, J., Dusi, M., Nikitaki, S., Ahmed, M., Leontiadis, I., Baltrunas, L., Varvello, M., Casas, P., & Papadimitriou, D. (2015). Cross-check of Analysis Modules and Reasoner Interactions.

Papadimitriou, D., Ben Houidi, Z., Ghamri-Doudane, Rossi, D., Milanesio, M., Casas, P., D'Alconzo, A., Tego, E., Matera, F., Dusi, M., Szemethy, T., Mathé, D., Traverso, S., Finamore, A., Leontiadis, I., Baltrunas, L., Grunenburger, Y., Donnet, B., Leduc, G., & Liao, Y. (2013). Design of Analysis Modules.

Liao, Y., Du, W., Geurts, P., & Leduc, G. (11 October 2013). DMFSGD: A Decentralized Matrix Factorization Algorithm for Network Distance Prediction. IEEE/ACM Transactions on Networking, 21 (5), 1511-1524. doi:10.1109/TNET.2012.2228881
Peer Reviewed verified by ORBi

Ghrab, A., Skhiri, S., Koener, H., & Leduc, G. (May 2013). Towards a Standards-Based Cloud Service Manager. Poster session presented at 3rd International Conference on Cloud Computing and Services Science (CLOSER 2013), Aachen, Germany.

Jung, T., Martin, S., Nassar, M., Ernst, D., & Leduc, G. (February 2013). Outbound SPIT Filter with Optimal Performance Guarantees. Computer Networks, 57 (7), 1630–1643. doi:10.1016/j.comnet.2013.02.013
Peer Reviewed verified by ORBi

Du, W., Liao, Y., Geurts, P., & Leduc, G. (2012). Ordinal Rating of Network Performance and Inference by Matrix Completion. (arXiv:1211.0447).

Jung, T., Martin, S., Ernst, D., & Leduc, G. (2012). Contextual Multi-armed Bandits for the Prevention of Spam in VoIP Networks. Eprint/Working paper retrieved from https://orbi.uliege.be/2268/115524.

Martin, S., Chiarello, L., & Leduc, G. (2012). DISco: a Distributed Information Store for Network Challenges and Their Outcome. In J. Keeney & J. Serrat (Eds.), 5th International workshop on Distributed Autonomous Network Management Systems (pp. 6). doi:10.1109/NOMS.2012.6212055
Peer reviewed

Fu, X., Chen, Y., Leduc, G., & Mathy, L. (23 February 2012). Editorial for Computer Networks special issue on “Measurement-based optimization of P2P networking and applications”. Computer Networks, 26 (3), 1077-1079. doi:10.1016/j.comnet.2012.01.007

Martin, S., Chiarello, L., & Leduc, G. (2012). DISco: a Distributed Information Store for network Challenges and their Outcome. (arXiv:1201.3073v1). arXiv.

Liao, Y., Du, W., Geurts, P., & Leduc, G. (2012). DMFSGD: A Decentralized Matrix Factorization Algorithm for Network Distance Prediction. (arXiv:1201.1174).

Jung, T., Martin, S., Ernst, D., & Leduc, G. (2012). SPRT for SPIT: Using the Sequential Probability Ratio Test for Spam in VoIP Prevention. In Proc. of 6th International Conference on Autonomous Infrastructure, Management and Security. Springer Berlin. doi:10.1007/978-3-642-30633-4
Peer reviewed

Jung, T., Martin, S., Ernst, D., & Leduc, G. (2012). Contextual Multi-armed Bandits for Web Server Defense. In A. Hussein (Ed.), Proceedings of 2012 International Joint Conference on Neural Networks (IJCNN) (pp. 8). IEEE. doi:10.1109/IJCNN.2012.6252760
Peer reviewed

Liao, Y., Du, W., Geurts, P., & Leduc, G. (2011). Decentralized Prediction of End-to-End Network Performance Classes. In Proc. of the 7th International Conference on emerging Networking EXperiments and Technologies (CoNEXT). ACM. doi:10.1145/2079296.2079310
Peer reviewed

Nassar, M. A., Martin, S., Leduc, G., & Festor, O. (2011). Using Decision Trees for Generating Adaptive SPIT Signatures. In Proc. of the 4th International Conference on Security of Information and Networks (SIN 2011). ACM. doi:10.1145/2070425.2070431
Peer reviewed

Cantin, F., & Leduc, G. (23 February 2011). Finding Routing Shortcuts using an Internet Coordinate System. Lecture Notes in Computer Science, 6557, 56-67. doi:10.1007/978-3-642-19167-1_6
Peer reviewed

Liao, Y., Geurts, P., & Leduc, G. (11 May 2010). Network Distance Prediction Based on Decentralized Matrix Factorization. Lecture Notes in Computer Science, 6091, 15-26. doi:10.1007/978-3-642-12963-6_2
Peer reviewed

El Khayat, I., Geurts, P., & Leduc, G. (February 2010). Enhancement of TCP over wired/wireless networks with packet loss classifiers inferred by supervised learning. Wireless Networks, 16 (2), 273-290. doi:10.1007/s11276-008-0129-y
Peer Reviewed verified by ORBi

Gueye, C. A. B., & Leduc, G. (December 2009). Resolving the Noxious Effect of Churn on Internet Coordinate Systems. Lecture Notes in Computer Science, 5918, 162-173. doi:10.1007/978-3-642-10865-5_14
Peer reviewed

Soldani, C., & Leduc, G. (2009). Optimisation des débits des couches d'une transmission vidéo multipoint avec une meilleure prise en compte du surcoût d'encodage. In CFIP'2009. HAL INRIA.
Peer reviewed

Cantin, F., Leduc, G., & Gueye, C. A. B. (2009). Transformation non linéaire des distances : une solution au problème des violations des inégalités triangulaires dans les systèmes de coordonnées ? In CFIP'2009. HAL INRIA.
Peer reviewed

Martin, S., & Leduc, G. (October 2009). A Practical Bytecode Interpreter for Programmable Routers on Network Processor. Computer Networks, 53 (15), 2740-2751. doi:10.1016/j.comnet.2009.06.007
Peer Reviewed verified by ORBi

Liao, Y., & Leduc, G. (24 August 2009). Triangle Inequality Violation Avoidance in Internet Coordinate Systems. Poster session presented at Trilogy Future Internet Summerschool, Louvain-la-neuve, Belgium.

Kaafar, M. A., Cantin, F., Gueye, C. A. B., & Leduc, G. (2009). Detecting Triangle Inequality Violations in Internet Coordinate Systems. In Future Networks 2009. doi:10.1109/ICCW.2009.5207998
Peer reviewed

Liao, Y., Kaafar, M. A., Gueye, B., Cantin, F., Geurts, P., & Leduc, G. (12 May 2009). Detecting Triangle Inequality Violations in Internet Coordinate Systems by Supervised Learning. Lecture Notes in Computer Science, 5550, 352-363. doi:10.1007/978-3-642-01399-7_28
Peer reviewed

Balon, S., & Leduc, G. (2009). BGP-aware IGP Link Weight Optimization in Presence of Route Reflectors. In IEEE INFOCOM 2009. IEEE.
Peer reviewed

François, J.-M., & Leduc, G. (January 2009). Routing Based on Delivery Distributions in Predictable Disruption Tolerant Networks. Ad Hoc Networks, 7 (1), 219-229. doi:10.1016/j.adhoc.2008.02.006
Peer Reviewed verified by ORBi

Martin, S., & Leduc, G. (2009). Interpreted Active Packets for Ephemeral State Processing Routers. Lecture Notes in Computer Science, 4388, 156-167. doi:10.1007/978-3-642-00972-3_13
Peer reviewed

Cantin, F., Gueye, C. A. B., Kaafar, M. A., & Leduc, G. (December 2008). Overlay Routing using Coordinate Systems. Poster session presented at ACM CoNext 2008 - Student Workshop, Madrid, Spain. doi:10.1145/1544012.1544054

Cantin, F., Gueye, C. A. B., Kaafar, M. A., & Leduc, G. (December 2008). A Self-Organized clustering scheme for overlay networks. Lecture Notes in Computer Science, 5343, 59-70. doi:10.1007/978-3-540-92157-8_6
Peer reviewed

Balon, S., Delcourt, O., Lepropre, J., Skivée, F., & Leduc, G. (2008). TOTEM(v3.2) - Toolbox of Traffic Engineering Methods.

Balon, S., & Leduc, G. (June 2008). Combined Intra- and Inter-domain Traffic Engineering using Hot-Potato Aware Link Weights Optimization. ACM SIGMETRICS Performance Evaluation Review, 36 (1), 441-442. doi:10.1145/1375457.1375511
Peer reviewed

Kaafar, M. A., Gueye, C. A. B., Cantin, F., Leduc, G., & Mathy, L. (May 2008). Towards a Two-Tier Internet coordinate system to mitigate the impact of Triangle Inequality Violations. Lecture Notes in Computer Science, 4982, 397-408. doi:10.1007/978-3-540-79549-0_35
Peer reviewed

Calomme, S., & Leduc, G. (May 2008). An overlay maintenance protocol for overlay routing on top of ad hoc networks. Lecture Notes in Computer Science, 4982, 48-59. doi:10.1007/978-3-540-79549-0_5
Peer reviewed

Cantin, F., Gueye, C. A. B., Kaafar, M. A., Leduc, G., & Mathy, L. (2008). Explication et réduction de l’impact des violations d’inégalités triangulaires dans Vivaldi. In Actes de CFIP 2008 - Colloque Francophone sur l'Ingenierie des Protocoles. HAL INRIA.
Peer reviewed

Balon, S., & Leduc, G. (November 2007). Can Forwarding Loops Appear when Activating iBGP Multipath Load Sharing? Lecture Notes in Computer Science, 4866, 213-225. doi:10.1007/978-3-540-76809-8_19
Peer reviewed

Calomme, S., & Leduc, G. (September 2007). Efficient and Resilient Overlay Topologies over Ad Hoc Networks. Lecture Notes in Computer Science, 4725, 44-58. doi:10.1007/978-3-540-74917-2_6
Peer reviewed

El Khayat, I., Geurts, P., & Leduc, G. (July 2007). Machine-learnt versus analytical models of TCP throughput. Computer Networks, 51 (10), 2631-2644. doi:10.1016/j.comnet.2006.11.017
Peer Reviewed verified by ORBi

Balon, S., Lepropre, J., Delcourt, O., Skivée, F., & Leduc, G. (June 2007). Traffic Engineering an Operational Network with the TOTEM Toolbox. IEEE Transactions on Network and Service Management, 4 (1), 51-61. doi:10.1109/TNSM.2007.030105
Peer Reviewed verified by ORBi

Jelger, C., Tschudin, C., Schmid, S., & Leduc, G. (2007). Basic Abstractions for an Autonomic Network Architecture. In First IEEE Workshop on Autonomic and Opportunistic Communications (pp. 1-6). IEEE. doi:10.1109/WOWMOM.2007.4351692
Peer reviewed

Martin, S., & Leduc, G. (2007). Ephemeral State Assisted Discovery of Peer-to-peer Networks. In R. Boutaba, M. Brunner, & S. Schmid (Eds.), 1st IEEE Workshop on Autonomic Communications and Network Management (pp. 9-16).
Peer reviewed

François, J.-M., & Leduc, G. (May 2007). Delivery Guarantees In Predictable Disruption Tolerant Networks. Lecture Notes in Computer Science, 4479, 167-178. doi:10.1007/978-3-540-72606-7_15
Peer reviewed

François, J.-M., & Leduc, G. (May 2007). AP and MN-centric Mobility Prediction: A Comparative Study Based On Wireless Traces. Lecture Notes in Computer Science, 4479, 322-332. doi:10.1007/978-3-540-72606-7_28
Peer reviewed

François, J.-M., & Leduc, G. (2006). Predictable disruption tolerant networks and delivery guarantees. (arXiv:0612034).

Lepropre, J., & Leduc, G. (December 2006). Inferring Groups of Correlated Failures. Poster session presented at CoNext 2006 - Student Workshop, Lisbon, Portugal. doi:10.1145/1368436.1368477

Balon, S., Mélon, L., & Leduc, G. (14 November 2006). A scalable and decentralized fast-rerouting scheme with efficient bandwidth sharing. Computer Networks, 50 (16), 3043-3063. doi:10.1016/j.comnet.2005.12.002
Peer Reviewed verified by ORBi

François, J.-M., & Leduc, G. (2006). Prédiction de mobilité par le mobile ou par le point d'accès: comparaison sur base de traces réelles. In CFIP'2006. HAL INRIA.
Peer reviewed

Calomme, S., & Leduc, G. (2006). Conception d'un protocole de contrôle de topologie pour les overlays construits sur des réseaux ad hoc. In CFIP'2006. HAL INRIA.
Peer reviewed

Gaiti, D., Pujolle, G., Al-Shaer, E., Calvert, K., Dobson, S., Leduc, G., & Martikainen, O. (Eds.). (2006). Autonomic Networking. Berlin, Germany: Springer. doi:10.1007/978-0-387-34827-8_11

Balon, S., & Leduc, G. (2006). Dividing the Traffic Matrix to Approach Optimal Traffic Engineering. In 14th IEEE International Conference on Networks (pp. 1-6). IEEE. doi:10.1109/ICON.2006.302619
Peer reviewed

Skivée, F., Balon, S., & Leduc, G. (2006). A scalable heuristic for hybrid IGP/MPLS traffic engineering - Case study on an operational network. In 14th IEEE International Conference on Networks (pp. 1-6). IEEE. doi:10.1109/ICON.2006.302621
Peer reviewed

Soldani, C., Verdicchio, F., Leduc, G., & Munteanu, A. (2006). Multiple Description Coding versus Transport Layer FEC for Resilient Video Transmission. Paper presented at ICDT 2006, Cap Estérel, France. doi:10.1109/ICDT.2006.51
Peer reviewed

Calomme, S., & Leduc, G. (May 2006). Neighbour-Based Overlay Topology Control in Ad Hoc Networks. Poster session presented at ACM Mobihoc 2006, Florence, Italy.

El Khayat, I., Geurts, P., & Leduc, G. (May 2006). On the accuracy of analytical models of TCP throughput. Lecture Notes in Computer Science, 3976, 488-500. doi:10.1007/11753810_41
Peer reviewed

Balon, S., Skivée, F., & Leduc, G. (May 2006). How well do traffic engineering objective functions meet TE requirements? Lecture Notes in Computer Science, 3976, 75-86. doi:10.1007/11753810_7
Peer reviewed

Lepropre, J., Balon, S., & Leduc, G. (April 2006). TOTEM: A Toolbox for Traffic Engineering Methods. Poster session presented at IEEE INFOCOM 2006, Barcelona, Spain.

Leduc, G., Abrahamsson, H., Balon, S., Bessler, S., D'Arienzo, M., Delcourt, O., Domingo-Pascual, J., Cerav-Erbas, S., Gojmerac, I., Masip, X., Pescape, A., Quoitin, B., Romano, S., Salvadori, E., Skivée, F., Tran, H. T., Uhlig, S., & Umit, H. (March 2006). An open source traffic engineering toolbox. Computer Communications, 29 (5), 593-610. doi:10.1016/j.comcom.2005.06.010
Peer Reviewed verified by ORBi

Bonmariage, N., & Leduc, G. (February 2006). A survey of optimal network congestion control for unicast and multicast transmission. Computer Networks, 50 (3), 448-468. doi:10.1016/j.comnet.2005.04.015
Peer Reviewed verified by ORBi

Pham, C., & Leduc, G. (January 2006). Foreword - Transport protocols for next generation networks. Annales des Télécommunications, 61 (1-2, JAN-FEB), 2-4.

Calomme, S., & Leduc, G. (2006). The Critical Neighbourhood Range for Asymptotic Overlay Connectivity in Ad Hoc Networks. Ad Hoc and Sensor Wireless Networks, 2 (2), 169-187.
Peer Reviewed verified by ORBi

François, J.-M., & Leduc, G. (2005). Entropy-based knowledge spreading and application to mobility prediction. In ACM International conference on Emerging Network Experiments and Technologies (pp. 10-20). New York, United States: ACM. doi:10.1145/1095921.1095924
Peer reviewed

Balon, S., Skivée, F., & Leduc, G. (2005). Comparing traffic engineering objective functions. In CoNext 2005 - Student Workshop (pp. 224-225). New York, United States: ACM. doi:10.1145/1095921.1095952
Peer reviewed

Calomme, S., & Leduc, G. (2005). The Critical Neighbourhood Range for Asymptotic Overlay Connectivity in Dense Ad Hoc Networks. In Challenges in Ad Hoc Networking (pp. 179-188). Boston, United States: Springer. doi:10.1007/0-387-31173-4_20
Peer reviewed

Martin, S., & Leduc, G. (May 2005). An active platform as middleware for services and communities discovery. Lecture Notes in Computer Science, 3516, 237-245. doi:10.1007/11428862_33
Peer reviewed

El Khayat, I., Geurts, P., & Leduc, G. (May 2005). Improving TCP in wireless networks with an adaptive machine-learnt classifier of packet loss causes. Lecture Notes in Computer Science, 3462, 549-560. doi:10.1007/11422778_44
Peer reviewed

François, J.-M., & Leduc, G. (2005). Mobility prediction's influence on QoS in wireless networks: a study on a call admission algorithm. Paper presented at WiOpt 2005, Trentino, Italy. doi:10.1109/WIOPT.2005.29
Peer reviewed

Skivée, F., Balon, S., Delcourt, O., Lepropre, J., & Leduc, G. (2005). Architecture d'une boîte à outils d'algorithmes d'ingénierie de trafic et application au réseau GEANT. In Ingénierie des protocoles - Qualité de service, multimédia et mobilité (pp. 317-332). France: Hermès Lavoisier.
Peer reviewed

Geurts, P., El Khayat, I., & Leduc, G. (2004). A Machine Learning Approach to Improve Congestion Control over Wireless Computer Networks. Paper presented at ICDM 2004, Brighton, United Kingdom. doi:10.1109/ICDM.2004.10063
Peer reviewed

Skivée, F., & Leduc, G. (August 2004). A distributed algorithm for weighted max-min fairness in MPLS networks. Lecture Notes in Computer Science, 3124, 644-653. doi:10.1007/978-3-540-27824-5_87
Peer reviewed

Calomme, S., & Leduc, G. (2004). Performance Study of an Overlay Approach to Active Routing in Ad Hoc Networks. Paper presented at MedHocNet 2004, Bodrum, Turkey.
Peer reviewed

Ait-Hellal, O., & Leduc, G. (2004). TCP Vegas-like algorithm for layered multicast transmission. In Communications in Computing (pp. 58-64). CSREA.
Peer reviewed

François, J.-M., Leduc, G., & Martin, S. (2004). Learning movement patterns in mobile networks: a generic method. In European Wireless 2004 (pp. 128-134).
Peer reviewed

Martin, S., & Leduc, G. (2004). A dynamic neighbourhood discovery protocol for active overlay networks. Lecture Notes in Computer Science, 2982, 151-162. doi:10.1007/978-3-540-24715-9_14
Peer reviewed

François, J.-M., Leduc, G., & Martin, S. (2003). Evaluation d'une méthode de prédiction des déplacements de terminaux dans les réseaux mobiles. In Ingénierie des protocoles - Réseaux mobiles et ad hoc, qualité de service, test et validation (pp. 189-202). France: Hermès Lavoisier.
Peer reviewed

Blanchy, F., Mélon, L., & Leduc, G. (October 2003). A preemption-aware on-line routing algorithm for MPLS networks. Telecommunication Systems, 24 (2-4, OCT-DEC), 187-206. doi:10.1023/A:1026166813657
Peer Reviewed verified by ORBi

Blanchy, F., Mélon, L., & Leduc, G. (2003). An efficient decentralized on-line traffic engineering algorithm for MPLS networks. In Providing Quality of Service in Heterogeneous Environments (pp. 451-460).
Peer reviewed

Mélon, L., Blanchy, F., & Leduc, G. (2003). Decentralized local backup LSP calculation with efficient bandwidth sharing. In 10th IEEE International Conference on Telecommunications (pp. 929-937). United States: IEEE.
Peer reviewed

Blanchy, F., Mélon, L., & Leduc, G. (2003). Routing in a MPLS network featuring preemption mechanisms. In 10th IEEE International Conference on Telecommunications (pp. 253-260). United States: IEEE.
Peer reviewed

El Khayat, I., & Leduc, G. (2003). Smoothing the TCP rate by learning the delay versus window size dependency. Lecture Notes in Computer Science, 2899, 78-90. doi:10.1007/978-3-540-40012-7_7
Peer reviewed

Reinbold, P., Martin, S., Bonaventure, O., & Leduc, G. (2003). Module de garantie de transmission. In ARTHUR - Manuel d'informatisation des urgences (pp. 128-147). Belgium: Presses universitaires de Louvain.

Martin, S., & Leduc, G. (December 2002). RADAR: Ring-based adaptive discovery of active neighbour routers. Lecture Notes in Computer Science, 2546, 62-73. doi:10.1007/3-540-36199-5_5
Peer reviewed

Mélon, L., & Leduc, G. (2002). Comparaison quantitative de différentes techniques de restauration rapide dans les réseaux IP/MPLS. In A. Obaid (Ed.), Ingénierie des protocoles - Réseaux mobiles et ad hoc, qualité de service, multimédia, ingénierie de trafic (pp. 503-517). France: Hermès Lavoisier.
Peer reviewed

Bonmariage, N., & Leduc, G. (2002). Adaptation dynamique des débits des couches pour la transmission vidéo multipoint. In A. Obaid (Ed.), Ingénierie des protocoles - Réseaux mobiles et ad hoc, qualité de service, multimédia, ingénierie de trafic (pp. 19-34). France: Hermès Lavoisier.
Peer reviewed

Yamamoto, L., & Leduc, G. (2002). Resource Trading Agents for Adaptive Active Network Applications. In MOBILE AGENTS FOR TELECOMMUNICATION APPLICATIONS. United Kingdom: Hermès Penton Science.

Jennes, G., Leduc, G., & Tufail, M. (January 2002). A scheduler for relative delay service differentiation. Annales des Télécommunications, 57 (1-2, JAN-FEB), 83-104.
Peer Reviewed verified by ORBi

Yamamoto, L., & Leduc, G. (December 2001). Autonomous Reflectors over Active Networks: Towards Seamless Group Communication. The Interdisciplinary Journal of Artificial Intelligence & the Simulation of Behavious (AISBJ), 1 (1), 125-146.
Peer reviewed

Yamamoto, L., & Leduc, G. (October 2001). Building Bidirectional Multicast Trees Using Autonomous Reflectors. Poster session presented at IWAN 2001, Philadelphia, United States.

El Khayat, I., & Leduc, G. (04 September 2001). A Stable and Flexible TCP-friendly congestion control protocol for layered multicast transmission. Lecture Notes in Computer Science, 2158. doi:10.1007/3-540-44763-6_16
Peer reviewed

Yamamoto, L., & Leduc, G. (March 2001). Autonomous Multicast Reflectors over Active Networks. Paper presented at AISB Symposium on Software Mobility, York, United Kingdom.

Leduc, G., & Kuty, L. (2001). Spécification formelle des mécanismes de support des qualités de service dans l'Internet. In Ingénierie des protocoles et qualité de service (pp. 83-120). France: Hermès Science.

Leduc, G., Jeffrey, A., & Sighireanu, M. (2001). Introduction à E-LOTOS. In Ingénierie des protocoles et qualité de service (pp. 213-252). France: Hermès Science.

Leduc, G. (2001). Multimedia in the E-LOTOS Process Algebra. In Formal Methods for Distributed Processing - A Survey of Object Oriented Approaches (pp. 357-372). United Kingdom: Cambridge University Press.

Leduc, G. (2001). Information Technology - Enhancements to LOTOS (E-LOTOS). (ISO/IEC 15437:2001). ISO/IEC.

El Khayat, I., & Leduc, G. (06 November 2000). Contrôle de congestion pour la transmission multipoint en couches. Paper presented at Journées Doctorales Informatiques et Réseaux (JDIR 2000), Paris, France.

Yamamoto, L., & Leduc, G. (16 October 2000). An Active Layered Multicast Adaptation Protocol. Lecture Notes in Computer Science, 1942, 180-194. doi:10.1007/3-540-40057-5_14
Peer reviewed

Jennes, G., Leduc, G., & Tufail, M. (2000). Un ordonnanceur assurant des services différenciés relatifs basés sur le délai. In J.-P. Courtiat, M. Diaz, & P. Sénac (Eds.), Qualité de Service, multimédia et mobilité (pp. 97-112). France: Hermès.
Peer reviewed

Yamamoto, L., & Leduc, G. (2000). Adaptive Applications over Active Networks: Case Study on Layered Multicast. In IP Networks Versus conventional Switched Networks (pp. 386-394). United States: IEEE Press.
Peer reviewed

Yamamoto, L., & Leduc, G. (September 2000). An agent-inspired active network resource trading model applied to congestion control. Lecture Notes in Computer Science, 1931, 151-169. doi:10.1007/3-540-45391-1_12
Peer reviewed

Leduc, G., & Germeau, F. (July 2000). Verification of security protocols using LOTOS-method and application. Computer Communications, 23 (12), 1089-1103. doi:10.1016/S0140-3664(99)00239-X
Peer Reviewed verified by ORBi

El Khayat, I., & Leduc, G. (2000). Congestion Control for Layered Multicast Transmission. Networking and Information Systems Journal, 3 (3-4), 559-573.
Peer reviewed

Yamamoto, L., & Leduc, G. (2000). Resource Trading Agents for Adaptive Active Network Applications. Networking and Information Systems Journal, 3 (4-5), 743-768.
Peer reviewed

Leduc, G. (January 2000). Verification of two versions of the challenge handshake authentication protocol (CHAP). Annales des Télécommunications, 55 (1-2), 20-30.
Peer Reviewed verified by ORBi

Ait-Hellal, O., Yamamoto, L., & Leduc, G. (1999). Cycle-based TCP-Friendly Algorithm. In Proceedings of IEEE Globecom'99 (pp. 776-780). United States: IEEE Press.
Peer reviewed

Tufail, M., Jennes, G., & Leduc, G. (1999). A scheduler for delay-based service differentiation among AF classes. In D. Tsang & P. Kühn (Eds.), Broadband Communications - Convergence of Network Technologies (pp. 93-102). United States: Kluwer Academic Press.
Peer reviewed

Tufail, M., Jennes, G., & Leduc, G. (1999). Attaining per flow QoS with Class-based Differentiated Services. In R. Onvural, S. Civanlar, & J. Luciani (Eds.), Internet II: Quality of Service and Future Directions (pp. 101-112). United States: International Society for Optical Engineering.
Peer reviewed

Rosolen, V., Bonaventure, O., & Leduc, G. (July 1999). A RED discard strategy for ATM networks and its performance evaluation with TCP/IP Traffic. Computer Communication Review, 29 (3), 23-43. doi:10.1145/505724.505728
Peer Reviewed verified by ORBi

Garavel, H., Leduc, G., & Groz, R. (June 1999). Editorial - Réseaux et protocoles. Technique et Science Informatiques, 18 (6).
Peer reviewed

Leduc, G., Bonaventure, O., Koerner, E., Léonard, L., & Pecheur, C. (March 1999). Model-based verification of a security protocol for conditional access to services. Formal Methods in System Design, 14 (2), 171-191. doi:10.1023/A:1008683519655
Peer Reviewed verified by ORBi

Rosolen, V., Bonaventure, O., & Leduc, G. (1998). Impact of cell discard strategies on TCP/IP in ATM UBR networks. In Performance Modelling and Evaluation of ATM Networks. United States: Kluwer Academic Press.
Peer reviewed

Léonard, L., & Leduc, G. (1998). A formal definition of time in LOTOS (Full version). Formal Aspects of Computing, 10E, 28-96.
Peer Reviewed verified by ORBi

Léonard, L., & Leduc, G. (1998). A formal definition of time in LOTOS. Formal Aspects of Computing, 10 (3), 248-266. doi:10.1007/s001650050015
Peer Reviewed verified by ORBi

Germeau, F., & Leduc, G. (1997). A Computer Aided Design of a Secure Registration Protocol. In Formal Description Techniques and Protocol Specification, Testing and Verification. Chapman and Hall.
Peer reviewed

Leduc, G. (1997). CFIP'97 Ingénierie des protocoles. France: Hermès.

Germeau, F., & Leduc, G. (1997). Model-based Design and Verification of Security Protocols using LOTOS. In Design and Formal Verification of Security Protocols.
Peer reviewed

Février, A., Najm, E., Leduc, G., & Léonard, L. (March 1997). QoS specification of ODP binding objects. Telektronikk, 93 (1), 42-49.

Léonard, L., & Leduc, G. (1997). An introduction to ET-LOTOS for the description of time-sensitive systems. Computer Networks and ISDN Systems, 29 (3), 271-292. doi:10.1016/S0169-7552(96)00078-5
Peer Reviewed verified by ORBi

Leduc, G., Bonaventure, O., Koerner, E., Léonard, L., Pecheur, C., & Zanetti, D. (1996). Specification and verification of a TTP protocol for the conditional access to services. In Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems.
Peer reviewed

Jeffrey, A., & Leduc, G. (1996). E-LOTOS Core Language. (ISO/IEC JTC1/SC21/WG7 N1173 (Chapter 3)). ISO/IEC.

Février, A., Najm, E., Leduc, G., & Léonard, L. (1996). Compositional Specification of ODP Binding Objects. In Information Network and Data Communication.
Peer reviewed

Mathy, L., Leduc, G., Danthine, A., & Bonaventure, O. (1996). Towards an Integrated Solution for Multimedia Communications. Bulletin Scientifique de l'Association des Ingénieurs Électriciens sortis de l'Institut Électrotechnique Montefiore.

Léonard, L., & Leduc, G. (1995). An Extended LOTOS for the design of Real-Time Systems. In Design and Analysis of Real Time Systems.

Jeffrey, A., Garavel, H., Leduc, G., Pecheur, C., & Sighireanu, M. (1995). Towards a Proposal for Datatypes in E-LOTOS. (ISO/IEC JTC1/SC21 N10108 - Second Working Draft on Enhancements to LOTOS). ISO/IEC.

Léonard, L., Leduc, G., Miguel, C., Quemada, J., Rabay, G., De Frutos, D., & Llana, L. (1995). Time Extended LOTOS. (ISO/IEC JTC1/SC21/WG7 N1053). ISO/IEC.

Léonard, L., Leduc, G., de Frutos, D., Llana, L., Miguel, C., Quemada, J., & Rabay, G. (1995). Belgian-Spanish Proposal for a Time Extended LOTOS. ISO/IEC.

Leduc, G. (1994). Failure-based Congruences, Unfair Divergences and New Testing Theory. In S. Vuong & S. Chanson (Eds.), Protocol Specification, Testing and Verification, XIV (pp. 252-267). London, United Kingdom: Chapman & Hall.
Peer reviewed

Mathy, L., Leduc, G., Bonaventure, O., & Danthine, A. (1994). A Group Communication Framework. In W. Bauerfeld, O. Spaniol, & F. Williams (Eds.), Broadband Islands '94: Connecting with the End-User (pp. 167-178). Elsevier Science.
Peer reviewed

Mathy, L., Leduc, G., Bonaventure, O., & Danthine, A. (1994). A Group Communication Framework. (ISO/IEC JTC1/SC6/WG4 N838). ISO/IEC.

Leduc, G., & Léonard, L. (1994). A formal definition of time in LOTOS. ISO/IEC.

Leduc, G. (1994). A Method for Applying LOTOS at an Early Design Stage and Its Application to the ISO Transport Protocol. In The OSI95 Transport Service with Multimedia Support (pp. 151-180). Springer.

Danthine, A., Bonaventure, O., & Leduc, G. (1994). The Qos Enhancements in OSI95. In The OSI95 Transport Service with Multimedia Support (pp. 125-150). Springer.

Baguette, Y., & Leduc, G. (1994). The Connection Release Facilities in the OSI95 Transport Service. In The OSI95 Transport Service with Multimedia Support (pp. 199-211). Springer.

Léonard, L., Leduc, G., & Danthine, A. (1994). The Tick-Tock Case Study for the Assessment of Timed FDT's. In The OSI95 Transport Service with Multimedia Support (pp. 338-352). Springer.

Baguette, Y., Léonard, L., Leduc, G., & Danthine, A. (1994). The OSI95 Connection-Mode Transport Service. In The OSI95 Transport Service with Multimedia Support (pp. 181-198). Springer.

Leduc, G., & Danthine, A. (1994). On the Provision of a Fast Connect Facility in a Connection-Mode Transport Service. In The OSI95 Transport Service with Multimedia Support (pp. 225-238). Springer.

Leduc, G., & Danthine, A. (1994). OSI95 Contributions to ISO/IEC and ETSI. In The OSI95 Transport Service with Multimedia Support (pp. 378-387). Springer.

Léonard, L., & Leduc, G. (1993). An Enhanced Version of Timed LOTOS and its Application to a Case study. In R. L. Tenney, P. D. Amer, & M. U. Uyar (Eds.), FORMAL DESCRIPTION TECHNIQUES, VI (pp. 483-498). Elsevier Science.
Peer reviewed

Leduc, G., & Léonard, L. (1993). Comment rendre LOTOS apte à spécifier des systèmes temps réel ? In R. Dssouli & G. Bochmann (Eds.), Ingénierie des Protocoles (pp. 407-425). Paris, France: Hermès.

Danthine, A., Leduc, G., & Wolper, P. (Eds.). (1993). 13th Intern. Symposium on Protocol Specification, Testing and Verification, Liège, Belgium. North-Holland.

Danthine, A., Bonaventure, O., Baguette, Y., Leduc, G., & Léonard, L. (1993). QoS Enhancements and the new transport services. In R. Onvural & A. Nilsson (Eds.), Local Area Network Interconnection (pp. 1-22). New York, United States: Plenum Press.

Baguette, Léonard, L., Leduc, G., & Danthine, A. (1993). The OSI95 Enhanced Transport Services. (ISO/IEC JTC1/SC6/WG4 N821). ISO/IEC.

Danthine, A., Baguette, Y., Leduc, G., & Léonard, L. (1992). The OSI 95 Connection-mode Transport Service-The Enhanced QoS. In A. Danthine & O. Spaniol (Eds.), HIGH PERFORMANCE NETWORKING, IV (pp. 235-252). Elsevier Science.
Peer reviewed

Leduc, G., & Léonard, L. (1992). A Timed LOTOS Supporting a Dense Time Domain and Including New Timed Operators. In M. Diaz & R. Groz (Eds.), Formal Description Techniques V (pp. 87-102). Elsevier Science.
Peer reviewed

Baguette, Y., Léonard, L., Leduc, G., Danthine, A., & Bonaventure, O. (1992). OSI 95 Enhanced Transport Facilities and Functions.

Leduc, G. (1992). An Upward Compatible Timed Extension to LOTOS. In K. Parther & G. Rose (Eds.), Formal Description Techniques IV (pp. 217-232). Elsevier Science.
Peer reviewed

Leduc, G. (1992). A Framework Based on Implementation Relations for Implementing LOTOS Specifications. Computer Networks and ISDN Systems, 25 (1), 23-41. doi:10.1016/0169-7552(92)90122-7
Peer Reviewed verified by ORBi

Lallemand, E., & Leduc, G. (1991). A LOTOS Data Facility Compiler (DAFY). In K. Parther & G. Rose (Eds.), Formal Description Techniques IV (pp. 313-327). Elsevier Science.
Peer reviewed

Leduc, G. (1991). Equivalence associée à la relation de conformité "conf" et simplification du testeur canonique en LOTOS. In O. Rafiq (Ed.), CFIP'91 Ingénierie des Protocoles (pp. 425-440). Paris, France: Hermès.
Peer reviewed

Leduc, G. (1991). Conformance relation, associated equivalence, and minimum canonical tester in LOTOS. In B. Jonsson, J. Parrow, & B. Pehrson (Eds.), Protocol Specification, Testing, and Verification, XI (pp. 249-264). Elsevier Science.
Peer reviewed

Leduc, G. (1991). On the role of implementation relations in the design of distributed systems using LOTOS.

Leduc, G. (1991). Les applications informatiques des années 90 et leurs implications sur les réseaux de communication. Bulletin Scientifique de l'Association des Ingénieurs Électriciens sortis de l'Institut Électrotechnique Montefiore, 2, 3-19.

Leduc, G. (1991). Relations d'implémentation et transformations autorisées d'une spécification LOTOS. Réseaux et Informatique Répartie, 1, 59-86.

Dubuis, E., Gotzhein, Hansson, H., Juanole, G., Kerner, H., Lahtinen, P., Leduc, G., Lombardo, A., Marchena, S., Orth, W., Palazzo, S., Pavon, J., Thalmann, U., Tienari, M., & Tvrdy, I. (1988). A Framework for the Taxonomy of Synthesis and Analysis Activities in Distributed System Design. In R. Speth (Ed.), Research into Networks and Distributed Applications (pp. 859-871). Paris, Belgium: Elsevier Science Publishers, North Holland.
Peer reviewed

Blyth, D., Dubuis, E., Hansson, H., Juanole, G., Kapus-Kolar, M., Kerner, H., Leduc, G., Le Moli, G., Lombardo, A., Marchena, S., Orth, W., Pavon, J., Pehrson, B., Tienari, M., & Vogt, F. (1987). Architectural and Behavioural Modelling in Computer Communication. In M. Barton, E. Dagless, & G. Reijns (Eds.), Distributed Processing (pp. 53-70). Paris, Belgium: Elsevier Science Publishers (North-Holland).
Peer reviewed

Leduc, G. (1987). The Intertwining of Data Types and Processes in LOTOS. In H. Rudin & C. West (Eds.), Protocol Specification, Testing and Verification, VII (pp. 123-136). Elsevier Science Publisher (North-Holland).
Peer reviewed

Leduc, G. (1987). LOTOS, un outil utile ou un autre langage académique ? In A. Danthine (Ed.), Les réseaux de communication - nouveaux outils et tendances actuelles (pp. 1-25). France: Dunod Informatique.

Leduc, G. (1985). Assessing the Service Provided by a Connection-less Protocol. In M. Diaz (Ed.), Protocol Specification, Testing and Verification (pp. 215-234). Elsevier Science Publishers (North-Holland).
Peer reviewed

Contact ORBi