| |
- D-ITG: Distributed Internet Traffic Generator
S. Avallone, D. Emma, S. Guadagno, A. Pescapè, G. Ventre
- Visualization of Analysis Results in the ProC/B Toolset
M. Arns, M. Fischer, C. Tepper, M. Völker
- Performance Analysis with BenchIT: Portable, Flexible, Easy to Use
Guido Juckeland, Michael Kluge, Wolfgang E. Nagel, Stefan Pflüger
- PRISM 2.0: A Tool for Probabilistic Model Checking
Marta Kwiatkowska, Gethin Norman, David Parker
- Extended SWN solvers in GreatSPN
J.M. Ilié, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux, S. Alciati
- Modeling and Evaluation with Object Stochastic Activity Networks
Mohammad Abdollahi Azgomi and Ali Movaghar
- The Möbius Modeling Environment: Recent developments
Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, William H. Sanders
- TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems
Nicolas Markey and Philippe Schnoebelen
- WALTy: A User Behavior Tailored Tool for Evaluating Web Application Performance
Roberto Politi, Giancarlo Ruffo, Rossano Schifanella and Matteo Sereno
- The ipc/HYDRA Tool Chain for the Analysis of PEPA Models
Jeremy T. Bradley and William J. Knottenbelt
- TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation
Alessandro Aldini and Marco Bernardo
- SMART: the Stochastic Model checking Analyzer for Reliability and Timing
Gianfranco Ciardo and Andrew S. Miner
- UML-PSI: The UML Performance Simulator
Moreno Marzolla and Simonetta Balsamo
- XPRIT: an XML-based tool to translate UML diagrams into execution graphs and queueing networks
Vittorio Cortellessa, Michele Gentile and Marco Puzziti
|
|