Guy Leduc
Guy Leduc
Professor of Computer Science, Université de Liège, Montefiore Institute, Belgium
Verified email at - Homepage
Cited by
Cited by
A RED discard strategy for ATM networks and its performance evaluation with TCP/IP traffic
V Rosolen, O Bonaventure, G Leduc
ACM SIGCOMM Computer Communication Review 29 (3), 23-43, 1999
DMFSGD: A decentralized matrix factorization algorithm for network distance prediction
Y Liao, W Du, P Geurts, G Leduc
IEEE/ACM Transactions on Networking 21 (5), 1511-1524, 2013
An introduction to ET-LOTOS for the description of time-sensitive systems
L Léonard, G Leduc
Computer networks and ISDN systems 29 (3), 271-292, 1997
A machine learning approach to improve congestion control over wireless computer networks
P Geurts, I El Khayat, G Leduc
Fourth IEEE International Conference on Data Mining (ICDM), 2004, 383-386, 2004
The OSI 95 Connection-Mode Transport Service - The Enhanced QoS
A Danthine, Y Baguette, G Leduc, L Léonard
High Performance Networking (HPN), IV, 1992
A framework based on implementation relations for implementing LOTOS specifications
G Leduc
Computer Networks and ISDN Systems 25 (1), 23-41, 1992
How well do traffic engineering objective functions meet TE requirements?
S Balon, F Skivée, G Leduc
IFIP Networking 2006, 75-86, 2006
An open source traffic engineering toolbox
G Leduc, H Abrahamsson, S Balon, S Bessler, M D'Arienzo, O Delcourt, ...
Computer Communications 29 (5), 593-610, 2006
Network distance prediction based on decentralized matrix factorization
Y Liao, P Geurts, G Leduc
IFIP Networking 2010, 15-26, 2010
On the role of implementation relations in the design of distributed systems using LOTOS
G Leduc
University of Liège (ULiège), PhD Thesis, 1991
Learning movement patterns in mobile networks: a generic method
JM François, G Leduc, S Martin
European Wireless 2004, 2004
A formal definition of time in LOTOS
L Léonard, G Leduc
Formal Aspects of Computing 10 (3), 248-266, 1998
An enhanced version of timed LOTOS and its application to a case study
L Léonard, G Leduc
Formal description techniques (FORTE), VI, 1993
A timed LOTOS supporting a dense time domain and including new timed operators
G Leduc, L Léonard
Formal Description Techniques (FORTE) V, 1992
Conformance relation, associated equivalence, and minimum canonical tester in LOTOS
G Leduc
Protocol Specification, Testing, and Verification (PSTV), XI, 1991
Verification of security protocols using LOTOS - Method and application
G Leduc, F Germeau
Computer Communications 23 (12), 1089-1103, 2000
Basic abstractions for an autonomic network architecture
C Jelger, C Tschudin, S Schmid, G Leduc
World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM), 2007, 1-6, 2007
Routing in a MPLS network featuring preemption mechanisms
F Blanchy, L Mélon, G Leduc
10th International Conference on Telecommunications (IEEE ICT), 2003, 253-260, 2003
Combined intra- and inter-domain traffic engineering using hot-potato aware link weights optimization
S Balon, G Leduc
ACM SIGMETRICS Performance Evaluation Review 36 (1), 441-442, 2008
Enhancement of TCP over wired/wireless networks with packet loss classifiers inferred by supervised learning
I El Khayat, P Geurts, G Leduc
Wireless Networks 16, 273-290, 2010
The system can't perform the operation now. Try again later.
Articles 1–20