Search the dblp DataBase

Publications of Author

1. Guy Juanole, B. Algayres, J. Dufau
   On communication protocol modelling and design. [Citation Graph (0, 0)][DBLP]
   European Workshop on Applications and Theory in Petri Nets, 1984, pp:267-287 [Conf]
   
2. Slim Abdellatif, Guy Juanole
   Improving the admissibility of flows with bounded arrivals and bounded delay requirements in rate-controlled packet networks. [Citation Graph (0, 0)][DBLP]
   EUROMICRO-SEAA, 2005, pp:304-312 [Conf]
   
3. Guy Juanole, Laurent Gallon
   Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
   FORTE, 1995, pp:351-366 [Conf]
   
4. Guy Juanole, Laurent Gallon
   Concept of Quantified Abstract Quotient Automaton and its Advantage. [Citation Graph (0, 0)][DBLP]
   FORTE, 1997, pp:223-238 [Conf]
   
5. Omar Amyay, Guy Juanole, Stella Zwecker
   An Epistemic Logic Based Synthesis of Communication Services and Protocols. [Citation Graph (0, 0)][DBLP]
   ICDCS, 1992, pp:674-681 [Conf]
   
6. Guy Juanole, B. Algayres
   Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. [Citation Graph (0, 0)][DBLP]
   Protocol Specification, Testing, and Verification, 1983, pp:273-282 [Conf]
   
7. Guy Juanole, C. Faure
   On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets. [Citation Graph (0, 0)][DBLP]
   INFOCOM, 1989, pp:458-467 [Conf]
   
8. Stella Zwecker, Guy Juanole, Omar Amyay
   Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. [Citation Graph (0, 0)][DBLP]
   SPLT, 1990, pp:23-0 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   MASCOTS, 1995, pp:299-306 [Conf]
   
10. N. Bergé, Mazen Samaan, Guy Juanole, Youcef Atamna
    Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1994, pp:335-342 [Conf]
    
11. Rosa M. L. R. Carmo, Guy Juanole
    Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1994, pp:269-275 [Conf]
    
12. J. L. Roux, Guy Juanole
    Functional and Performance Analysis Using Extended Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1987, pp:14-23 [Conf]
    
13. Guy Juanole, Youcef Atamna
    Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:32-41 [Conf]
    
14. Guy Juanole, J. L. Roux
    On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:230-239 [Conf]
    
15. 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. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:421-438 [Conf]
    
16. Khalil Drira, Youcef Atamna, Guy Juanole
    Quantified reduced views of state graphs using Markovian and timed observational equivalence. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:253-268 [Conf]
    
17. Guy Juanole
    Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:577-600 [Conf]
    
18. Rosa M. L. R. Carmo, Francisco Vasques, Guy Juanole
    Real-Time Communication Services in a DQDB Network. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1994, pp:249-258 [Conf]
    
19. Michel Diaz, Guy Juanole, Jean-Pierre Courtiat
    Observer-A Concept for Formal On-Line Validation of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:12, pp:900-913 [Journal]
    
20. Guy Juanole
    Petri Net Performance Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:7, pp:505- [Journal]
    
21. Guy Juanole, Gerard Mouney
    Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2007, pp:267-274 [Conf]
    
22. Tarik Khoutaif, Guy Juanole
    Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:30-37 [Conf]
    
23. 
    Route Stability in Wireless Mesh Access Networks. [Citation Graph (, )][DBLP]
    
    
24. 
    Hybrid Admission Control Algorithm for IEEE 802.11e EDCA: Analysis. [Citation Graph (, )][DBLP]
    
    
25. 
    On Enhancing a Hybrid Admission Control Algorithm for IEEE 802.11e EDCA. [Citation Graph (, )][DBLP]
    
    
26. 
    An Uplink Bandwidth Management Framework for IEEE 802.16 with QoS Guarantees. [Citation Graph (, )][DBLP]
    
    
27. 
    An Interference and Link-Quality Aware Routing Metric for Wireless Mesh Networks. [Citation Graph (, )][DBLP]
    
    
28. 
    Evaluating Routing Protocols for the Wireless Mesh Backbone. [Citation Graph (, )][DBLP]
    
    
29. 
    Gateway selection in backbone wireless mesh networks. [Citation Graph (, )][DBLP]
    
    
30. 
    Revisiting the Markov Chain Model of IEEE 802.11E EDCA and Introducing the Virtual Collision Phenomenon. [Citation Graph (, )][DBLP]
    
    
31. 
    Proposal of a Novel Bandwidth Management Framework for IEEE 802.16 Based on Aggregation. [Citation Graph (, )][DBLP]
    
    
32. 
    On Resource Management in Heterogeneous Wireless Access Networks application to automated highway systems. [Citation Graph (, )][DBLP]