Salem Derisavi

	2009
15		Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi: Enhanced Modeling and Solution of Layered Queueing Networks. IEEE Trans. Software Eng. 35(2): 148-161 (2009)
	2008
14		Ralf Wimmer, Salem Derisavi, Holger Hermanns: Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST 2008: 65-74
	2007
13		Salem Derisavi: Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. QEST 2007: 141-150
12		Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside: Performance Modeling of a Quorum Pattern in Layered Service Systems. QEST 2007: 201-210
11		Salem Derisavi: A Symbolic Algorithm for Optimal Markov Chain Lumping. TACAS 2007: 139-154
10		Tariq Omari, Salem Derisavi, Greg Franks: Deriving distribution of thread service time in layered queueing networks. WOSP 2007: 66-77
	2005
9		Salem Derisavi, Peter Kemper, William H. Sanders: Lumping Matrix Diagram Representations of Markov Models. DSN 2005: 742-751
8		Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders: The Mobius Modeling Environment: Recent Extensions - 2005. QEST 2005: 259-260
	2004
7		Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders: The Möbius Modeling Environment: Recent Developments. QEST 2004: 328-329
	2003
6		Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders: On Integrating the MÖBIUS and MODEST Modeling Tools. DSN 2003: 671
5		Salem Derisavi, Holger Hermanns, William H. Sanders: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6): 309-315 (2003)
4		Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius state-level abstract functional interface. Perform. Eval. 54(2): 105-128 (2003)
	2002
3		Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS 2002: 31-50
2		William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi: Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation. IPDPS 2002
1		Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster: The Möbius Framework and Its Implementation. IEEE Trans. Software Eng. 28(10): 956-969 (2002)

Coauthor Index

1	Henrik C. Bohnenkamp	[6]
2	Graham Clark	[1]
3	Tod Courtney	[1] [2] [3] [4] [6] [7] [8]
4	David Daly	[1] [2] [6] [7]
5	Olivia Das	[15]
6	Daniel D. Deavours	[1] [2]
7	Jay M. Doyle	[1]
8	Greg Franks	[10] [12] [15]
9	Shravan Gaonkar	[7] [8]
10	Mark Griffith	[7] [8]
11	Holger Hermanns	[5] [6] [14]
12	Thomas S. Huang	[2]
13	Joost-Pieter Katoen	[6]
14	Peter Kemper	[3] [4] [9]
15	Ric Klaren	[6]
16	Vinh Vi Lam	[6] [7] [8]
17	Michael G. McQuinn	[8]
18	Tariq Omari	[10] [12] [15]
19	Constantine D. Polychronopoulos	[2]
20	Eric Rozier	[8]
21	William H. Sanders	[1] [2] [3] [4] [5] [6] [7] [8] [9]
22	Patrick G. Webster	[1]
23	Ralf Wimmer	[14]
24	C. Murray Woodside	[12] [15]