Leïla Kloul

Dominique Barth, Samir Bellahsene, Leïla Kloul: Combining local and global profiles for mobility prediction in LTE femtocells. MSWiM 2012: 333-342

Dominique Barth, Samir Bellahsene, Leïla Kloul: Mobility Prediction Using Mobile User Profiles. MASCOTS 2011: 286-294

Samir Bellahsene, Leïla Kloul: A New Markov-Based Mobility Prediction Algorithm for Mobile Networks. EPEW 2010: 37-50

Juliana Küster Filipe Bowles, Leïla Kloul: Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW 2010: 195-200

Leïla Kloul: Performance Analysis of a Software Retrieval Service. Electr. Notes Theor. Comput. Sci. 232: 145-163 (2009)

Leïla Kloul: From DFTs to PEPA: A Model-to-Model Transformation. EPEW 2009: 94-109

Samir Bellahsene, Leïla Kloul, Dominique Barth: A hierarchical prediction model for two nodes-based IP mobile networks. MSWiM 2009: 173-180

Lamia Djoudi, Leïla Kloul: Assembly Code Analysis Using Stochastic Process Algebra. EPEW 2008: 95-109

Jane Hillston, Leïla Kloul: Formal techniques for performance analysis: blending SAN and PEPA. Formal Asp. Comput. 19(1): 3-33 (2007)

Leïla Kloul, Juliana Küster Filipe: Modelling Mobility with UML2.0 and PEPA Nets. ACSD 2006: 153-164

Jean-Michel Fourneau, Leïla Kloul: A Precedence PEPA Model for Performance and Reliability Analysis. EPEW 2006: 1-15

Jane Hillston, Leïla Kloul: A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW 2006: 16-30

Stephen Gilmore, Leïla Kloul: A unified tool for performance modelling and prediction. Rel. Eng. & Sys. Safety 89(1): 17-32 (2005)

Leïla Kloul, Amdjed Mokhtari: Algèbre des processus pour l'analyse des performances des noeuds actifs. Technique et Science Informatiques 24(2-3): 279-309 (2005)

Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214

Leïla Kloul, Amdjed Mokhtari: A Secure Code Deployment Scheme for Active Networks. IWAN 2005: 168-181

Leïla Kloul, Fabrice Valois: Investigating unfairness scenarios in MANET using 802.11b. PE-WASUN 2005: 1-8

Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (Eds.): Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Lecture Notes in Computer Science 3670, Springer 2005, isbn 3-540-28701-9

Jane Hillston, Leïla Kloul, Amdjed Mokhtari: Towards a Feasible Active Networking Scenario. Telecommunication Systems 27(2-4): 413-438 (2004)

Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul: PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops 2004: 262-277

Stephen Gilmore, Leïla Kloul, Davide Piazza: Modelling Role-Playing Games Using PEPA Nets. ISCIS 2004: 523-532

Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23

C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens: Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP 2004: 74-78

Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: PEPA nets: a structured performance modelling formalism. Perform. Eval. 54(2): 79-104 (2003)

Stephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335

Stephen Gilmore, Leïla Kloul: A Unified Tool for Performance Modelling and Prediction. SAFECOMP 2003: 179-192

Jean-Michel Fourneau, Leïla Kloul, Fabrice Valois: Performance modelling of hierarchical cellular networks using PEPA. Perform. Eval. 50(2/3): 83-99 (2002)

Jane Hillston, Leïla Kloul: Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience 13(1): 23-41 (2001)

Jane Hillston, Leïla Kloul: An Efficient Kronecker Representation for PEPA Models. PAPM-PROBMIV 2001: 120-135

Jean-Michel Fourneau, Leïla Kloul, Dominique Verchère: Multiple class G-networks with list-oriented deletions. European Journal of Operational Research 126(2): 250-272 (2000)

Jean-Michel Fourneau, Leïla Kloul, Franck Quessette: Multiple class G-networks with iterated deletions. Perform. Eval. 42(1): 1-20 (2000)

Jean-Michel Fourneau, Leïla Kloul, Franck Quessette: Multiple Class G-Networks with Jumps back to Zero. MASCOTS 1995: 28-32