Leïla Kloul

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 16

Top Topics

Autonomous Vehicles

Reverse Engineer

Modeling Method

Top Venues

Reliab. Eng. Syst. Saf.

Proc. VLDB Endow.

Int. J. Intell. Transp. Syst. Res.

Publications

Perla Hajjar, Leïla Kloul, Dominique Barth
Optimal Bus Scheduling using a Distributed Game Model Approach. ITSC (2023)
Tatiana Babicheva, Matej Cebecauer, Dominique Barth, Wilco Burghout, Leïla Kloul
Empty Vehicle Redistribution with Time Windows in Autonomous Taxi Systems. Trans. Data Sci. 2 (1) (2021)
Walid Mokhtar Bennaceur, Leïla Kloul
Formal models for safety and performance analysis of a data center system. Reliab. Eng. Syst. Saf. 193 (2020)
Wei Chen, Leïla Kloul
Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. IMBSA (2019)
Wei Chen, Leïla Kloul
An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic. KEOD (2018)
Wei Chen, Leïla Kloul
An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies. IC3K (2018)
Melissa Issad, Leïla Kloul, Antoine Rauzy
Scenario-oriented reverse engineering of complex railway system specifications. Syst. Eng. 21 (2) (2018)
Huixing Meng, Leïla Kloul, Antoine Rauzy
Modeling patterns for reliability assessment of safety instrumented systems. Reliab. Eng. Syst. Saf. 180 (2018)
Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani
. Int. J. Intell. Transp. Syst. Res. 16 (3) (2018)
Walid Mokhtar Bennaceur, Leïla Kloul
Electrical and Thermal System Impact on the Availability of a Data Center's System. ICSRS (2018)
Walid Mokhtar Bennaceur, Leïla Kloul
Reliability and Performance Analysis of a Data Center's Network Architecture. IPCCC (2018)
Leïla Kloul, Antoine Rauzy
Production trees: A new modeling methodology for production availability analyses. Reliab. Eng. Syst. Saf. 167 (2017)
Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy
Safety Analysis of a Data Center's Electrical System Using Production Trees. IMBSA (2017)
Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé
Mobile users assignment control strategies for LTE networks. Wireless Days (2016)
Melissa Issad, Leïla Kloul, Antoine Rauzy
Incremental Modeling Methodology of Railway System Specifications. CSDM (2016)
Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé
Centralized Mobile Users Assignment Strategies for Energy Management in Het-LTE Networks. EAI Endorsed Trans. Energy Web 3 (10) (2016)
Juliana Küster Filipe Bowles, Leïla Kloul
A Strongly Consistent Transformation from UML Interactions to PEPA Nets. ICCSA (5) (2014)
Melissa Issad, Leïla Kloul, Antoine Rauzy
A Model-Based Methodology to Formalize Specifications of Railway Systems. IMBSA (2014)
Nicolas Anciaux, Luc Bouganim, Thierry Delot, Sergio Ilarri, Leïla Kloul, Nathalie Mitton, Philippe Pucheral
Opportunistic data services in least developed countries: benefits, challenges and feasibility issues. SIGMOD Rec. 43 (1) (2014)
Nicolas Anciaux, Luc Bouganim, Thierry Delot, Sergio Ilarri, Leïla Kloul, Nathalie Mitton, Philippe Pucheral
Folk-IS: Opportunistic Data Services in Least Developed Countries. Proc. VLDB Endow. 7 (5) (2014)
Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé
Femtocells sharing management using mobility prediction model. MSWiM (2013)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul
The AltaRica 3.0 project for model-based safety assessment. INDIN (2013)
Dominique Barth, Samir Bellahsene, Leïla Kloul
Combining local and global profiles for mobility prediction in LTE femtocells. MSWiM (2012)
Dominique Barth, Samir Bellahsene, Leïla Kloul
Mobility Prediction Using Mobile User Profiles. MASCOTS (2011)
Juliana Küster Filipe Bowles, Leïla Kloul
Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW (2010)
Samir Bellahsene, Leïla Kloul
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks. EPEW (2010)
Samir Bellahsene, Leïla Kloul, Dominique Barth
A hierarchical prediction model for two nodes-based IP mobile networks. MSWiM (2009)
Leïla Kloul
Performance Analysis of a Software Retrieval Service. Electron. Notes Theor. Comput. Sci. 232 (2009)
Leïla Kloul
From DFTs to PEPA: A Model-to-Model Transformation. EPEW (2009)
Lamia Djoudi, Leïla Kloul
Assembly Code Analysis Using Stochastic Process Algebra. EPEW (2008)
Jane Hillston, Leïla Kloul
Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects Comput. 19 (1) (2007)
Jean-Michel Fourneau, Leïla Kloul
A Precedence PEPA Model for Performance and Reliability Analysis. EPEW (2006)
Leïla Kloul, Juliana Küster Filipe
Modelling Mobility with UML2.0 and PEPA Nets. ACSD (2006)
Jane Hillston, Leïla Kloul
A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW (2006)
Leïla Kloul, Amdjed Mokhtari
A Secure Code Deployment Scheme for Active Networks. IWAN (2005)
Leïla Kloul, Amdjed Mokhtari
Algèbre des processus pour l'analyse des performances des noeuds actifs. Tech. Sci. Informatiques 24 (2-3) (2005)
Stephen Gilmore, Leïla Kloul
A unified tool for performance modelling and prediction. Reliab. Eng. Syst. Saf. 89 (1) (2005)
Leïla Kloul, Fabrice Valois
Investigating unfairness scenarios in MANET using 802.11b. PE-WASUN (2005)
Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM (2005)
Stephen Gilmore, Leïla Kloul, Davide Piazza
Modelling Role-Playing Games Using PEPA Nets. ISCIS (2004)
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
Software performance modelling using PEPA nets. WOSP (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)
Jane Hillston, Leïla Kloul, Amdjed Mokhtari
Towards a Feasible Active Networking Scenario. Telecommun. Syst. 27 (2-4) (2004)
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)
Stephen Gilmore, Leïla Kloul
A Unified Tool for Performance Modelling and Prediction. SAFECOMP (2003)
Stephen Gilmore, Jane Hillston, Leïla Kloul
PEPA Nets. MASCOTS Tutorials (2003)
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54 (2) (2003)
Jean-Michel Fourneau, Leïla Kloul, Fabrice Valois
Performance modelling of hierarchical cellular networks using PEPA. Perform. Evaluation 50 (2/3) (2002)
Jane Hillston, Leïla Kloul
Performance investigation of an on-line auction system. Concurr. Comput. Pract. Exp. 13 (1) (2001)
Jane Hillston, Leïla Kloul
An Efficient Kronecker Representation for PEPA Models. PAPM-PROBMIV (2001)
Jean-Michel Fourneau, Leïla Kloul, Franck Quessette
Multiple class G-networks with iterated deletions. Perform. Evaluation 42 (1) (2000)
Jean-Michel Fourneau, Leïla Kloul, Dominique Verchère
Multiple class G-networks with list-oriented deletions. Eur. J. Oper. Res. 126 (2) (2000)
Jean-Michel Fourneau, Leïla Kloul, Franck Quessette
Multiple Class G-Networks with Jumps back to Zero. MASCOTS (1995)