 | 2011 |
| 30 |  | Dominique Barth,
Samir Bellahsene,
Leïla Kloul:
Mobility Prediction Using Mobile User Profiles.
MASCOTS 2011: 286-294 |
| 2010 |
| 29 |  | Samir Bellahsene,
Leïla Kloul:
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks.
EPEW 2010: 37-50 |
| 28 |  | Juliana Küster Filipe Bowles,
Leïla Kloul:
Synthesising PEPA nets from IODs for performance analysis.
WOSP/SIPEW 2010: 195-200 |
| 2009 |
| 27 |  | Leïla Kloul:
From DFTs to PEPA: A Model-to-Model Transformation.
EPEW 2009: 94-109 |
| 26 |  | Samir Bellahsene,
Leïla Kloul,
Dominique Barth:
A hierarchical prediction model for two nodes-based IP mobile networks.
MSWiM 2009: 173-180 |
| 25 |  | Leïla Kloul:
Performance Analysis of a Software Retrieval Service.
Electr. Notes Theor. Comput. Sci. 232: 145-163 (2009) |
| 2008 |
| 24 |  | Lamia Djoudi,
Leïla Kloul:
Assembly Code Analysis Using Stochastic Process Algebra.
EPEW 2008: 95-109 |
| 2007 |
| 23 |  | Jane Hillston,
Leïla Kloul:
Formal techniques for performance analysis: blending SAN and PEPA.
Formal Asp. Comput. 19(1): 3-33 (2007) |
| 2006 |
| 22 |  | Leïla Kloul,
Juliana Küster Filipe:
Modelling Mobility with UML2.0 and PEPA Nets.
ACSD 2006: 153-164 |
| 21 |  | Jean-Michel Fourneau,
Leïla Kloul:
A Precedence PEPA Model for Performance and Reliability Analysis.
EPEW 2006: 1-15 |
| 20 |  | Jane Hillston,
Leïla Kloul:
A Function-Equivalent Components Based Simplification Technique for PEPA Models.
EPEW 2006: 16-30 |
| 2005 |
| 19 |  | 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
Springer 2005 |
| 18 |  | Stephen Gilmore,
Valentin Haenel,
Leïla Kloul,
Monika Maidl:
Choreographing Security and Performance Analysis for Web Services.
EPEW/WS-FM 2005: 200-214 |
| 17 |  | Leïla Kloul,
Amdjed Mokhtari:
A Secure Code Deployment Scheme for Active Networks.
IWAN 2005: 168-181 |
| 16 |  | Leïla Kloul,
Fabrice Valois:
Investigating unfairness scenarios in MANET using 802.11b.
PE-WASUN 2005: 1-8 |
| 15 |  | Leïla Kloul,
Amdjed Mokhtari:
Algèbre des processus pour l'analyse des performances des noeuds actifs.
Technique et Science Informatiques 24(2-3): 279-309 (2005) |
| 2004 |
| 14 |  | 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 |
| 13 |  | Stephen Gilmore,
Leïla Kloul,
Davide Piazza:
Modelling Role-Playing Games Using PEPA Nets.
ISCIS 2004: 523-532 |
| 12 |  | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
Software performance modelling using PEPA nets.
WOSP 2004: 13-23 |
| 11 |  | 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 |
| 10 |  | Jane Hillston,
Leïla Kloul,
Amdjed Mokhtari:
Towards a Feasible Active Networking Scenario.
Telecommunication Systems 27(2-4): 413-438 (2004) |
| 2003 |
| 9 |  | Stephen Gilmore,
Jane Hillston,
Leïla Kloul:
PEPA Nets.
MASCOTS Tutorials 2003: 311-335 |
| 8 |  | Stephen Gilmore,
Leïla Kloul:
A Unified Tool for Performance Modelling and Prediction.
SAFECOMP 2003: 179-192 |
| 7 |  | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
PEPA nets: a structured performance modelling formalism.
Perform. Eval. 54(2): 79-104 (2003) |
| 2002 |
| 6 |  | Jean-Michel Fourneau,
Leïla Kloul,
Fabrice Valois:
Performance modelling of hierarchical cellular networks using PEPA.
Perform. Eval. 50(2/3): 83-99 (2002) |
| 2001 |
| 5 |  | Jane Hillston,
Leïla Kloul:
An Efficient Kronecker Representation for PEPA Models.
PAPM-PROBMIV 2001: 120-135 |
| 4 |  | Jane Hillston,
Leïla Kloul:
Performance investigation of an on-line auction system.
Concurrency and Computation: Practice and Experience 13(1): 23-41 (2001) |
| 2000 |
| 3 |  | Jean-Michel Fourneau,
Leïla Kloul,
Dominique Verchère:
Multiple class G-networks with list-oriented deletions.
European Journal of Operational Research 126(2): 250-272 (2000) |
| 2 |  | Jean-Michel Fourneau,
Leïla Kloul,
Franck Quessette:
Multiple class G-networks with iterated deletions.
Perform. Eval. 42(1): 1-20 (2000) |
| 1995 |
| 1 |  | Jean-Michel Fourneau,
Leïla Kloul,
Franck Quessette:
Multiple Class G-Networks with Jumps back to Zero.
MASCOTS 1995: 28-32 |