Publications and communications of Guy Leduc

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.

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

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).

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

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

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

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).

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

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

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

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.

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

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.

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.

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

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.

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.

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.

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.

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.

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., 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.

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). Relations d'implémentation et transformations autorisées d'une spécification LOTOS. Réseaux et Informatique Répartie, 1, 59-86.