|
- The Möbius Modeling Environment: Recent Developments - 2005
T. Courtney, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam,
M. McQuinn, E. Rozier, W. H. Sanders
- NekoStat extension for Neko: Quantitative Evaluation of Distributed
Algorithms
L. Falai, A. Bondavalli, F. di Giandomenico
- A Software Performance Engineering Tool Based on UML-SPT
E. Gomez-Martinez, J. Merseguer
- Draw-Net: a customizable multi-formalism, multi-solution tool for the
quantitative evaluation of systems
M. Gribaudo, D. Codetta-Raiteri, G. Franceschinis
- A Markov Reward Model Checker
J.-P. Katoen, M. Khattri, I. S. Zapreev
- Global Time Petri Net Analyzer
E. E. Kunzle, E. A. Lima, L. A. Kunzle
- iLTL Checker: A Probabilistic Model Checker for Multiple DTMCs
Y. M. Kwon, G. Agha
- MCReNet: a tool for Marked-Controlled Reconfigurable Nets
M. Llorens, J. Oliver
- SAM: A Tool for Software Architecture Modeling & Performance Analysis
G. Rajeshwari, S. Sarkar
- VESTA: A Statistical Model Checker and Analyzer for Probabilistic Systems
K. Sen, M. Viswanathan, G. Agha
- OpenSESAME:Simple but Extensive Structured Availability Modeling Environment
M. Walter, C. Trinitis
|
|