Follow
Salem Derisavi
Salem Derisavi
Compiler Tech Lead/Manager, Cerebras Systems
Verified email at cerebras.net
Title
Cited by
Cited by
Year
The Mobius framework and its implementation
DD Deavours, G Clark, T Courtney, D Daly, S Derisavi, JM Doyle, ...
IEEE Transactions on Software Engineering 28 (10), 956-969, 2002
3762002
The Mobius modeling tool
G Clark, T Courtney, D Daly, D Deavours, S Derisavi, JM Doyle, ...
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
2962001
The Mobius modeling tool
G Clark, T Courtney, D Daly, D Deavours, S Derisavi, JM Doyle, ...
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
2962001
Optimal state-space lumping in Markov chains
S Derisavi, H Hermanns, WH Sanders
Information processing letters 87 (6), 309-315, 2003
2802003
Enhanced modeling and solution of layered queueing networks
G Franks, T Al-Omari, M Woodside, O Das, S Derisavi
IEEE Transactions on Software Engineering 35 (2), 148-161, 2008
2742008
A symbolic algorithm for optimal Markov chain lumping
S Derisavi
International Conference on Tools and Algorithms for the Construction and …, 2007
482007
Symbolic state-space exploration and numerical analysis of state-sharing composed models
S Derisavi, P Kemper, WH Sanders
Linear Algebra and Its Applications 386, 137-166, 2004
462004
The Mobius modeling environment: recent developments
T Courtney, D Daly, S Derisavi, S Gaonkar, M Griffith, V Lam, WH Sanders
First International Conference on the Quantitative Evaluation of Systems …, 2004
40*2004
Symbolic partition refinement with automatic balancing of time and space
R Wimmer, S Derisavi, H Hermanns
Performance Evaluation 67 (9), 816-836, 2010
272010
Compact multi-dimensional kernel extraction for register tiling
L Renganarayana, U Bondhugula, S Derisavi, AE Eichenberger, ...
Proceedings of the Conference on High Performance Computing Networking …, 2009
252009
Multi-formalism and multi-solution-method modeling frameworks: The Möbius approach
WH Sanders, T Courtney, D Deavours, D Daly, S Derisavi, V Lam
na, 2003
252003
Lumping matrix diagram representations of Markov models
S Derisavi, P Kemper, WH Sanders
2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005
242005
Signature-based symbolic algorithm for optimal Markov chain lumping
S Derisavi
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
232007
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002
222002
On integrating the Möbius and MoDeST modeling tools
H Bohnenkamp, T Courtney, D Daly, S Derisavi, H Hermanns, JP Katoen, ...
International Conference on Dependable Systems and Networks, DSN 2003, 671-671, 2003
202003
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
Performance Evaluation 54 (2), 105-128, 2003
192003
Solution of large Markov models using lumping techniques and symbolic data structures
S Derisavi
University of Illinois at Urbana-Champaign, 2005
152005
Symbolic partition refinement with dynamic balancing of time and space
R Wimmer, S Derisavi, H Hermanns
2008 Fifth International Conference on Quantitative Evaluation of Systems, 65-74, 2008
102008
The mobius modeling environment: Recent extensions-2005
T Courtney, S Derisavi, S Gaonkar, M Griffith, V Lam, M McQuinn, ...
Second International Conference on the Quantitative Evaluation of Systems …, 2005
102005
Deriving distribution of thread service time in layered queueing networks
T Omari, S Derisavi, G Franks
Proceedings of the 6th International Workshop on Software and Performance, 66-77, 2007
52007
The system can't perform the operation now. Try again later.
Articles 1–20