Salem Derisavi

According to our database, Salem Derisavi authored at least 18 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Symbolic partition refinement with automatic balancing of time and space.

Ralf Wimmer, Salem Derisavi, Holger Hermanns

Perform. Evaluation, 2010

2009

Enhanced Modeling and Solution of Layered Queueing Networks.

Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi

IEEE Trans. Software Eng., 2009

Compact multi-dimensional kernel extraction for register tiling.

Lakshminarayanan Renganarayanan, Uday Bondhugula, Salem Derisavi, Alexandre E. Eichenberger, Kevin O'Brien

Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

2008

Symbolic Partition Refinement with Dynamic Balancing of Time and Space.

Ralf Wimmer, Salem Derisavi, Holger Hermanns

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Deriving distribution of thread service time in layered queueing networks.

Tariq Omari, Salem Derisavi, Greg Franks

Proceedings of the 6th International Workshop on Software and Performance, 2007

A Symbolic Algorithm for Optimal Markov Chain Lumping.

Salem Derisavi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Performance Modeling of a Quorum Pattern in Layered Service Systems.

Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.

Salem Derisavi

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2005

Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures

Salem Derisavi

PhD thesis, 2005

The Mobius Modeling Environment: Recent Extensions - 2005.

Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Lumping Matrix Diagram Representations of Markov Models.

Salem Derisavi, Peter Kemper, William H. Sanders

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

The Möbius Modeling Environment: Recent Developments.

Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003

The Möbius state-level abstract functional interface.

Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney

Perform. Evaluation, 2003

Optimal state-space lumping in Markov chains.

Salem Derisavi, Holger Hermanns, William H. Sanders

Inf. Process. Lett., 2003

On Integrating the MÖBIUS and MODEST Modeling Tools.

Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

The Möbius Framework and Its Implementation.

Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster

IEEE Trans. Software Eng., 2002

Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation.

William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

The Möbius Modeling Tool.

Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001