Guy Juanole
According to our database1,
Guy Juanole
authored at least 41 papers
between 1983 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
2012
Comput. Commun., 2012
Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012
Proceedings of the 20th IEEE International Symposium on Modeling, 2012
2011
2010
On Resource Management in Heterogeneous Wireless Access Networks application to automated highway systems.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010
2009
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009
Proceedings of the NETWORKING 2009, 2009
2008
Proceedings of the 68th IEEE Vehicular Technology Conference, 2008
Proposal of a Novel Bandwidth Management Framework for IEEE 802.16 Based on Aggregation.
Proceedings of the NTMS 2008, 2008
Proceedings of the Wireless and Mobile Networking, IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30, 2008
Proceedings of the Third International Symposium on Wireless Pervasive Computing, 2008
Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
2007
Revisiting the Markov Chain Model of IEEE 802.11E EDCA and Introducing the Virtual Collision Phenomenon.
Proceedings of the WINSYS 2007, 2007
Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, 2007
Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling.
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007
2006
Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
2005
Improving the admissibility of flows with bounded arrivals and bounded delay requirements in rate-controlled packet networks.
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005
1997
Concept of Quantified Abstract Quotient Automaton and its Advantage.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
1995
Quantified reduced views of state graphs using Markovian and timed observational equivalence.
Proceedings of the Protocol Specification, 1995
Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol.
Proceedings of the MASCOTS '95, 1995
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets.
Proceedings of the Formal Description Techniques VIII, 1995
1994
IEEE Trans. Software Eng., 1994
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994
1992
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992
1991
Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
1990
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux.
Proceedings of the SPLT'90, 1990
1989
On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets.
Proceedings of the Proceedings IEEE INFOCOM '89, 1989
1988
Towards a knowledge base for specifying multilayer architectures - Application to internetworking.
Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988
Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988
1987
Functional and Performance Analysis Using Extended Time Petri Nets.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987
1985
An approach for evaluating formal description techniques.
Proceedings of the Protocol Specification, 1985
1984
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison.
Proceedings of the Protocol Specification, 1984
Proceedings of the Advances in Petri Nets 1984, 1984
1983
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983