Salem Derisavi

	2009
16		Lakshminarayanan Renganarayana, Uday Bondhugula, Salem Derisavi, Alexandre E. Eichenberger, Kevin O'Brien: Compact multi-dimensional kernel extraction for register tiling. SC 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	Uday Bondhugula	[16]
3	Graham Clark	[1]
4	Tod Courtney	[1] [2] [3] [4] [6] [7] [8]
5	David Daly	[1] [2] [6] [7]
6	Olivia Das	[15]
7	Daniel D. Deavours	[1] [2]
8	Jay M. Doyle	[1]
9	Alexandre E. Eichenberger	[16]
10	Greg Franks	[10] [12] [15]
11	Shravan Gaonkar	[7] [8]
12	Mark Griffith	[7] [8]
13	Holger Hermanns	[5] [6] [14]
14	Thomas S. Huang	[2]
15	Joost-Pieter Katoen	[6]
16	Peter Kemper	[3] [4] [9]
17	Ric Klaren	[6]
18	Vinh Vi Lam	[6] [7] [8]
19	Michael G. McQuinn	[8]
20	Kevin O'Brien (Kevin K. O'Brien)	[16]
21	Tariq Omari	[10] [12] [15]
22	Constantine D. Polychronopoulos	[2]
23	Lakshminarayanan Renganarayana	[16]
24	Eric Rozier	[8]
25	William H. Sanders	[1] [2] [3] [4] [5] [6] [7] [8] [9]
26	Patrick G. Webster	[1]
27	Ralf Wimmer	[14]
28	C. Murray Woodside	[12] [15]

Colors in the list of coauthors