Run-time efficient probabilistic model checking

Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli

PDF DOI 10.1145/1985793.1985840 dblp

Abstract

Unpredictable changes continuously affect software systems and may have a severe impact on their quality of service, potentially jeopardizing the system's ability to meet the desired requirements. Changes may occur in critical components of the system, clients' operational profiles, requirements, or deployment environments.

BibTeX

@inproceedings{Filieri-al:ICSE11,
  author    = {Antonio Filieri and
               Carlo Ghezzi and
               Giordano Tamburrelli},
  title     = {Run-time efficient probabilistic model checking},
  booktitle = {ICSE},
  pages     = {341--350},
  publisher = {{ACM}},
  year      = {2011},
}

Run-time efficient probabilistic model checking

Abstract

Related papers