Leïla Kloul

According to our database, Leïla Kloul authored at least 55 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Optimal Bus Scheduling using a Distributed Game Model Approach.

Perla Hajjar, Leïla Kloul, Dominique Barth

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

2021

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

2020

Formal models for safety and performance analysis of a data center system.

Walid Mokhtar Bennaceur, Leïla Kloul

Reliab. Eng. Syst. Saf., 2020

2019

Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA.

Wei Chen, Leïla Kloul

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2018

Scenario-oriented reverse engineering of complex railway system specifications.

Melissa Issad, Leïla Kloul, Antoine Rauzy

Syst. Eng., 2018

Modeling patterns for reliability assessment of safety instrumented systems.

Huixing Meng, Leïla Kloul, Antoine Rauzy

Reliab. Eng. Syst. Saf., 2018

Modeling the CBTC Railway System of Siemens with <i>ScOLa</i>.

Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani

Int. J. Intell. Transp. Syst. Res., 2018

Reliability and Performance Analysis of a Data Center's Network Architecture.

Walid Mokhtar Bennaceur, Leïla Kloul

Proceedings of the 37th IEEE International Performance Computing and Communications Conference, 2018

Electrical and Thermal System Impact on the Availability of a Data Center's System.

Walid Mokhtar Bennaceur, Leïla Kloul

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies.

Wei Chen, Leïla Kloul

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic.

Wei Chen, Leïla Kloul

Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

2017

Production trees: A new modeling methodology for production availability analyses.

Leïla Kloul, Antoine Rauzy

Reliab. Eng. Syst. Saf., 2017

Safety Analysis of a Data Center's Electrical System Using Production Trees.

Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

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

Mobile users assignment control strategies for LTE networks.

Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé

Proceedings of the 2016 Wireless Days, 2016

Incremental Modeling Methodology of Railway System Specifications.

Melissa Issad, Leïla Kloul, Antoine Rauzy

Proceedings of the Complex Systems Design & Management, 2016

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

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

A Model-Based Methodology to Formalize Specifications of Railway Systems.

Melissa Issad, Leïla Kloul, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

A Strongly Consistent Transformation from UML Interactions to PEPA Nets.

Juliana Küster Filipe Bowles, Leïla Kloul

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2013

Femtocells sharing management using mobility prediction model.

Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé

Proceedings of the 16th ACM International Conference on Modeling, 2013

The AltaRica 3.0 project for model-based safety assessment.

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012

Combining local and global profiles for mobility prediction in LTE femtocells.

Dominique Barth, Samir Bellahsene, Leïla Kloul

Proceedings of the 15th ACM International Conference on Modeling, 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

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Case Study: Mobile Networks.

Samir Bellahsene, Leïla Kloul, Philipp Reinecke, Katinka Wolter

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Resilience in Mobile Networks: A Need and a Challenge.

Alberto Avritzer, Luca Berardinelli, Vittorio Cortellessa, Leïla Kloul, Carlo Rosa, Katinka Wolter

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

Mobility Prediction Using Mobile User Profiles.

Dominique Barth, Samir Bellahsene, Leïla Kloul

Proceedings of the MASCOTS 2011, 2011

2010

Synthesising PEPA nets from IODs for performance analysis.

Juliana Küster Filipe Bowles, Leïla Kloul

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

A New Markov-Based Mobility Prediction Algorithm for Mobile Networks.

Samir Bellahsene, Leïla Kloul

Proceedings of the Computer Performance Engineering, 2010

2009

A hierarchical prediction model for two nodes-based IP mobile networks.

Samir Bellahsene, Leïla Kloul, Dominique Barth

Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2009

From DFTs to PEPA: A Model-to-Model Transformation.

Leïla Kloul

Proceedings of the Computer Performance Engineering, 2009

2008

Performance Analysis of a Software Retrieval Service.

Leïla Kloul

Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Assembly Code Analysis Using Stochastic Process Algebra.

Lamia Djoudi, Leïla Kloul

Proceedings of the Computer Performance Engineering, 2008

2007

Formal techniques for performance analysis: blending SAN and PEPA.

Jane Hillston, Leïla Kloul

Formal Aspects Comput., 2007

2006

A Function-Equivalent Components Based Simplification Technique for PEPA Models.

Jane Hillston, Leïla Kloul

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

A Precedence PEPA Model for Performance and Reliability Analysis.

Jean-Michel Fourneau, Leïla Kloul

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Modelling Mobility with UML2.0 and PEPA Nets.

Leïla Kloul, Juliana Küster Filipe

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Algèbre des processus pour l'analyse des performances des noeuds actifs.

Leïla Kloul, Amdjed Mokhtari

Tech. Sci. Informatiques, 2005

A unified tool for performance modelling and prediction.

Stephen Gilmore, Leïla Kloul

Reliab. Eng. Syst. Saf., 2005

Investigating unfairness scenarios in MANET using 802.11b.

Leïla Kloul, Fabrice Valois

Proceedings of the 2nd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2005

A Secure Code Deployment Scheme for Active Networks.

Leïla Kloul, Amdjed Mokhtari

Proceedings of the Active and Programmable Networks, 2005

Choreographing Security and Performance Analysis for Web Services.

Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

Towards a Feasible Active Networking Scenario.

Jane Hillston, Leïla Kloul, Amdjed Mokhtari

Telecommun. Syst., 2004

Software performance modelling using PEPA nets.

Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Analysing UML 2.0 activity diagrams in the software performance engineering process.

C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Modelling Role-Playing Games Using PEPA Nets.

Stephen Gilmore, Leïla Kloul, Davide Piazza

Proceedings of the Computer and Information Sciences, 2004

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.

Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

PEPA nets: a structured performance modelling formalism.

Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo

Perform. Evaluation, 2003

PEPA Nets.

Stephen Gilmore, Jane Hillston, Leïla Kloul

Proceedings of the Performance Tools and Applications to Networked Systems, 2003

2002

Performance modelling of hierarchical cellular networks using PEPA.

Jean-Michel Fourneau, Leïla Kloul, Fabrice Valois

Perform. Evaluation, 2002

2001

Performance investigation of an on-line auction system.

Jane Hillston, Leïla Kloul

Concurr. Comput. Pract. Exp., 2001

An Efficient Kronecker Representation for PEPA Models.

Jane Hillston, Leïla Kloul

Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000

Multiple class G-networks with iterated deletions.

Jean-Michel Fourneau, Leïla Kloul, Franck Quessette

Perform. Evaluation, 2000

Multiple class G-networks with list-oriented deletions.

Jean-Michel Fourneau, Leïla Kloul, Dominique Verchère

Eur. J. Oper. Res., 2000

1995

Multiple Class G-Networks with Jumps back to Zero.

Jean-Michel Fourneau, Leïla Kloul, Franck Quessette

Proceedings of the MASCOTS '95, 1995