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 |
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 |
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 |
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. https://orbi.uliege.be/handle/2268/184580 |
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. https://orbi.uliege.be/handle/2268/184579 |
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 |
Ghrab, A., Skhiri, S., Koener, H., & Leduc, G. (May 2013). Towards a Standards-Based Cloud Service Manager [Poster presentation]. 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 |
Du, W., Liao, Y., Geurts, P., & Leduc, G. (2012). Ordinal Rating of Network Performance and Inference by Matrix Completion. (arXiv:1211.0447). https://orbi.uliege.be/handle/2268/137035 |
Jung, T., Martin, S., Ernst, D., & Leduc, G. (2012). Contextual Multi-armed Bandits for the Prevention of Spam in VoIP Networks. ORBi-University of Liège. https://orbi.uliege.be/handle/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 |
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. https://orbi.uliege.be/handle/2268/110541 |
Liao, Y., Du, W., Geurts, P., & Leduc, G. (2012). DMFSGD: A Decentralized Matrix Factorization Algorithm for Network Distance Prediction. (arXiv:1201.1174). https://orbi.uliege.be/handle/2268/137034 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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. |
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. |
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 |
Liao, Y., & Leduc, G. (24 August 2009). Triangle Inequality Violation Avoidance in Internet Coordinate Systems [Poster presentation]. 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 |
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 |
Balon, S., & Leduc, G. (2009). BGP-aware IGP Link Weight Optimization in Presence of Route Reflectors. In IEEE INFOCOM 2009. IEEE. |
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 |
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 |
Cantin, F., Gueye, C. A. B., Kaafar, M. A., & Leduc, G. (December 2008). Overlay Routing using Coordinate Systems [Poster presentation]. 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 |
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 |
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 |
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 |
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. |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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). |
François, J.-M., & Leduc, G. (2006). Predictable disruption tolerant networks and delivery guarantees. (arXiv:0612034). https://orbi.uliege.be/handle/2268/29762 |
Lepropre, J., & Leduc, G. (December 2006). Inferring Groups of Correlated Failures [Poster presentation]. 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 |
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. |
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. |
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 |
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 |
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 |
Soldani, C., Verdicchio, F., Leduc, G., & Munteanu, A. (2006). Multiple Description Coding versus Transport Layer FEC for Resilient Video Transmission [Paper presentation]. ICDT 2006, Cap Estérel, France. doi:10.1109/ICDT.2006.51 |
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 |
Calomme, S., & Leduc, G. (May 2006). Neighbour-Based Overlay Topology Control in Ad Hoc Networks [Poster presentation]. 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 |
Lepropre, J., Balon, S., & Leduc, G. (April 2006). TOTEM: A Toolbox for Traffic Engineering Methods [Poster presentation]. 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 |
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 |
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. |
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. |
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 |
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 |
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 |
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 |
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 |
François, J.-M., & Leduc, G. (2005). Mobility prediction's influence on QoS in wireless networks: a study on a call admission algorithm [Paper presentation]. WiOpt 2005, Trentino, Italy. doi:10.1109/WIOPT.2005.29 |
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. |
Geurts, P., El Khayat, I., & Leduc, G. (2004). A Machine Learning Approach to Improve Congestion Control over Wireless Computer Networks [Paper presentation]. ICDM 2004, Brighton, United Kingdom. doi:10.1109/ICDM.2004.10063 |
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 |
Ait-Hellal, O., & Leduc, G. (2004). TCP Vegas-like algorithm for layered multicast transmission. In Communications in Computing (pp. 58-64). CSREA. |
Calomme, S., & Leduc, G. (2004). Performance Study of an Overlay Approach to Active Routing in Ad Hoc Networks [Paper presentation]. MedHocNet 2004, Bodrum, Turkey. |
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). |
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 |
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 |
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. |
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). |
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. |
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. |
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 |
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 |
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. |
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. |
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. |
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. |
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. |
Yamamoto, L., & Leduc, G. (October 2001). Building Bidirectional Multicast Trees Using Autonomous Reflectors [Poster presentation]. 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 |
Yamamoto, L., & Leduc, G. (March 2001). Autonomous Multicast Reflectors over Active Networks [Paper presentation]. AISB Symposium on Software Mobility, York, United Kingdom. |
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. https://orbi.uliege.be/handle/2268/33812 |
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., & 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. |
El Khayat, I., & Leduc, G. (06 November 2000). Contrôle de congestion pour la transmission multipoint en couches [Paper presentation]. 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 |
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. |
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. |
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 |
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 |
El Khayat, I., & Leduc, G. (2000). Congestion Control for Layered Multicast Transmission. Networking and Information Systems Journal, 3 (3-4), 559-573. |
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. |
Yamamoto, L., & Leduc, G. (2000). Resource Trading Agents for Adaptive Active Network Applications. Networking and Information Systems Journal, 3 (4-5), 743-768. |
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. |
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. |
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. |
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 |
Garavel, H., Leduc, G., & Groz, R. (June 1999). Editorial - Réseaux et protocoles. Technique et Science Informatiques, 18 (6). |
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 |
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. |
Léonard, L., & Leduc, G. (1998). A formal definition of time in LOTOS (Full version). Formal Aspects of Computing, 10E, 28-96. |
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 |
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. |
Germeau, F., & Leduc, G. (1997). Model-based Design and Verification of Security Protocols using LOTOS. In Design and Formal Verification of Security Protocols. |
Leduc, G. (1997). CFIP'97 Ingénierie des protocoles. France: Hermès. |
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 |
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. |
Jeffrey, A., & Leduc, G. (1996). E-LOTOS Core Language. (ISO/IEC JTC1/SC21/WG7 N1173 (Chapter 3)). ISO/IEC. https://orbi.uliege.be/handle/2268/33819 |
Février, A., Najm, E., Leduc, G., & Léonard, L. (1996). Compositional Specification of ODP Binding Objects. In Information Network and Data Communication. |
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. https://orbi.uliege.be/handle/2268/33809 |
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. https://orbi.uliege.be/handle/2268/33792 |
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. https://orbi.uliege.be/handle/2268/33821 |
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. |
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. |
Mathy, L., Leduc, G., Bonaventure, O., & Danthine, A. (1994). A Group Communication Framework. (ISO/IEC JTC1/SC6/WG4 N838). ISO/IEC. https://orbi.uliege.be/handle/2268/33810 |
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. |
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. |
Danthine, A., Bonaventure, O., & Leduc, G. (1994). The Qos Enhancements in OSI95. In The OSI95 Transport Service with Multimedia Support (pp. 125-150). Springer. |
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. |
Leduc, G., & Danthine, A. (1994). OSI95 Contributions to ISO/IEC and ETSI. In The OSI95 Transport Service with Multimedia Support (pp. 378-387). 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., & Léonard, L. (1994). A formal definition of time in LOTOS. ISO/IEC. https://orbi.uliege.be/handle/2268/2429 |
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. |
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. |
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. |
Baguette, Léonard, L., Leduc, G., & Danthine, A. (1993). The OSI95 Enhanced Transport Services. (ISO/IEC JTC1/SC6/WG4 N821). ISO/IEC. https://orbi.uliege.be/handle/2268/33811 |
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. |
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. |
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. |
Baguette, Y., Léonard, L., Leduc, G., Danthine, A., & Bonaventure, O. (1992). OSI 95 Enhanced Transport Facilities and Functions. https://orbi.uliege.be/handle/2268/3118 |
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. |
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 |
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. |
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. |
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. |
Leduc, G. (1991). On the role of implementation relations in the design of distributed systems using LOTOS. |
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. |
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. |
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. |
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). |
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). |
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). |