Multiple Class G-Networks with Jumps back to Zero. - Jean-Michel Fourneau; Leïla Kloul; Franck Quessette (MASCOTS, 1995)

Multiple class G-networks with list-oriented deletions. - Jean-Michel Fourneau; Leïla Kloul; Dominique Verchère (Eur. J. Oper. Res., 2000)

Multiple class G-networks with iterated deletions. - Jean-Michel Fourneau; Leïla Kloul; Franck Quessette (Perform. Evaluation, 2000)

An Efficient Kronecker Representation for PEPA Models. - Jane Hillston; Leïla Kloul (PAPM-PROBMIV, 2001)

Performance investigation of an on-line auction system. - Jane Hillston; Leïla Kloul (Concurr. Comput. Pract. Exp., 2001)

Performance modelling of hierarchical cellular networks using PEPA. - Jean-Michel Fourneau; Leïla Kloul; Fabrice Valois (Perform. Evaluation, 2002)

PEPA Nets. - Stephen Gilmore; Jane Hillston; Leïla Kloul (MASCOTS Tutorials, 2003)

PEPA nets: a structured performance modelling formalism. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (Perform. Evaluation, 2003)

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

Modelling Role-Playing Games Using PEPA Nets. - Stephen Gilmore; Leïla Kloul; Davide Piazza (ISCIS, 2004)

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

Software performance modelling using PEPA nets. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (WOSP, 2004)

Towards a Feasible Active Networking Scenario. - Jane Hillston; Leïla Kloul; Amdjed Mokhtari (Telecommun. Syst., 2004)

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

A Secure Code Deployment Scheme for Active Networks. - Leïla Kloul; Amdjed Mokhtari (IWAN, 2005)

Investigating unfairness scenarios in MANET using 802.11b. - Leïla Kloul; Fabrice Valois (PE-WASUN, 2005)

A unified tool for performance modelling and prediction. - Stephen Gilmore; Leïla Kloul (Reliab. Eng. Syst. Saf., 2005)

Algèbre des processus pour l'analyse des performances des noeuds actifs. - Leïla Kloul; Amdjed Mokhtari (Tech. Sci. Informatiques, 2005)

Modelling Mobility with UML2.0 and PEPA Nets. - Leïla Kloul; Juliana Küster Filipe (ACSD, 2006)

A Precedence PEPA Model for Performance and Reliability Analysis. - Jean-Michel Fourneau; Leïla Kloul (EPEW, 2006)

A Function-Equivalent Components Based Simplification Technique for PEPA Models. - Jane Hillston; Leïla Kloul (EPEW, 2006)

Formal techniques for performance analysis: blending SAN and PEPA. - Jane Hillston; Leïla Kloul (Formal Aspects Comput., 2007)

Assembly Code Analysis Using Stochastic Process Algebra. - Lamia Djoudi; Leïla Kloul (EPEW, 2008)

Performance Analysis of a Software Retrieval Service. - Leïla Kloul (PASM@EPEW, 2008)

From DFTs to PEPA: A Model-to-Model Transformation. - Leïla Kloul (EPEW, 2009)

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

A New Markov-Based Mobility Prediction Algorithm for Mobile Networks. - Samir Bellahsene; Leïla Kloul (EPEW, 2010)

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

Mobility Prediction Using Mobile User Profiles. - Dominique Barth; Samir Bellahsene; Leïla Kloul (MASCOTS, 2011)

Resilience in Mobile Networks: A Need and a Challenge. - Alberto Avritzer; Luca Berardinelli; Vittorio Cortellessa; Leïla Kloul; Carlo Rosa; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)

Case Study: Mobile Networks. - Samir Bellahsene; Leïla Kloul; Philipp Reinecke; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)

Scalable Stochastic Modelling for Resilience. - Jeremy T. Bradley; Lucia Cloth; Richard A. Hayden; Leïla Kloul; Philipp Reinecke; Markus Siegle; Nigel Thomas; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)

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

The AltaRica 3.0 project for model-based safety assessment. - Michel Batteux; Tatiana Prosvirnova; Antoine Rauzy; Leïla Kloul (INDIN, 2013)

Femtocells sharing management using mobility prediction model. - Dominique Barth; Amira Choutri; Leïla Kloul; Olivier Marcé (MSWiM, 2013)

A Strongly Consistent Transformation from UML Interactions to PEPA Nets. - Juliana Küster Filipe Bowles; Leïla Kloul (ICCSA (5), 2014)

A Model-Based Methodology to Formalize Specifications of Railway Systems. - Melissa Issad; Leïla Kloul; Antoine Rauzy (IMBSA, 2014)

Folk-IS: Opportunistic Data Services in Least Developed Countries. - Nicolas Anciaux; Luc Bouganim; Thierry Delot; Sergio Ilarri; Leïla Kloul; Nathalie Mitton; Philippe Pucheral (Proc. VLDB Endow., 2014)

Opportunistic data services in least developed countries: benefits, challenges and feasibility issues. - Nicolas Anciaux; Luc Bouganim; Thierry Delot; Sergio Ilarri; Leïla Kloul; Nathalie Mitton; Philippe Pucheral (SIGMOD Rec., 2014)

Incremental Modeling Methodology of Railway System Specifications. - Melissa Issad; Leïla Kloul; Antoine Rauzy (CSDM, 2016)

Mobile users assignment control strategies for LTE networks. - Dominique Barth; Amira Choutri; Leïla Kloul; Olivier Marcé (Wireless Days, 2016)

Centralized Mobile Users Assignment Strategies for Energy Management in Het-LTE Networks. - Dominique Barth; Amira Choutri; Leïla Kloul; Olivier Marcé (EAI Endorsed Trans. Energy Web, 2016)

Safety Analysis of a Data Center's Electrical System Using Production Trees. - Walid Mokhtar Bennaceur; Leïla Kloul; Antoine Rauzy (IMBSA, 2017)

Production trees: A new modeling methodology for production availability analyses. - Leïla Kloul; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2017)

An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic. - Wei Chen 083; Leïla Kloul (KEOD, 2018)

An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies. - Wei Chen 083; Leïla Kloul (IC3K, 2018)

Electrical and Thermal System Impact on the Availability of a Data Center's System. - Walid Mokhtar Bennaceur; Leïla Kloul (ICSRS, 2018)

Reliability and Performance Analysis of a Data Center's Network Architecture. - Walid Mokhtar Bennaceur; Leïla Kloul (IPCCC, 2018)

Modeling the CBTC Railway System of Siemens with ScOLa. - Melissa Issad; Leïla Kloul; Antoine Rauzy; Karim Berkani (Int. J. Intell. Transp. Syst. Res., 2018)

Modeling patterns for reliability assessment of safety instrumented systems. - Huixing Meng; Leïla Kloul; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2018)

Scenario-oriented reverse engineering of complex railway system specifications. - Melissa Issad; Leïla Kloul; Antoine Rauzy (Syst. Eng., 2018)

Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. - Wei Chen 083; Leïla Kloul (IMBSA, 2019)

Formal models for safety and performance analysis of a data center system. - Walid Mokhtar Bennaceur; Leïla Kloul (Reliab. Eng. Syst. Saf., 2020)

Empty Vehicle Redistribution with Time Windows in Autonomous Taxi Systems. - Tatiana Babicheva; Matej Cebecauer; Dominique Barth; Wilco Burghout; Leïla Kloul (Trans. Data Sci., 2021)

Optimal Bus Scheduling using a Distributed Game Model Approach. - Perla Hajjar; Leïla Kloul; Dominique Barth (ITSC, 2023)

Adaptative Reinforcement Learning Approach for Predictive Maintenance of a Smart Building Lighting System. - Anas Hossini; Leïla Kloul; Maël Guiraud; Benjamin Cohen Boulakia (INDIN, 2024)

Adaptive Stop-Skipping Scheduling Approach Using Reinforcement Learning. - Perla Hajjar; Leïla Kloul; Dominique Barth (INTSYS, 2024)