The Möbius Modeling Tool. - Graham Clark; Tod Courtney; David Daly; Daniel D. Deavours; Salem Derisavi; Jay M. Doyle; William H. Sanders; Patrick G. Webster (PNPM, 2001)

Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation. - William H. Sanders; Constantine D. Polychronopoulos; Thomas S. Huang; Tod Courtney; David Daly; Daniel D. Deavours; Salem Derisavi (IPDPS, 2002)

The Möbius Framework and Its Implementation. - Daniel D. Deavours; Graham Clark; Tod Courtney; David Daly; Salem Derisavi; Jay M. Doyle; William H. Sanders; Patrick G. Webster (IEEE Trans. Software Eng., 2002)

On Integrating the MÖBIUS and MODEST Modeling Tools. - Henrik C. Bohnenkamp; Tod Courtney; David Daly; Salem Derisavi; Holger Hermanns; Joost-Pieter Katoen; Ric Klaren; Vinh Vi Lam; William H. Sanders (DSN, 2003)

Optimal state-space lumping in Markov chains. - Salem Derisavi; Holger Hermanns; William H. Sanders (Inf. Process. Lett., 2003)

The Möbius state-level abstract functional interface. - Salem Derisavi; Peter Kemper; William H. Sanders; Tod Courtney (Perform. Evaluation, 2003)

The Möbius Modeling Environment: Recent Developments. - Tod Courtney; David Daly; Salem Derisavi; Shravan Gaonkar; Mark Griffith; Vinh Vi Lam; William H. Sanders (QEST, 2004)

Lumping Matrix Diagram Representations of Markov Models. - Salem Derisavi; Peter Kemper; William H. Sanders (DSN, 2005)

The Mobius Modeling Environment: Recent Extensions - 2005. - Tod Courtney; Salem Derisavi; Shravan Gaonkar; Mark Griffith; Vinh Vi Lam; Michael G. McQuinn; Eric Rozier; William H. Sanders (QEST, 2005)

Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures - Salem Derisavi (2005)

Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. - Salem Derisavi (QEST, 2007)

Performance Modeling of a Quorum Pattern in Layered Service Systems. - Tariq Omari; Salem Derisavi; Greg Franks; C. Murray Woodside (QEST, 2007)

A Symbolic Algorithm for Optimal Markov Chain Lumping. - Salem Derisavi (TACAS, 2007)

Deriving distribution of thread service time in layered queueing networks. - Tariq Omari; Salem Derisavi; Greg Franks (WOSP, 2007)

Symbolic Partition Refinement with Dynamic Balancing of Time and Space. - Ralf Wimmer 001; Salem Derisavi; Holger Hermanns (QEST, 2008)

Compact multi-dimensional kernel extraction for register tiling. - Lakshminarayanan Renganarayanan; Uday Bondhugula; Salem Derisavi; Alexandre E. Eichenberger; Kevin O'Brien (SC, 2009)

Enhanced Modeling and Solution of Layered Queueing Networks. - Greg Franks; Tariq Omari; C. Murray Woodside; Olivia Das; Salem Derisavi (IEEE Trans. Software Eng., 2009)

Symbolic partition refinement with automatic balancing of time and space. - Ralf Wimmer 001; Salem Derisavi; Holger Hermanns (Perform. Evaluation, 2010)