 | 2009 |
|---|
| 25 |       | Leïla Kloul:
From DFTs to PEPA: A Model-to-Model Transformation.
EPEW 2009: 94-109 |
| 24 | | Samir Bellahsene,
Leïla Kloul,
Dominique Barth:
A hierarchical prediction model for two nodes-based IP mobile networks.
MSWiM 2009: 173-180 |
| 23 | | Leïla Kloul:
Performance Analysis of a Software Retrieval Service.
Electr. Notes Theor. Comput. Sci. 232: 145-163 (2009) |
| 2008 |
|---|
| 22 | | Lamia Djoudi,
Leïla Kloul:
Assembly Code Analysis Using Stochastic Process Algebra.
EPEW 2008: 95-109 |
| 2007 |
|---|
| 21 | | Jane Hillston,
Leïla Kloul:
Formal techniques for performance analysis: blending SAN and PEPA.
Formal Asp. Comput. 19(1): 3-33 (2007) |
| 2006 |
|---|
| 20 | | Leïla Kloul,
Juliana Küster Filipe:
Modelling Mobility with UML2.0 and PEPA Nets.
ACSD 2006: 153-164 |
| 19 | | Jean-Michel Fourneau,
Leïla Kloul:
A Precedence PEPA Model for Performance and Reliability Analysis.
EPEW 2006: 1-15 |
| 18 | | Jane Hillston,
Leïla Kloul:
A Function-Equivalent Components Based Simplification Technique for PEPA Models.
EPEW 2006: 16-30 |
| 2005 |
|---|
| 17 |  | 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 |
| 16 | | Stephen Gilmore,
Valentin Haenel,
Leïla Kloul,
Monika Maidl:
Choreographing Security and Performance Analysis for Web Services.
EPEW/WS-FM 2005: 200-214 |
| 15 | | Leïla Kloul,
Fabrice Valois:
Investigating unfairness scenarios in MANET using 802.11b.
PE-WASUN 2005: 1-8 |
| 14 | | 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 |
|---|
| 13 | | 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 |
| 12 | | Stephen Gilmore,
Leïla Kloul,
Davide Piazza:
Modelling Role-Playing Games Using PEPA Nets.
ISCIS 2004: 523-532 |
| 11 | | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
Software performance modelling using PEPA nets.
WOSP 2004: 13-23 |
| 10 | | 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 |
| 9 | | Jane Hillston,
Leïla Kloul,
Amdjed Mokhtari:
Towards a Feasible Active Networking Scenario.
Telecommunication Systems 27(2-4): 413-438 (2004) |
| 2003 |
|---|
| 8 | | Stephen Gilmore,
Jane Hillston,
Leïla Kloul:
PEPA Nets.
MASCOTS Tutorials 2003: 311-335 |
| 7 | | Stephen Gilmore,
Leïla Kloul:
A Unified Tool for Performance Modelling and Prediction.
SAFECOMP 2003: 179-192 |
| 6 | | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
PEPA nets: a structured performance modelling formalism.
Perform. Eval. 54(2): 79-104 (2003) |
| 2002 |
|---|
| 5 | | 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 |
|---|
| 4 | | Jane Hillston,
Leïla Kloul:
An Efficient Kronecker Representation for PEPA Models.
PAPM-PROBMIV 2001: 120-135 |
| 3 | | 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 |
|---|
| 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 |
