Salem Derisavi
Salem Derisavi
Principal Compiler Engineer/Manager, Untether AI
Verified email at untether.ai
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
3592002
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
2762001
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
2762001
Optimal state-space lumping in Markov chains
S Derisavi, H Hermanns, WH Sanders
Information Processing Letters 87 (6), 309-315, 2003
2592003
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
2302008
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
442004
A symbolic algorithm for optimal Markov chain lumping
S Derisavi
International Conference on Tools and Algorithms for the Construction and …, 2007
412007
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
38*2004
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
292003
Symbolic partition refinement with automatic balancing of time and space
R Wimmer, S Derisavi, H Hermanns
Performance Evaluation 67 (9), 816-836, 2010
252010
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
International Conference on Modelling Techniques and Tools for Computer …, 2002
212002
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
202009
Signature-based symbolic algorithm for optimal Markov chain lumping
S Derisavi
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
202007
Lumping matrix diagram representations of Markov models
S Derisavi, P Kemper, WH Sanders
2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005
202005
On Integrating the MÖBIUS and MODEST Modeling Tools.
HC Bohnenkamp, T Courtney, D Daly, S Derisavi, H Hermanns, ...
DSN, 671, 2003
192003
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
Performance Evaluation 54 (2), 105-128, 2003
182003
Solution of large Markov models using lumping techniques and symbolic data structures
S Derisavi
University of Illinois at Urbana-Champaign, 2005
132005
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
92005
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
82008
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
42007
The system can't perform the operation now. Try again later.
Articles 1–20