Publications with the Performability Engineering Research Group
On Integrating the Möbius and Modest Modeling Tools.
H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J.-P. Katoen, R. Klaren, V. V. Lam, and W. H. Sanders. (03BOH01)
Tool paper in the Proceedings of the 2003 International Conference on Dependable Systems and Networks, San Francisco, CA, June 22-25, 2003, p.671.
The Möbius Modeling Environment.
T. Courtney, D. Daly, S. Derisavi, V. Lam, and W. H. Sanders. (03COU01)
Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, Universität Dortmund Fachbereich Informatik research report no. 781/2003, 2003, pp. 34-37.
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures.
V. Gupta, V. Lam, H. V. Ramasamy, W. H. Sanders, and S. Singh. (03GUP01)
Dependable Computing: Proceedings of the First Latin-American Symposium (LADC 2003), São Paulo, Brazil, October 21-24, 2003, Lecture Notes in Computer Science vol. 2847 (Rogério de Lemos, Taisy Silva Weber, and João Batista Camargo Jr., eds), Berlin: Springer, 2003, pp. 81-101.
Multi-formalism and Multi-solution-method Modeling Frameworks: The Möbius Approach.
W. H. Sanders, T. Courtney, D. Deavours, D. Daly, S. Derisavi, and V. Lam. (03SAN01)
Proceedings of the Symposium on Performance Evaluation - Stories and Perspectives, Vienna, Austria, December 5-6, 2003, pp. 241-256.
Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation.
V. Gupta, V. Lam, H. V. Ramasamy, W. H. Sanders, and S. Singh. (03GUP03)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-03-2227 (CRHC-03-13), December 2003.
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs.
V. V. Lam, P. Buchholz, and W. H. Sanders. (04LAM01)
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27-30, 2004, pp. 136-145.
The Möbius Modeling Environment: Recent Developments.
T. Courtney, D. Daly, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, and W. H. Sanders. (04COU01)
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27-30, 2004, pp. 328-329.
The Möbius Modeling Environment: Recent Extensions - 2005.
T. Courtney, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, M. McQuinn, E. Rozier, and W. H. Sanders. (05COU02)
Proceedings of the 2nd International Conference on the Quantitative Evaluation of Systems (QEST 2005), Torino, Italy, September 19-22, 2005, pp. 259-260.
A Component-Level Path-Based Simulation Approach for Efficient Analysis of Large Markov Models.
V. V. Lam, P. Buchholz, and W. H. Sanders. (05LAM02)
Proceedings of the 2005 Winter Simulation Conference, Orlando, FL, December 4-7, 2005, pp. 584-590.
A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs.
V. V. Lam, P. Buchholz, and W. H. Sanders. (05LAM03)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2006), Philadelphia, PA, USA, June 25-28, 2006, pp. 485-494.
Data Analysis and Visualization within the Möbius Modeling Environment.
T. Courtney, S. Gaonkar, M. Griffith, V. Lam, M. McQuinn, E. Rozier, and W. H. Sanders. (06COU01)
Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST), Riverside, CA, Sept. 11-14, 2006, pp. 137-138.
|
