| 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 | 387 | 2002 |
| 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 | 303 | 2001 |
| Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information processing letters 87 (6), 309-315, 2003 | 286 | 2003 |
| 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 | 281 | 2008 |
| A symbolic algorithm for optimal Markov chain lumping S Derisavi International Conference on Tools and Algorithms for the Construction and …, 2007 | 48 | 2007 |
| 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 | 47 | 2004 |
| 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 | 29 | 2010 |
| 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 | 26 | 2003 |
| 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 | 25 | 2009 |
| Lumping matrix diagram representations of Markov models S Derisavi, P Kemper, WH Sanders 2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005 | 24 | 2005 |
| Signature-based symbolic algorithm for optimal Markov chain lumping S Derisavi Fourth International Conference on the Quantitative Evaluation of Systems …, 2007 | 23 | 2007 |
| 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 | 23 | 2002 |
| The Möbius state-level abstract functional interface S Derisavi, P Kemper, WH Sanders, T Courtney Performance Evaluation 54 (2), 105-128, 2003 | 20 | 2003 |
| 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 | 20 | 2003 |
| Solution of large Markov models using lumping techniques and symbolic data structures S Derisavi University of Illinois at Urbana-Champaign, 2005 | 15 | 2005 |
| 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 | 10 | 2008 |
| 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 | 10 | 2005 |
| 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 | 5 | 2007 |
| Performance Modeling of a Quorum Pattern in Layered Service Systems T Omari, S Derisavi, G Franks, M Woodside Fourth International Conference on the Quantitative Evaluation of Systems …, 2007 | 3 | 2007 |
William H SandersCarnegie Mellon University確認したメール アドレス: cmu.edu
