| 2009 |
|---|
| 15 | EE | 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 | EE | Ralf Wimmer,
Salem Derisavi,
Holger Hermanns:
Symbolic Partition Refinement with Dynamic Balancing of Time and Space.
QEST 2008: 65-74 |
| 2007 |
|---|
| 13 | EE | Salem Derisavi:
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.
QEST 2007: 141-150 |
| 12 | EE | Tariq Omari,
Salem Derisavi,
Greg Franks,
C. Murray Woodside:
Performance Modeling of a Quorum Pattern in Layered Service Systems.
QEST 2007: 201-210 |
| 11 | EE | Salem Derisavi:
A Symbolic Algorithm for Optimal Markov Chain Lumping.
TACAS 2007: 139-154 |
| 10 | EE | Tariq Omari,
Salem Derisavi,
Greg Franks:
Deriving distribution of thread service time in layered queueing networks.
WOSP 2007: 66-77 |
| 2005 |
|---|
| 9 | EE | Salem Derisavi,
Peter Kemper,
William H. Sanders:
Lumping Matrix Diagram Representations of Markov Models.
DSN 2005: 742-751 |
| 8 | EE | 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 | EE | 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 | EE | 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 | EE | Salem Derisavi,
Holger Hermanns,
William H. Sanders:
Optimal state-space lumping in Markov chains.
Inf. Process. Lett. 87(6): 309-315 (2003) |
| 4 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |
