Salem Derisavi

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Ralf Wimmer, Salem Derisavi, Holger Hermanns
Symbolic partition refinement with automatic balancing of time and space. Perform. Evaluation 67 (9) (2010)
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) (2009)
Lakshminarayanan Renganarayanan, Uday Bondhugula, Salem Derisavi, Alexandre E. Eichenberger, Kevin O'Brien
Compact multi-dimensional kernel extraction for register tiling. SC (2009)
Ralf Wimmer, Salem Derisavi, Holger Hermanns
Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST (2008)
Salem Derisavi
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. QEST (2007)
Salem Derisavi
A Symbolic Algorithm for Optimal Markov Chain Lumping. TACAS (2007)
Tariq Omari, Salem Derisavi, Greg Franks
Deriving distribution of thread service time in layered queueing networks. WOSP (2007)
Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside
Performance Modeling of a Quorum Pattern in Layered Service Systems. QEST (2007)
Salem Derisavi, Peter Kemper, William H. Sanders
Lumping Matrix Diagram Representations of Markov Models. DSN (2005)
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)
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)
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
The Möbius state-level abstract functional interface. Perform. Evaluation 54 (2) (2003)
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)
Salem Derisavi, Holger Hermanns, William H. Sanders
Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87 (6) (2003)
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS (2002)
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) (2002)
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)
Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
The Möbius Modeling Tool. PNPM (2001)