default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuy Juanole
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
[j5]Usman Ashraf, Slim Abdellatif, Guy Juanole:
Route selection in IEEE 802.11 wireless mesh networks. Telecommun. Syst. 52(4): 1777-1795 (2013)- 2012
- [j4]Usman Ashraf, Slim Abdellatif, Guy Juanole:
Interference-Aware Bandwidth Reservation in multi-radio multi-channel mesh networks. Comput. Commun. 35(17): 2138-2149 (2012) - [c36]Abdelaziz El Fatni, Guy Juanole:
Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis. MASCOTS 2012: 485-488 - [c35]Hung Xuan Nguyen, Guy Juanole:
Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service. SIES 2012: 85-93 - 2011
- [j3]Usman Ashraf, Slim Abdellatif, Guy Juanole:
Route Maintenance in IEEE 802.11 wireless mesh networks. Comput. Commun. 34(13): 1604-1621 (2011) - 2010
- [c34]Abdelaziz El Fatni, Guy Juanole, Thierry Val:
Formal modelling and verification of the common hopping multi-channel MAC protocols. MSWiM 2010: 311-318 - [c33]Mohamad El Masri, Slim Abdellatif, Guy Juanole:
On Resource Management in Heterogeneous Wireless Access Networks application to automated highway systems. NOTERE 2010: 137-142
2000 – 2009
- 2009
- [c32]Mohamad El Masri, Slim Abdellatif, Guy Juanole:
An Uplink Bandwidth Management Framework for IEEE 802.16 with QoS Guarantees. Networking 2009: 651-663 - [c31]Usman Ashraf, Slim Abdellatif, Guy Juanole:
Gateway selection in backbone wireless mesh networks. WCNC 2009: 2548-2553 - 2008
- [c30]Usman Ashraf, Slim Abdellatif, Guy Juanole:
Route Stability in Wireless Mesh Access Networks. EUC (2) 2008: 717-722 - [c29]Mohamad El Masri, Guy Juanole, Slim Abdellatif:
Hybrid Admission Control Algorithm for IEEE 802.11e EDCA: Analysis. ICN 2008: 93-98 - [c28]Usman Ashraf, Slim Abdellatif, Guy Juanole:
Efficient route maintenance in wireless mesh networks. ISWPC 2008: 712-716 - [c27]Mohamad El Masri, Guy Juanole, Slim Abdellatif:
On Enhancing a Hybrid Admission Control Algorithm for IEEE 802.11e EDCA. MWCN/PWC 2008: 299-310 - [c26]Mohamad El Masri, Slim Abdellatif, Guy Juanole:
Proposal of a Novel Bandwidth Management Framework for IEEE 802.16 Based on Aggregation. NTMS 2008: 1-5 - [c25]Usman Ashraf, Slim Abdellatif, Guy Juanole:
An Interference and Link-Quality Aware Routing Metric for Wireless Mesh Networks. VTC Fall 2008: 1-5 - 2007
- [c24]Guy Juanole, Gerard Mouney:
Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling. RTCSA 2007: 267-274 - [c23]Usman Ashraf, Guy Juanole, Slim Abdellatif:
Evaluating Routing Protocols for the Wireless Mesh Backbone. WiMob 2007: 40 - [c22]Mohamad El Masri, Guy Juanole, Slim Abdellatif:
Revisiting the Markov Chain Model of IEEE 802.11E EDCA and Introducing the Virtual Collision Phenomenon. WINSYS 2007: 76-84 - 2006
- [c21]Tarik Khoutaif, Guy Juanole:
Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth. ETFA 2006: 30-37 - 2005
- [c20]Slim Abdellatif, Guy Juanole:
Improving the admissibility of flows with bounded arrivals and bounded delay requirements in rate-controlled packet networks. EUROMICRO-SEAA 2005: 304-312
1990 – 1999
- 1997
- [c19]Guy Juanole, Laurent Gallon:
Concept of Quantified Abstract Quotient Automaton and its Advantage. FORTE 1997: 223-238 - 1995
- [c18]Guy Juanole, Laurent Gallon:
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. FORTE 1995: 351-366 - [c17]Youcef Atamna, Guy Juanole:
Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol. MASCOTS 1995: 299-306 - [c16]Khalil Drira, Youcef Atamna, Guy Juanole:
Quantified reduced views of state graphs using Markovian and timed observational equivalence. PSTV 1995: 253-268 - 1994
- [j2]Guy Juanole:
Petri Net Performance Models. IEEE Trans. Software Eng. 20(7): 505 (1994) - [j1]Michel Diaz, Guy Juanole, Jean-Pierre Courtiat:
Observer-A Concept for Formal On-Line Validation of Distributed Systems. IEEE Trans. Software Eng. 20(12): 900-913 (1994) - [c15]Rosa M. L. R. Carmo, Guy Juanole:
Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets. MASCOTS 1994: 269-275 - [c14]Nathalie Bergé, Mazen Samaan, Guy Juanole, Youcef Atamna:
Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. MASCOTS 1994: 335-342 - [c13]Rosa M. L. R. Carmo, Francisco Vasques
, Guy Juanole:
Real-Time Communication Services in a DQDB Network. RTSS 1994: 249-258 - 1992
- [c12]Omar Amyay, Guy Juanole, Stella Zwecker:
An Epistemic Logic Based Synthesis of Communication Services and Protocols. ICDCS 1992: 674-681 - 1991
- [c11]Guy Juanole, Youcef Atamna:
Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. PNPM 1991: 32-41 - 1990
- [c10]Stella Zwecker, Guy Juanole, Omar Amyay:
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. SPLT 1990: 23-
1980 – 1989
- 1989
- [c9]Guy Juanole, C. Faure:
On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets. INFOCOM 1989: 458-467 - [c8]Guy Juanole, J. L. Roux:
On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities. PNPM 1989: 230-239 - 1988
- [c7]Guy Juanole, André Onodi:
Towards a knowledge base for specifying multilayer architectures - Application to internetworking. INFOCOM 1988: 186-194 - [c6]Paul D. Amer, Figen Ceceli, Guy Juanole:
Formal specification of ISO virtual terminal in Estelle. INFOCOM 1988: 623-630 - 1987
- [c5]J. L. Roux, Guy Juanole:
Functional and Performance Analysis Using Extended Time Petri Nets. PNPM 1987: 14-23 - 1985
- [c4]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:
An approach for evaluating formal description techniques. PSTV 1985: 421-438 - 1984
- [c3]Guy Juanole, B. Algayres, J. Dufau:
On communication protocol modelling and design. European Workshop on Applications and Theory in Petri Nets 1984: 267-287 - [c2]Guy Juanole:
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison. PSTV 1984: 577-600 - 1983
- [c1]Guy Juanole, B. Algayres:
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. Protocol Specification, Testing, and Verification 1983: 273-282
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
