QUOVADIS@ICSE

Keyphrases

Publications

2010

Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE (2010)
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
My model checker died!: how well did it do? QUOVADIS@ICSE (2010)
Ivo Krka, Leana Golubchik, Nenad Medvidovic
Probabilistic automata for architecture-based reliability assessment. QUOVADIS@ICSE (2010)
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, QUOVADIS '10, May 3, 2010, Cape Town, South Africa QUOVADIS@ICSE (2010)
Leslie Cheung, Leana Golubchik, Nenad Medvidovic
SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems. QUOVADIS@ICSE (2010)
Vittorio Cortellessa, Antinisca Di Marco, Romina Eramo, Alfonso Pierantonio, Catia Trubiani
Digging into UML models to remove performance antipatterns. QUOVADIS@ICSE (2010)