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. 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 Peer Reviewed verified by ORBi |
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 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). 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 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. 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). 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 |
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 |
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 |
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 |
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 |
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 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 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 |
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 |
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 |
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 |
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 |
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 |
Balon, S., Delcourt, O., Lepropre, J., Skivée, F., & Leduc, G. (2008). TOTEM(v3.2) - Toolbox of Traffic Engineering Methods. |
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 |
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 |
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 |
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. (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 |
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 |
Lepropre, J., & Leduc, G. (December 2006). Inferring Groups of Correlated Failures [Poster presentation]. CoNext 2006 - Student Workshop, Lisbon, Portugal. doi:10.1145/1368436.1368477 |
François, J.-M., & Leduc, G. (2006). Predictable disruption tolerant networks and delivery guarantees. (arXiv:0612034). https://orbi.uliege.be/handle/2268/29762 |
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 |
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 |
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 |
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 presentation]. ICDT 2006, Cap Estérel, France. doi:10.1109/ICDT.2006.51 Peer reviewed |
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 |
Calomme, S., & Leduc, G. (May 2006). Neighbour-Based Overlay Topology Control in Ad Hoc Networks [Poster presentation]. ACM Mobihoc 2006, Florence, Italy. |
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 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 |
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 |
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 Peer reviewed |
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 |
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 |
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 |
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 |
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 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 presentation]. 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 presentation]. 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 |
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 |
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. (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 |
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 |
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 |
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 |
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 |
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 |
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. (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. Peer reviewed |
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 Peer reviewed |
Yamamoto, L., & Leduc, G. (March 2001). Autonomous Multicast Reflectors over Active Networks [Paper presentation]. AISB Symposium on Software Mobility, York, United Kingdom. |
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). Information Technology - Enhancements to LOTOS (E-LOTOS). (ISO/IEC 15437:2001). ISO/IEC. https://orbi.uliege.be/handle/2268/33812 |
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. (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. |
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 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 |
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. (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 |
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 |
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 |
El Khayat, I., & Leduc, G. (2000). Congestion Control for Layered Multicast Transmission. Networking and Information Systems Journal, 3 (3-4), 559-573. Peer reviewed |
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. Formal Aspects of Computing, 10 (3), 248-266. doi:10.1007/s001650050015 Peer Reviewed verified by ORBi |
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 |
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 |
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 |
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 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. 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. 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. 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. 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. https://orbi.uliege.be/handle/2268/33810 |
Danthine, A., Bonaventure, O., & Leduc, G. (1994). The Qos Enhancements in OSI95. In The OSI95 Transport Service with Multimedia Support (pp. 125-150). 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. |
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., & Léonard, L. (1994). A formal definition of time in LOTOS. ISO/IEC. https://orbi.uliege.be/handle/2268/2429 |
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. |
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. |
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. |
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. |
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. https://orbi.uliege.be/handle/2268/33811 |
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. 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. 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). 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. 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 |