Abstract is missing.
- SHARP: a scalable approach to architecture-level reliability prediction of concurrent systemsLeslie Cheung, Leana Golubchik, Nenad Medvidovic. 1-8 [doi]
- Digging into UML models to remove performance antipatternsVittorio Cortellessa, Antinisca Di Marco, Romina Eramo, Alfonso Pierantonio, Catia Trubiani. 9-16 [doi]
- Probabilistic automata for architecture-based reliability assessmentIvo Krka, Leana Golubchik, Nenad Medvidovic. 17-24 [doi]
- Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluationHusain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue. 25-32 [doi]
- My model checker died!: how well did it do?Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel. 33-40 [doi]