default search action

combined dblp search
author search
venue search
publication search

ask others

QUOVADIS@ICSE 2010: Cape Town, South Africa

> Home > Conferences and Workshops > ICSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/2010quovadis
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2010quovadis
Carlo Ghezzi, Lars Grunske, Raffaela Mirandola:
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. ACM 2010, ISBN 978-1-60558-972-5

Quantitative quality assessment

- view
  authority control:
- export record
  dblp key:
  - conf/icse/CheungGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CheungGM10
Leslie Cheung, Leana Golubchik, Nenad Medvidovic:
SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CortellessaMEPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CortellessaMEPT10
Vittorio Cortellessa, Antinisca Di Marco, Romina Eramo, Alfonso Pierantonio, Catia Trubiani:
Digging into UML models to remove performance antipatterns. 9-16
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrkaGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrkaGM10
Ivo Krka, Leana Golubchik, Nenad Medvidovic:
Probabilistic automata for architecture-based reliability assessment. 17-24

Model checking

- view
  authority control:
- export record
  dblp key:
  - conf/icse/AljazzarKLL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AljazzarKLL10
Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue:
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. 25-32
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PaveseBU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PaveseBU10
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
My model checker died!: how well did it do? 33-40

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.