Leïla Kloul - RankMe

62 papers A 3B 3C 5Journal 20Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multi-agent reinforcement learning approach for predictive maintenance of a Smart Building lighting system. Reliab. Eng. Syst. Saf. Anas Hossini, Leïla Kloul, Maël Guiraud, Benjamin Cohen Boulakia
2025	—	`conf`	Multi-approach Based Safety Analysis of a Wastewater Treatment System. IMBSA Anne Fernet, Leïla Kloul
2025	J	`jnl`	Performance Investigation of Stateless RL Methods for Optimal Bus Scheduling. Int. J. Intell. Transp. Syst. Res. Perla Hajjar, Leïla Kloul, Dominique Barth
2024	C	`conf`	Adaptative Reinforcement Learning Approach for Predictive Maintenance of a Smart Building Lighting System. INDIN Anas Hossini, Leïla Kloul, Maël Guiraud, Benjamin Cohen Boulakia
2024	—	`conf`	Adaptive Stop-Skipping Scheduling Approach Using Reinforcement Learning. INTSYS Perla Hajjar, Leïla Kloul, Dominique Barth
2023	—	`conf`	Optimal Bus Scheduling using a Distributed Game Model Approach. ITSC Perla Hajjar, Leïla Kloul, Dominique Barth
2021	J	`jnl`	Empty Vehicle Redistribution with Time Windows in Autonomous Taxi Systems. Trans. Data Sci. Tatiana Babicheva, Matej Cebecauer, Dominique Barth, Wilco Burghout, Leïla Kloul
2020	J	`jnl`	Formal models for safety and performance analysis of a data center system. Reliab. Eng. Syst. Saf. Walid Mokhtar Bennaceur, Leïla Kloul
2019	—	`conf`	Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. IMBSA Wei Chen, Leïla Kloul
2018	C	`conf`	An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies. IC3K Wei Chen, Leïla Kloul
2018	C	`conf`	An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic. KEOD Wei Chen, Leïla Kloul
2018	—	`conf`	Electrical and Thermal System Impact on the Availability of a Data Center's System. ICSRS Walid Mokhtar Bennaceur, Leïla Kloul
2018	J	`jnl`	Modeling patterns for reliability assessment of safety instrumented systems. Reliab. Eng. Syst. Saf. Huixing Meng, Leïla Kloul, Antoine Rauzy
2018	J	`jnl`	Modeling the CBTC Railway System of Siemens with Int. J. Intell. Transp. Syst. Res. Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani
2018	C	`conf`	Reliability and Performance Analysis of a Data Center's Network Architecture. IPCCC Walid Mokhtar Bennaceur, Leïla Kloul
2018	J	`jnl`	Scenario-oriented reverse engineering of complex railway system specifications. Syst. Eng. Melissa Issad, Leïla Kloul, Antoine Rauzy
2017	J	`jnl`	Production trees: A new modeling methodology for production availability analyses. Reliab. Eng. Syst. Saf. Leïla Kloul, Antoine Rauzy
2017	—	`conf`	Safety Analysis of a Data Center's Electrical System Using Production Trees. IMBSA Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy
2016	J	`jnl`	Centralized Mobile Users Assignment Strategies for Energy Management in Het-LTE Networks. EAI Endorsed Trans. Energy Web Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé
2016	—	`conf`	Incremental Modeling Methodology of Railway System Specifications. CSDM Melissa Issad, Leïla Kloul, Antoine Rauzy
2016	—	`conf`	Mobile users assignment control strategies for LTE networks. Wireless Days Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé
2014	—	`conf`	A Model-Based Methodology to Formalize Specifications of Railway Systems. IMBSA Melissa Issad, Leïla Kloul, Antoine Rauzy
2014	—	`conf`	A Strongly Consistent Transformation from UML Interactions to PEPA Nets. ICCSA (5) Juliana Küster Filipe Bowles, Leïla Kloul
2014	J	`jnl`	Folk-IS: Opportunistic Data Services in Least Developed Countries. Proc. VLDB Endow. Nicolas Anciaux, Luc Bouganim, Thierry Delot, Sergio Ilarri, Leïla Kloul, Nathalie Mitton, Philippe Pucheral
2014	J	`jnl`	Opportunistic data services in least developed countries: benefits, challenges and feasibility issues. SIGMOD Rec. Nicolas Anciaux, Luc Bouganim, Thierry Delot, Sergio Ilarri, Leïla Kloul, Nathalie Mitton, Philippe Pucheral
2013	A	`conf`	Femtocells sharing management using mobility prediction model. MSWiM Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé
2013	C	`conf`	The AltaRica 3.0 project for model-based safety assessment. INDIN Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul
2012	—	`ch.`	Case Study: Mobile Networks. Resilience Assessment and Evaluation of Computing Systems Samir Bellahsene, Leïla Kloul, Philipp Reinecke, Katinka Wolter
2012	A	`conf`	Combining local and global profiles for mobility prediction in LTE femtocells. MSWiM Dominique Barth, Samir Bellahsene, Leïla Kloul
2012	—	`ch.`	Resilience in Mobile Networks: A Need and a Challenge. Resilience Assessment and Evaluation of Computing Systems Alberto Avritzer, Luca Berardinelli, Vittorio Cortellessa, Leïla Kloul, Carlo Rosa, Katinka Wolter
2012	—	`ch.`	Scalable Stochastic Modelling for Resilience. Resilience Assessment and Evaluation of Computing Systems Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
2011	B	`conf`	Mobility Prediction Using Mobile User Profiles. MASCOTS Dominique Barth, Samir Bellahsene, Leïla Kloul
2010	—	`conf`	A New Markov-Based Mobility Prediction Algorithm for Mobile Networks. EPEW Samir Bellahsene, Leïla Kloul
2010	—	`conf`	Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW Juliana Küster Filipe Bowles, Leïla Kloul
2009	A	`conf`	A hierarchical prediction model for two nodes-based IP mobile networks. MSWiM Samir Bellahsene, Leïla Kloul, Dominique Barth
2009	—	`conf`	From DFTs to PEPA: A Model-to-Model Transformation. EPEW Leïla Kloul
2008	—	`conf`	Assembly Code Analysis Using Stochastic Process Algebra. EPEW Lamia Djoudi, Leïla Kloul
2008	—	`conf`	Performance Analysis of a Software Retrieval Service. PASM@EPEW Leïla Kloul
2007	J	`jnl`	Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects Comput. Jane Hillston, Leïla Kloul
2006	—	`conf`	A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW Jane Hillston, Leïla Kloul
2006	—	`conf`	A Precedence PEPA Model for Performance and Reliability Analysis. EPEW Jean-Michel Fourneau, Leïla Kloul
2006	—	`conf`	Modelling Mobility with UML2.0 and PEPA Nets. ACSD Leïla Kloul, Juliana Küster Filipe
2005	—	`conf`	A Secure Code Deployment Scheme for Active Networks. IWAN Leïla Kloul, Amdjed Mokhtari
2005	J	`jnl`	A unified tool for performance modelling and prediction. Reliab. Eng. Syst. Saf. Stephen Gilmore, Leïla Kloul
2005	J	`jnl`	Algèbre des processus pour l'analyse des performances des noeuds actifs. Tech. Sci. Informatiques Leïla Kloul, Amdjed Mokhtari
2005	—	`conf`	Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
2005	—	`ed.`	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 EPEW/WS-FM Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro
2005	—	`conf`	Investigating unfairness scenarios in MANET using 802.11b. PE-WASUN Leïla Kloul, Fabrice Valois
2004	—	`conf`	Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens
2004	—	`conf`	Modelling Role-Playing Games Using PEPA Nets. ISCIS Stephen Gilmore, Leïla Kloul, Davide Piazza
2004	—	`conf`	PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
2004	—	`conf`	Software performance modelling using PEPA nets. WOSP Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
2004	J	`jnl`	Towards a Feasible Active Networking Scenario. Telecommun. Syst. Jane Hillston, Leïla Kloul, Amdjed Mokhtari
2003	B	`conf`	A Unified Tool for Performance Modelling and Prediction. SAFECOMP Stephen Gilmore, Leïla Kloul
2003	—	`conf`	PEPA Nets. MASCOTS Tutorials Stephen Gilmore, Jane Hillston, Leïla Kloul
2003	J	`jnl`	PEPA nets: a structured performance modelling formalism. Perform. Evaluation Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
2002	J	`jnl`	Performance modelling of hierarchical cellular networks using PEPA. Perform. Evaluation Jean-Michel Fourneau, Leïla Kloul, Fabrice Valois
2001	—	`conf`	An Efficient Kronecker Representation for PEPA Models. PAPM-PROBMIV Jane Hillston, Leïla Kloul
2001	J	`jnl`	Performance investigation of an on-line auction system. Concurr. Comput. Pract. Exp. Jane Hillston, Leïla Kloul
2000	J	`jnl`	Multiple class G-networks with iterated deletions. Perform. Evaluation Jean-Michel Fourneau, Leïla Kloul, Franck Quessette
2000	J	`jnl`	Multiple class G-networks with list-oriented deletions. Eur. J. Oper. Res. Jean-Michel Fourneau, Leïla Kloul, Dominique Verchère
1995	B	`conf`	Multiple Class G-Networks with Jumps back to Zero. MASCOTS Jean-Michel Fourneau, Leïla Kloul, Franck Quessette