Guy Leduc
Guy Leduc
Professor of Computer Science, Université de Liège, Montefiore Institute, Belgium
Adresse e-mail validée de ulg.ac.be - Page d'accueil
TitreCitée parAnnée
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
981999
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
871997
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
801992
A framework based on implementation relations for implementing LOTOS specifications
G Leduc
Computer Networks and ISDN Systems 25 (1), 23-41, 1992
751992
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
682013
Network distance prediction based on decentralized matrix factorization
Y Liao, P Geurts, G Leduc
IFIP Networking 2010, 15-26, 2010
582010
On the role of implementation relations in the design of distributed systems using LOTOS
G Leduc
University of Liège (ULg), Doctoral Thesis, 1991
58*1991
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
542006
An enhanced version of timed LOTOS and its application to a case study
L Léonard, G Leduc
Formal description techniques (FORTE), VI, 1993
511993
Learning movement patterns in mobile networks: a generic method
JM François, G Leduc, S Martin
European Wireless 2004, 2004
482004
How well do traffic engineering objective functions meet TE requirements?
S Balon, F Skivée, G Leduc
IFIP Networking 2006, 75-86, 2006
472006
Verification of security protocols using LOTOS - Method and application
G Leduc, F Germeau
Computer Communications 23 (12), 1089-1103, 2000
472000
A formal definition of time in LOTOS
L Léonard, G Leduc
Formal Aspects of Computing 10 (3), 248-266, 1998
471998
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
46*2004
A timed LOTOS supporting a dense time domain and including new timed operators
G Leduc, L Léonard
Formal Description Techniques (FORTE) V, 1992
451992
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
442007
Conformance relation, associated equivalence, and minimum canonical tester in LOTOS
G Leduc
Protocol Specification, Testing, and Verification (PSTV), XI, 1991
43*1991
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
402008
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
372003
An active layered multicast adaptation protocol
L Yamamoto, G Leduc
Active Networks (IWAN), 180-194, 2000
332000
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20