| 2009 |
|---|
| 26 | EE | Mohamad El Masri,
Slim Abdellatif,
Guy Juanole:
An Uplink Bandwidth Management Framework for IEEE 802.16 with QoS Guarantees.
Networking 2009: 651-663 |
| 2008 |
|---|
| 25 | EE | Mohamad El Masri,
Guy Juanole,
Slim Abdellatif:
Hybrid Admission Control Algorithm for IEEE 802.11e EDCA: Analysis.
ICN 2008: 93-98 |
| 24 | EE | Mohamad El Masri,
Guy Juanole,
Slim Abdellatif:
On Enhancing a Hybrid Admission Control Algorithm for IEEE 802.11e EDCA.
MWCN/PWC 2008: 299-310 |
| 23 | EE | Usman Ashraf,
Slim Abdellatif,
Guy Juanole:
An Interference and Link-Quality Aware Routing Metric for Wireless Mesh Networks.
VTC Fall 2008: 1-5 |
| 2007 |
|---|
| 22 | EE | Guy Juanole,
Gerard Mouney:
Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling.
RTCSA 2007: 267-274 |
| 2006 |
|---|
| 21 | EE | 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 |
|---|
| 20 | EE | 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 |
| 1997 |
|---|
| 19 | | Guy Juanole,
Laurent Gallon:
Concept of Quantified Abstract Quotient Automaton and its Advantage.
FORTE 1997: 223-238 |
| 1995 |
|---|
| 18 | | Guy Juanole,
Laurent Gallon:
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets.
FORTE 1995: 351-366 |
| 17 | | 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 |
| 16 | | Khalil Drira,
Youcef Atamna,
Guy Juanole:
Quantified reduced views of state graphs using Markovian and timed observational equivalence.
PSTV 1995: 253-268 |
| 1994 |
|---|
| 15 | | Rosa M. L. R. Carmo,
Francisco Vasques,
Guy Juanole:
Real-Time Communication Services in a DQDB Network.
IEEE Real-Time Systems Symposium 1994: 249-258 |
| 14 | | Rosa M. L. R. Carmo,
Guy Juanole:
Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets.
MASCOTS 1994: 269-275 |
| 13 | | N. Bergé,
Mazen Samaan,
Guy Juanole,
Youcef Atamna:
Methodology for LAN Modeling and Analysis Using Petri Nets Based Models.
MASCOTS 1994: 335-342 |
| 12 | EE | 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) |
| 11 | EE | Guy Juanole:
Petri Net Performance Models.
IEEE Trans. Software Eng. 20(7): 505 (1994) |
| 1992 |
|---|
| 10 | | Omar Amyay,
Guy Juanole,
Stella Zwecker:
An Epistemic Logic Based Synthesis of Communication Services and Protocols.
ICDCS 1992: 674-681 |
| 1991 |
|---|
| 9 | | 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 |
|---|
| 8 | | Stella Zwecker,
Guy Juanole,
Omar Amyay:
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux.
SPLT 1990: 23- |
| 1989 |
|---|
| 7 | | Guy Juanole,
C. Faure:
On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets.
INFOCOM 1989: 458-467 |
| 6 | | Guy Juanole,
J. L. Roux:
On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities.
PNPM 1989: 230-239 |
| 1987 |
|---|
| 5 | | J. L. Roux,
Guy Juanole:
Functional and Performance Analysis Using Extended Time Petri Nets.
PNPM 1987: 14-23 |
| 1985 |
|---|
| 4 | | 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 |
|---|
| 3 | | Guy Juanole,
B. Algayres,
J. Dufau:
On communication protocol modelling and design.
European Workshop on Applications and Theory in Petri Nets 1984: 267-287 |
| 2 | | Guy Juanole:
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison.
PSTV 1984: 577-600 |
| 1983 |
|---|
| 1 | | 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 |
