| 2012 | MASCOTS | Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis. | Abdelaziz El Fatni, Guy Juanole |
| 2010 | MSWIM | Formal modelling and verification of the common hopping multi-channel MAC protocols. | Abdelaziz El Fatni, Guy Juanole, Thierry Val |
| 2009 | Networking | An Uplink Bandwidth Management Framework for IEEE 802.16 with QoS Guarantees. | Mohamad El Masri, Slim Abdellatif, Guy Juanole |
| 2009 | WCNC | Gateway selection in backbone wireless mesh networks. | Usman Ashraf, Slim Abdellatif, Guy Juanole |
| 2008 | EUC | Route Stability in Wireless Mesh Access Networks. | Usman Ashraf, Slim Abdellatif, Guy Juanole |
| 2008 | VTC | An Interference and Link-Quality Aware Routing Metric for Wireless Mesh Networks. | Usman Ashraf, Slim Abdellatif, Guy Juanole |
| 2007 | WiMob | Evaluating Routing Protocols for the Wireless Mesh Backbone. | Usman Ashraf, Guy Juanole, Slim Abdellatif |
| 2007 | RTCSA | Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling. | Guy Juanole, Gerard Mouney |
| 2006 | ETFA | Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth. | Tarik Khoutaif, Guy Juanole |
| 1997 | FORTE | Concept of Quantified Abstract Quotient Automaton and its Advantage. | Guy Juanole, Laurent Gallon |
| 1995 | FORTE | Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. | Guy Juanole, Laurent Gallon |
| 1995 | MASCOTS | 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 |
| 1994 | MASCOTS | Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. | Nathalie Berg, Mazen Samaan, Guy Juanole, Youcef Atamna |
| 1994 | MASCOTS | Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets. | Rosa M. L. R. Carmo, Guy Juanole |
| 1994 | RTSS | Real-Time Communication Services in a DQDB Network. | Rosa M. L. R. Carmo, Francisco Vasques, Guy Juanole |
| 1992 | ICDCS | An Epistemic Logic Based Synthesis of Communication Services and Protocols. | Omar Amyay, Guy Juanole, Stella Zwecker |
| 1989 | INFOCOM | On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets. | Guy Juanole, C. Faure |
| 1988 | INFOCOM | Formal specification of ISO virtual terminal in Estelle. | Paul D. Amer, Figen Ceceli, Guy Juanole |
| 1988 | INFOCOM | Towards a knowledge base for specifying multilayer architectures - Application to internetworking. | Guy Juanole, Andr Onodi |