Salem Derisavi
Salem Derisavi
Principal Compiler Engineer/Manager, Untether AI
Geverifieerd e-mailadres voor untether.ai
Titel
Geciteerd door
Geciteerd door
Jaar
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
3382002
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
2592001
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
2592001
Optimal state-space lumping in Markov chains
S Derisavi, H Hermanns, WH Sanders
Information Processing Letters 87 (6), 309-315, 2003
2372003
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
2122008
A symbolic algorithm for optimal Markov chain lumping
S Derisavi
International Conference on Tools and Algorithms for the Construction and …, 2007
392007
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
392004
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
35*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
252003
Symbolic partition refinement with automatic balancing of time and space
R Wimmer, S Derisavi, H Hermanns
Performance Evaluation 67 (9), 816-836, 2010
242010
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
International Conference on Modelling Techniques and Tools for Computer …, 2002
192002
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
182009
Signature-based symbolic algorithm for optimal Markov chain lumping
S Derisavi
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
182007
Lumping matrix diagram representations of Markov models
S Derisavi, P Kemper, WH Sanders
2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005
182005
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
Performance Evaluation 54 (2), 105-128, 2003
172003
Solution of large Markov models using lumping techniques and symbolic data structures
S Derisavi
122005
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
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
82005
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20