Guy Juanole

41 papers A* 3A 3B 8C 3Journal 5Unranked 19
YearRankTypeTitle / Venue / Authors
2013 J jnl
Route selection in IEEE 802.11 wireless mesh networks.
Telecommun. Syst.
Usman Ashraf, Slim Abdellatif, Guy Juanole
2012 — conf
Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service.
SIES
Hung Xuan Nguyen, Guy Juanole
2012 J jnl
Interference-Aware Bandwidth Reservation in multi-radio multi-channel mesh networks.
Comput. Commun.
Usman Ashraf, Slim Abdellatif, Guy Juanole
2012 B conf
Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis.
MASCOTS
Abdelaziz El Fatni, Guy Juanole
2011 J jnl
Route Maintenance in IEEE 802.11 wireless mesh networks.
Comput. Commun.
Usman Ashraf, Slim Abdellatif, Guy Juanole
2010 A conf
Formal modelling and verification of the common hopping multi-channel MAC protocols.
MSWiM
Abdelaziz El Fatni, Guy Juanole, Thierry Val
2010 — conf
On Resource Management in Heterogeneous Wireless Access Networks application to automated highway systems.
NOTERE
Mohamad El Masri, Slim Abdellatif, Guy Juanole
2009 B conf
An Uplink Bandwidth Management Framework for IEEE 802.16 with QoS Guarantees.
Networking
Mohamad El Masri, Slim Abdellatif, Guy Juanole
2009 B conf
Gateway selection in backbone wireless mesh networks.
WCNC
Usman Ashraf, Slim Abdellatif, Guy Juanole
2008 — conf
An Interference and Link-Quality Aware Routing Metric for Wireless Mesh Networks.
VTC Fall
Usman Ashraf, Slim Abdellatif, Guy Juanole
2008 — conf
Efficient route maintenance in wireless mesh networks.
ISWPC
Usman Ashraf, Slim Abdellatif, Guy Juanole
2008 — conf
Hybrid Admission Control Algorithm for IEEE 802.11e EDCA: Analysis.
ICN
Mohamad El Masri, Guy Juanole, Slim Abdellatif
2008 — conf
On Enhancing a Hybrid Admission Control Algorithm for IEEE 802.11e EDCA.
MWCN/PWC
Mohamad El Masri, Guy Juanole, Slim Abdellatif
2008 — conf
Proposal of a Novel Bandwidth Management Framework for IEEE 802.16 Based on Aggregation.
NTMS
Mohamad El Masri, Slim Abdellatif, Guy Juanole
2008 — conf
Route Stability in Wireless Mesh Access Networks.
EUC (2)
Usman Ashraf, Slim Abdellatif, Guy Juanole
2007 B conf
Evaluating Routing Protocols for the Wireless Mesh Backbone.
WiMob
Usman Ashraf, Guy Juanole, Slim Abdellatif
2007 B conf
Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling.
RTCSA
Guy Juanole, Gerard Mouney
2007 — conf
Revisiting the Markov Chain Model of IEEE 802.11E EDCA and Introducing the Virtual Collision Phenomenon.
WINSYS
Mohamad El Masri, Guy Juanole, Slim Abdellatif
2006 C conf
Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth.
ETFA
Tarik Khoutaif, Guy Juanole
2005 — conf
Improving the admissibility of flows with bounded arrivals and bounded delay requirements in rate-controlled packet networks.
EUROMICRO-SEAA
Slim Abdellatif, Guy Juanole
1997 C conf
Concept of Quantified Abstract Quotient Automaton and its Advantage.
FORTE
Guy Juanole, Laurent Gallon
1995 C conf
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets.
FORTE
Guy Juanole, Laurent Gallon
1995 B conf
Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol.
MASCOTS
Youcef Atamna, Guy Juanole
1995 — conf
Quantified reduced views of state graphs using Markovian and timed observational equivalence.
PSTV
Khalil Drira, Youcef Atamna, Guy Juanole
1994 B conf
Methodology for LAN Modeling and Analysis Using Petri Nets Based Models.
MASCOTS
Nathalie Bergé, Mazen Samaan, Guy Juanole, Youcef Atamna
1994 B conf
Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets.
MASCOTS
Rosa M. L. R. Carmo, Guy Juanole
1994 J jnl
Observer-A Concept for Formal On-Line Validation of Distributed Systems.
IEEE Trans. Software Eng.
Michel Diaz, Guy Juanole, Jean-Pierre Courtiat
1994 J jnl
Petri Net Performance Models.
IEEE Trans. Software Eng.
Guy Juanole
1994 A conf
Real-Time Communication Services in a DQDB Network.
RTSS
Rosa M. L. R. Carmo, Francisco Vasques, Guy Juanole
1992 A conf
An Epistemic Logic Based Synthesis of Communication Services and Protocols.
ICDCS
Omar Amyay, Guy Juanole, Stella Zwecker
1991 — conf
Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems.
PNPM
Guy Juanole, Youcef Atamna
1990 — conf
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux.
SPLT
Stella Zwecker, Guy Juanole, Omar Amyay
1989 A* conf
On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets.
INFOCOM
Guy Juanole, C. Faure
1989 — conf
On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities.
PNPM
Guy Juanole, J. L. Roux
1988 A* conf
Formal specification of ISO virtual terminal in Estelle.
INFOCOM
Paul D. Amer, Figen Ceceli, Guy Juanole
1988 A* conf
Towards a knowledge base for specifying multilayer architectures - Application to internetworking.
INFOCOM
Guy Juanole, André Onodi
1987 — conf
Functional and Performance Analysis Using Extended Time Petri Nets.
PNPM
J. L. Roux, Guy Juanole
1985 — conf
An approach for evaluating formal description techniques.
PSTV
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, Orlando Pereda
1984 — conf
On communication protocol modelling and design.
European Workshop on Applications and Theory in Petri Nets
Guy Juanole, B. Algayres, J. Dufau
1984 — conf
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison.
PSTV
Guy Juanole
1983 — conf
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase.
Protocol Specification, Testing, and Verification
Guy Juanole, B. Algayres