![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Leïla Kloul
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c35]Perla Hajjar, Leïla Kloul, Dominique Barth:
Optimal Bus Scheduling using a Distributed Game Model Approach. ITSC 2023: 4571-4576 - 2021
- [j18]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): 5:1-5:22 (2021) - 2020
- [j17]Walid Mokhtar Bennaceur
, Leïla Kloul:
Formal models for safety and performance analysis of a data center system. Reliab. Eng. Syst. Saf. 193: 106643 (2020)
2010 – 2019
- 2019
- [c34]Wei Chen, Leïla Kloul:
Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. IMBSA 2019: 317-331 - 2018
- [j16]Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani:
Modeling the CBTC Railway System of Siemens with ScOLa. Int. J. Intell. Transp. Syst. Res. 16(3): 163-172 (2018) - [j15]Huixing Meng
, Leïla Kloul, Antoine Rauzy:
Modeling patterns for reliability assessment of safety instrumented systems. Reliab. Eng. Syst. Saf. 180: 111-123 (2018) - [j14]Melissa Issad
, Leïla Kloul, Antoine Rauzy:
Scenario-oriented reverse engineering of complex railway system specifications. Syst. Eng. 21(2): 91-104 (2018) - [c33]Wei Chen, Leïla Kloul:
An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic. KEOD 2018: 73-81 - [c32]Wei Chen, Leïla Kloul:
An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies. IC3K 2018: 93-113 - [c31]Walid Mokhtar Bennaceur
, Leïla Kloul:
Electrical and Thermal System Impact on the Availability of a Data Center's System. ICSRS 2018: 142-148 - [c30]Walid Mokhtar Bennaceur
, Leïla Kloul:
Reliability and Performance Analysis of a Data Center's Network Architecture. IPCCC 2018: 1-8 - 2017
- [j13]Leïla Kloul, Antoine Rauzy:
Production trees: A new modeling methodology for production availability analyses. Reliab. Eng. Syst. Saf. 167: 561-571 (2017) - [c29]Walid Mokhtar Bennaceur
, Leïla Kloul, Antoine Rauzy:
Safety Analysis of a Data Center's Electrical System Using Production Trees. IMBSA 2017: 82-96 - 2016
- [j12]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): e2 (2016) - [c28]Melissa Issad, Leïla Kloul, Antoine Rauzy:
Incremental Modeling Methodology of Railway System Specifications. CSDM 2016: 95-111 - [c27]Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé:
Mobile users assignment control strategies for LTE networks. Wireless Days 2016: 1-8 - 2014
- [j11]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): 425-428 (2014) - [j10]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): 52-63 (2014) - [c26]Juliana Küster Filipe Bowles
, Leïla Kloul:
A Strongly Consistent Transformation from UML Interactions to PEPA Nets. ICCSA (5) 2014: 90-105 - [c25]Melissa Issad, Leïla Kloul, Antoine Rauzy:
A Model-Based Methodology to Formalize Specifications of Railway Systems. IMBSA 2014: 28-42 - 2013
- [c24]Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
, Leïla Kloul:
The AltaRica 3.0 project for model-based safety assessment. INDIN 2013: 741-746 - [c23]Dominique Barth, Amira Choutri, Leïla Kloul, Olivier Marcé:
Femtocells sharing management using mobility prediction model. MSWiM 2013: 59-64 - 2012
- [c22]Dominique Barth, Samir Bellahsene, Leïla Kloul:
Combining local and global profiles for mobility prediction in LTE femtocells. MSWiM 2012: 333-342 - [p3]Alberto Avritzer, Luca Berardinelli, Vittorio Cortellessa, Leïla Kloul, Carlo Rosa, Katinka Wolter:
Resilience in Mobile Networks: A Need and a Challenge. Resilience Assessment and Evaluation of Computing Systems 2012: 25-40 - [p2]Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter:
Scalable Stochastic Modelling for Resilience. Resilience Assessment and Evaluation of Computing Systems 2012: 115-149 - [p1]Samir Bellahsene, Leïla Kloul, Philipp Reinecke, Katinka Wolter:
Case Study: Mobile Networks. Resilience Assessment and Evaluation of Computing Systems 2012: 343-364 - 2011
- [c21]Dominique Barth, Samir Bellahsene, Leïla Kloul:
Mobility Prediction Using Mobile User Profiles. MASCOTS 2011: 286-294 - 2010
- [c20]Samir Bellahsene, Leïla Kloul:
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks. EPEW 2010: 37-50 - [c19]Juliana Küster Filipe Bowles
, Leïla Kloul:
Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW 2010: 195-200
2000 – 2009
- 2009
- [c18]Leïla Kloul:
From DFTs to PEPA: A Model-to-Model Transformation. EPEW 2009: 94-109 - [c17]Samir Bellahsene, Leïla Kloul, Dominique Barth:
A hierarchical prediction model for two nodes-based IP mobile networks. MSWiM 2009: 173-180 - 2008
- [c16]Lamia Djoudi, Leïla Kloul:
Assembly Code Analysis Using Stochastic Process Algebra. EPEW 2008: 95-109 - [c15]Leïla Kloul:
Performance Analysis of a Software Retrieval Service. PASM@EPEW 2008: 145-163 - 2007
- [j9]Jane Hillston, Leïla Kloul:
Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects Comput. 19(1): 3-33 (2007) - 2006
- [c14]Leïla Kloul, Juliana Küster Filipe
:
Modelling Mobility with UML2.0 and PEPA Nets. ACSD 2006: 153-164 - [c13]Jean-Michel Fourneau, Leïla Kloul:
A Precedence PEPA Model for Performance and Reliability Analysis. EPEW 2006: 1-15 - [c12]Jane Hillston, Leïla Kloul:
A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW 2006: 16-30 - 2005
- [j8]Stephen Gilmore, Leïla Kloul:
A unified tool for performance modelling and prediction. Reliab. Eng. Syst. Saf. 89(1): 17-32 (2005) - [j7]Leïla Kloul, Amdjed Mokhtari:
Algèbre des processus pour l'analyse des performances des noeuds actifs. Tech. Sci. Informatiques 24(2-3): 279-309 (2005) - [c11]Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl:
Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214 - [c10]Leïla Kloul, Amdjed Mokhtari:
A Secure Code Deployment Scheme for Active Networks. IWAN 2005: 168-181 - [c9]Leïla Kloul, Fabrice Valois:
Investigating unfairness scenarios in MANET using 802.11b. PE-WASUN 2005: 1-8 - [e1]Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro:
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 [contents] - 2004
- [j6]Jane Hillston, Leïla Kloul, Amdjed Mokhtari:
Towards a Feasible Active Networking Scenario. Telecommun. Syst. 27(2-4): 413-438 (2004) - [c8]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 - [c7]Stephen Gilmore, Leïla Kloul, Davide Piazza:
Modelling Role-Playing Games Using PEPA Nets. ISCIS 2004: 523-532 - [c6]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
Software performance modelling using PEPA nets. WOSP 2004: 13-23 - [c5]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 - 2003
- [j5]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54(2): 79-104 (2003) - [c4]Stephen Gilmore, Jane Hillston, Leïla Kloul:
PEPA Nets. MASCOTS Tutorials 2003: 311-335 - [c3]Stephen Gilmore, Leïla Kloul:
A Unified Tool for Performance Modelling and Prediction. SAFECOMP 2003: 179-192 - 2002
- [j4]Jean-Michel Fourneau, Leïla Kloul, Fabrice Valois:
Performance modelling of hierarchical cellular networks using PEPA. Perform. Evaluation 50(2/3): 83-99 (2002) - 2001
- [j3]Jane Hillston, Leïla Kloul:
Performance investigation of an on-line auction system. Concurr. Comput. Pract. Exp. 13(1): 23-41 (2001) - [c2]Jane Hillston, Leïla Kloul:
An Efficient Kronecker Representation for PEPA Models. PAPM-PROBMIV 2001: 120-135 - 2000
- [j2]Jean-Michel Fourneau, Leïla Kloul, Dominique Verchère:
Multiple class G-networks with list-oriented deletions. Eur. J. Oper. Res. 126(2): 250-272 (2000) - [j1]Jean-Michel Fourneau, Leïla Kloul, Franck Quessette:
Multiple class G-networks with iterated deletions. Perform. Evaluation 42(1): 1-20 (2000)
1990 – 1999
- 1995
- [c1]Jean-Michel Fourneau, Leïla Kloul, Franck Quessette:
Multiple Class G-Networks with Jumps back to Zero. MASCOTS 1995: 28-32
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint