Leı̈la Kloul

PEPA nets: a structured performance modelling formalism

Stephen Gilmore, Jane Hillston, Leı̈la Kloul et al. · Performance Evaluation · 2003 · 74 citations

Engineering, Computer Science, Computer Systems +11

The AltaRica 3.0 project for model-based safety assessment

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy et al. · 2013 · 47 citations

Engineering, Systems Engineering, Model-based Systems Engineering +13

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

Wei Chen, Leı̈la Kloul · 2018 · 42 citations · Full text

Computing, Automotive Engineering, Autonomous Systems +17

Analysing UML 2.0 activity diagrams in the software performance engineering process

C. Canevet, Stephen Gilmore, Jane Hillston et al. · ACM SIGSOFT Software Engineering Notes · 2004 · 41 citations

Computing, Computer Science, Formal Methods +16

Performance modelling of hierarchical cellular networks using PEPA

Jean-Michel Fourneau, Leı̈la Kloul, Fabrice Valois · Performance Evaluation · 2002 · 31 citations

Computing, Computer Systems, Computer Networks +10