Recent publications
2010
- J. Bowles and L. Kloul,
Synthesising PEPA nets from IODs for Performance Analysis.
Proceedings of the 1st ACM SIGMETRICS and ACM SIGSOFT Joint WOSP/SIPEW International
Conference on Performance Engineering, San Jose, California, January 2010
2009
- S. Bellahsene, L. Kloul and D. Barth,
A hierarchical prediction model for two nodes-based IP mobile networks,
Proceedings of the 12th ACM SIGSIM International Conference on Modeling, Analysis
and Simulation of Wireless and Mobile Systems (MSWiM),
Tenerife, Canary Islands, October 2009.
- L. Kloul,
From DFTs to PEPA: A Model-to-Model Transformation,
LNCS vol.5652 , pp:95-109, Springer Verlag, Proceedings of the 6th EPEW,
London, July 2009.
2008
- L. Kloul,
Performance Analysis of a Software Retrieval Service,
Elsevier's ENTCS vol.232, pp:145-163, 2009, Proceedings of the 5th International
Workshop on Practical Applications of Stochastic Modelling, Palma de
Mallorca, Septembre 2008.
- L. Djoudi and L. Kloul,
Assembly Code Analysis Using Stochastic Process Algebra,
LNCS vol.5261, pp:95-109, Springer Verlag, Proceedings of the 5th EPEW,
Palma de Mallorca, September 2008.
2007
- J. Hillston and L. Kloul,
Formal techniques for performance analysis: blending SAN
and PEPA,
Formal Aspects of Computing journal, Springer Verlag,
vol.19, n.1, pp:3-33, 2007
2006
- L. Kloul,
From Performance Analysis to Performance Engineering:
some Ideas and Experiments,
Habilitation à Diriger des Recherches en Informatique,
Université de Versailles Saint-Quentin, December 2006
- L. Kloul and J.Kuster-Filipe,
Modelling Mobility with UML2.0 and PEPA nets,
Proceedings of The Sixth International Conference on
Application of Concurrency to System Design (ACSD'06),
Turku, 28-30 June, IEEE Computer Society pp:153-162, 2006.
- J. Hillston and L. Kloul,
A Function-Equivalent Components Based Simplification
Technique for PEPA Models,
LNCS Vol. 4054, pp:16-30, Ed. Springer Verlag. Proceedings
of The Third European Performance Engineering Workshop
(EPEW'06), Budapest, 21-22 June, 2006.
- J.M. Fourneau and L. Kloul,
A Precedence PEPA Model for Performance and Reliability
Analysis,
LNCS Vol. 4054, pp:1-15, Ed. Springer Verlag. Proceedings
of The Third European Performance Engineering Workshop
(EPEW'06), Budapest, 21-22 June, 2006.
2005
- M. Bravetti, L. Kloul and G. Zavattaro (Eds.),
LNCS 3670,
Formal Techniques for Computer Systems and Business Processes,
Proceedings of the 2nd European Performance Engineering Workshop
(EPEW 2005) and the 2nd International Workshop on Web Services and
Formal Methods (WS-FM 2005), 1-3 September 2005, Versailles, France.
- L. Kloul and A. Mokhtari,
Algèbre des processus pour l'analyse des performances
des noeuds actifs,
Techniques et Sciences Informatiques, Hermès Science,
vol.24, n.2-3, pp:279-310, 2005
- S. Gilmore and L. Kloul,
A Unified Tool for Performance Modelling and Prediction,
Reliability Engineering and System Safety, Elsevier Science,
vol.89, n.1, pp:17-32, July 2005
- L. Kloul and A. Mokhtari,
A secure code deployment scheme for active networks,
Proceedings of the 7th International Working Conference on
Active Networks (IWAN'05),
Sophia Antipolis, 21-23 November 2005.
To appear in LNCS, Springer Verlag Eds.
- L. Kloul and F. Valois,
Investigating Unfairness Scenarios in MANET Using 802.11b,
2nd ACM Workshop on Performance Evaluation of Wireless Ad Hoc
Sensor, and Ubiquitous Networks (PE-WASUN 2005),
Montreal, Canada,
October, 2005.
- S. Gilmore, V. Haenel, L. Kloul and M. Maidl,
Choreographing Security and Performance Analysis for Web Services,
LNCS Vol. 3670, pp:200-214, Ed. Springer Verlag.
Proceedings of The 2nd International Workshop on Web Services
and Formal Methods (WS-FM'05), Versailles, France,
1-3 September, 2005.
2004
- S. Gilmore, J. Hillston and L. Kloul,
PEPA Nets, in Performance Tools and Applications
to Networked Systems: Revised Tutorial Lectures,
Editors: M.C. Calzarossa & E. Gelenbe, LNCS
Vol.2965, pp:311 - 335, 2004
- J. Hillston, L. Kloul and A. Mokhtari,
Towards a feasible active networking scenario,
in Telecommunication Systems Journal, 27:2-4, pp:413-438,
Kluwer Academic Publishers, 2004.
- S. Gilmore, L. Kloul and D. Piazza,
Modelling role-playing games using PEPA nets,
LNCS Vol. 3280, pp:523-532, Ed. Springer Verlag.
Proceedings of The 19th International Symposium on Computer
and Information Sciences (ISCIS'04), Kemer-Antalya,
27-29 October, 2004.
- S. Gilmore, J. Hillston, V. Heanel and L. Kloul,
PEPA nets in practice: modelling a decentralised
peer-to-peer emergency medical application,
LNCS Vol. 3236, pp:262-277. Proceedings of the 1st European
Performance Evaluation Workshop (EPEW'04), Toledo,
30 September - 2 October, 2004.
- J. Hillston, L. Kloul and A. Mokhtari,
Towards a Feasible Active Networking Scenario,
Proceedings of the 3rd IEEE International Conference on
Networking (ICN'04), Guadeloupe, March 1-4 2004.
- S. Gilmore, J. Hillston, L. Kloul and M. Ribaudo,
Software performance modelling using PEPA nets,
Proceedings of the 4th ACM SIGSOFT International Workshop
on Software and Performance (WOSP'04), Redwood City,
California, 14-16 January 2004.
- C. Canevet, S. Gilmore, J. Hillston, L. Kloul and P. Stevens,
Analysing UML 2.0 activity diagrams in the software
performance engineering process,
Proceedings of the 4th ACM SIGSOFT International Workshop
on Software and Performance (WOSP'04), Redwood City,
California, 14-16 January 2004.
2003
- S. Gilmore, J. Hillston, L. Kloul and M. Ribaudo,
PEPA nets: a structured performance modelling formalism,
Performance Evaluation, Elsevier Science, Vol.54, pp:79-104,
2003
- S. Gilmore and L. Kloul,
A Unified Tool for Performance Modelling and Prediction,
LNCS, N.2788, pp:179-192, Ed. Springer Verlag, Proceedings
of the 22nd International Conference on Computer Safety,
Reliability and Security (SAFECOMP'03), Edinburgh 23-26
September 2003.
- J. Hillston, L. Kloul and A. Mokhtari,
Active Nodes Performance Analysis using PEPA,
Proceedings of the 19th United Kingdom Performance
Evaluation Workshop (UKPEW'03), Warwick 9-10 July 2003.
2002
- J-M. Fourneau, L. Kloul and F. Valois,
Performance Modelling of Hierarchical Networks using PEPA,
Performance Evaluation journal, Elsevier Science, Vol.50/2-3 pp:83-99,
November 2002.
2001
- J. Hillston and L. Kloul,
Performance Investigation of an On-Line Auction System,
Concurrency and Computation: Practice and Experience.
Special Issue on
High Performance Agent Systems, Scalability and Performance
Management,
John Wiley & Sons, N.13, pp:23-41, 2001.
- J. Hillston and L. Kloul,
An Efficient Kronecker Representation for PEPA Models,
LNCS, N.2165, pp:120-135, Ed. Springer Verlag, Proceedings
of the Joint International Workshop, PAPM-PROBMIV 2001,
Aachen, Germany, September 2001.
2000
- J-M. Fourneau, L. Kloul and D. Verchere,
Multiple Class G-Networks with List Oriented Deletions,
European Journal of Operational Research (EJOR), Elsevier
Science, Vol. 126/2, pp: 250-272, October 16, 2000.
- J-M. Fourneau, L. Kloul and F. Quessette,
Multiple Class G-Networks with Iterated Deletions,
Performance Evaluation, Elsevier Science, Vol.42, No.1, pp: 1-19,
August 2000
January 2010