Leïla Kloul

2009
23	EE	Leïla Kloul: Performance Analysis of a Software Retrieval Service. Electr. Notes Theor. Comput. Sci. 232: 145-163 (2009)
2008
22	EE	Lamia Djoudi, Leïla Kloul: Assembly Code Analysis Using Stochastic Process Algebra. EPEW 2008: 95-109
2007
21	EE	Jane Hillston, Leïla Kloul: Formal techniques for performance analysis: blending SAN and PEPA. Formal Asp. Comput. 19(1): 3-33 (2007)
2006
20	EE	Leïla Kloul, Juliana Küster Filipe: Modelling Mobility with UML2.0 and PEPA Nets. ACSD 2006: 153-164
19	EE	Jean-Michel Fourneau, Leïla Kloul: A Precedence PEPA Model for Performance and Reliability Analysis. EPEW 2006: 1-15
18	EE	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	EE	Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214
15	EE	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	EE	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	EE	Stephen Gilmore, Leïla Kloul, Davide Piazza: Modelling Role-Playing Games Using PEPA Nets. ISCIS 2004: 523-532
11	EE	Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
10	EE	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	EE	Jane Hillston, Leïla Kloul, Amdjed Mokhtari: Towards a Feasible Active Networking Scenario. Telecommunication Systems 27(2-4): 413-438 (2004)
2003
8	EE	Stephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335
7	EE	Stephen Gilmore, Leïla Kloul: A Unified Tool for Performance Modelling and Prediction. SAFECOMP 2003: 179-192
6	EE	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	EE	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

Coauthor Index

1	Juliana Küster Filipe Bowles (Juliana Küster Filipe)	[20]
2	Mario Bravetti	[17]
3	C. Canevet	[10]
4	Lamia Djoudi	[22]
5	Jean-Michel Fourneau	[1] [2] [5] [19]
6	Stephen Gilmore (Stephen T. Gilmore)	[6] [7] [8] [10] [11] [12] [13] [16]
7	Valentin Haenel	[13] [16]
8	Jane Hillston	[3] [4] [6] [8] [9] [10] [11] [13] [18] [21]
9	Monika Maidl	[16]
10	Amdjed Mokhtari	[9] [14]
11	Davide Piazza	[12]
12	Franck Quessette	[1] [2]
13	Marina Ribaudo	[6] [11]
14	Perdita Stevens	[10]
15	Fabrice Valois	[5] [15]
16	Gianluigi Zavattaro	[17]

Colors in the list of coauthors