Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/icse/AljazzarKLL10,
  author       = {Husain Aljazzar and
                  Matthias Kuntz and
                  Florian Leitner{-}Fischer and
                  Stefan Leue},
  editor       = {Carlo Ghezzi and
                  Lars Grunske and
                  Raffaela Mirandola},
  title        = {Directed and heuristic counterexample generation for probabilistic
                  model checking: a comparative evaluation},
  booktitle    = {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},
  pages        = {25--32},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808877.1808883},
  doi          = {10.1145/1808877.1808883},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AljazzarKLL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/CheungGM10,
  author       = {Leslie Cheung and
                  Leana Golubchik and
                  Nenad Medvidovic},
  editor       = {Carlo Ghezzi and
                  Lars Grunske and
                  Raffaela Mirandola},
  title        = {{SHARP:} a scalable approach to architecture-level reliability prediction
                  of concurrent systems},
  booktitle    = {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},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808877.1808879},
  doi          = {10.1145/1808877.1808879},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/CheungGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/CortellessaMEPT10,
  author       = {Vittorio Cortellessa and
                  Antinisca Di Marco and
                  Romina Eramo and
                  Alfonso Pierantonio and
                  Catia Trubiani},
  editor       = {Carlo Ghezzi and
                  Lars Grunske and
                  Raffaela Mirandola},
  title        = {Digging into {UML} models to remove performance antipatterns},
  booktitle    = {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},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808877.1808880},
  doi          = {10.1145/1808877.1808880},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/CortellessaMEPT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/KrkaGM10,
  author       = {Ivo Krka and
                  Leana Golubchik and
                  Nenad Medvidovic},
  editor       = {Carlo Ghezzi and
                  Lars Grunske and
                  Raffaela Mirandola},
  title        = {Probabilistic automata for architecture-based reliability assessment},
  booktitle    = {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},
  pages        = {17--24},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808877.1808881},
  doi          = {10.1145/1808877.1808881},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KrkaGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/PaveseBU10,
  author       = {Esteban Pavese and
                  V{\'{\i}}ctor A. Braberman and
                  Sebasti{\'{a}}n Uchitel},
  editor       = {Carlo Ghezzi and
                  Lars Grunske and
                  Raffaela Mirandola},
  title        = {My model checker died!: how well did it do?},
  booktitle    = {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},
  pages        = {33--40},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808877.1808884},
  doi          = {10.1145/1808877.1808884},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/PaveseBU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icse/2010quovadis,
  editor       = {Carlo Ghezzi and
                  Lars Grunske and
                  Raffaela Mirandola},
  title        = {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},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {http://dl.acm.org/citation.cfm?id=1808880},
  isbn         = {978-1-60558-972-5},
  timestamp    = {Thu, 20 Feb 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/2010quovadis.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}