Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. - Guy Juanole; B. Algayres (Protocol Specification, Testing, and Verification, 1983)

On communication protocol modelling and design. - Guy Juanole; B. Algayres; J. Dufau (European Workshop on Applications and Theory in Petri Nets, 1984)

Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison. - Guy Juanole (PSTV, 1984)

An approach for evaluating formal description techniques. - Ari Ahtiainen; S. Alfonzetti; V. Chari; Mats Daniels; Michel Diaz; Alberto Faro; Hans A. Hansson; Guy Juanole; Ulla Karjalainen; Gesualdo Le Moli; Juhani Malka; Sergio Palazzo; et al. (PSTV, 1985)

Functional and Performance Analysis Using Extended Time Petri Nets. - J. L. Roux; Guy Juanole (PNPM, 1987)

Formal specification of ISO virtual terminal in Estelle. - Paul D. Amer; Figen Ceceli; Guy Juanole (INFOCOM, 1988)

Towards a knowledge base for specifying multilayer architectures - Application to internetworking. - Guy Juanole; André Onodi (INFOCOM, 1988)

On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets. - Guy Juanole; C. Faure (INFOCOM, 1989)

On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities. - Guy Juanole; J. L. Roux (PNPM, 1989)

Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. - Stella Zwecker; Guy Juanole; Omar Amyay (SPLT, 1990)

Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. - Guy Juanole; Youcef Atamna (PNPM, 1991)

An Epistemic Logic Based Synthesis of Communication Services and Protocols. - Omar Amyay; Guy Juanole; Stella Zwecker (ICDCS, 1992)

Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. - Nathalie Bergé; Mazen Samaan; Guy Juanole; Youcef Atamna (MASCOTS, 1994)

Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets. - Rosa M. L. R. Carmo; Guy Juanole (MASCOTS, 1994)

Real-Time Communication Services in a DQDB Network. - Rosa M. L. R. Carmo; Francisco Vasques; Guy Juanole (RTSS, 1994)

Observer-A Concept for Formal On-Line Validation of Distributed Systems. - Michel Diaz; Guy Juanole; Jean-Pierre Courtiat (IEEE Trans. Software Eng., 1994)

Petri Net Performance Models. - Guy Juanole (IEEE Trans. Software Eng., 1994)

Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. - Guy Juanole; Laurent Gallon (FORTE, 1995)

Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol. - Youcef Atamna; Guy Juanole (MASCOTS, 1995)

Quantified reduced views of state graphs using Markovian and timed observational equivalence. - Khalil Drira; Youcef Atamna; Guy Juanole (PSTV, 1995)

Concept of Quantified Abstract Quotient Automaton and its Advantage. - Guy Juanole; Laurent Gallon (FORTE, 1997)

Improving the admissibility of flows with bounded arrivals and bounded delay requirements in rate-controlled packet networks. - Slim Abdellatif; Guy Juanole (EUROMICRO-SEAA, 2005)

Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth. - Tarik Khoutaif; Guy Juanole (ETFA, 2006)

Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling. - Guy Juanole; Gerard Mouney (RTCSA, 2007)

Evaluating Routing Protocols for the Wireless Mesh Backbone. - Usman Ashraf; Guy Juanole; Slim Abdellatif (WiMob, 2007)

Revisiting the Markov Chain Model of IEEE 802.11E EDCA and Introducing the Virtual Collision Phenomenon. - Mohamad El Masri; Guy Juanole; Slim Abdellatif (WINSYS, 2007)

Route Stability in Wireless Mesh Access Networks. - Usman Ashraf; Slim Abdellatif; Guy Juanole (EUC (2), 2008)

Hybrid Admission Control Algorithm for IEEE 802.11e EDCA: Analysis. - Mohamad El Masri; Guy Juanole; Slim Abdellatif (ICN, 2008)

Efficient route maintenance in wireless mesh networks. - Usman Ashraf; Slim Abdellatif; Guy Juanole (ISWPC, 2008)

On Enhancing a Hybrid Admission Control Algorithm for IEEE 802.11e EDCA. - Mohamad El Masri; Guy Juanole; Slim Abdellatif (MWCN/PWC, 2008)

Proposal of a Novel Bandwidth Management Framework for IEEE 802.16 Based on Aggregation. - Mohamad El Masri; Slim Abdellatif; Guy Juanole (NTMS, 2008)

An Interference and Link-Quality Aware Routing Metric for Wireless Mesh Networks. - Usman Ashraf; Slim Abdellatif; Guy Juanole (VTC Fall, 2008)

An Uplink Bandwidth Management Framework for IEEE 802.16 with QoS Guarantees. - Mohamad El Masri; Slim Abdellatif; Guy Juanole (Networking, 2009)

Gateway selection in backbone wireless mesh networks. - Usman Ashraf; Slim Abdellatif; Guy Juanole (WCNC, 2009)

Formal modelling and verification of the common hopping multi-channel MAC protocols. - Abdelaziz El Fatni; Guy Juanole; Thierry Val (MSWiM, 2010)

On Resource Management in Heterogeneous Wireless Access Networks application to automated highway systems. - Mohamad El Masri; Slim Abdellatif; Guy Juanole (NOTERE, 2010)

Route Maintenance in IEEE 802.11 wireless mesh networks. - Usman Ashraf; Slim Abdellatif; Guy Juanole (Comput. Commun., 2011)

Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis. - Abdelaziz El Fatni; Guy Juanole (MASCOTS, 2012)

Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service. - Hung Xuan Nguyen; Guy Juanole (SIES, 2012)

Interference-Aware Bandwidth Reservation in multi-radio multi-channel mesh networks. - Usman Ashraf; Slim Abdellatif; Guy Juanole (Comput. Commun., 2012)

Route selection in IEEE 802.11 wireless mesh networks. - Usman Ashraf; Slim Abdellatif; Guy Juanole (Telecommun. Syst., 2013)