Detail publikace

Designing Robust Software Systems through Parametric Markov Chain Synthesis

ČEŠKA, M.; CALINESCU, R.; GERASIMOU, S.; KWIATKOWSKA, M.; PAOLETTI, N. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In Proceedings of 14th IEEE International Conference On Software Architecture. New Jersey: IEEE Computer Society, 2017. p. 131-140. ISBN: 978-1-5090-5729-0.
Název česky
Návrh Robustních Systémů Pomocí Parametrických Markovovských Procesů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
Calinescu Radu (FIT)
Gerasimou Simos (FIT)
Kwiatkowska Marta (FIT)
Paoletti Nicola (FIT)
Klíčová slova

Computer science;Linear programming;Markov processes;Optimization;Probabilistic logic;Robustness;Software systems;multi-objective optimisation;probabilistic model synthesis;software performance and reliability engineering

Abstrakt

Článek se zabývá metodami pro návrh robustních systémů pomocí syntézy parametrických Markovovských procesů.

Rok
2017
Strany
131–140
Sborník
Proceedings of 14th IEEE International Conference On Software Architecture
ISBN
978-1-5090-5729-0
Vydavatel
IEEE Computer Society
Místo
New Jersey
DOI
10.1109/ICSA.2017.16
UT WoS
000403402100017
EID Scopus
2-s2.0-85021423297
BibTeX 
@inproceedings{BUT144418,
  author="Milan {Češka} and Radu {Calinescu} and Simos {Gerasimou} and Marta {Kwiatkowska} and Nicola {Paoletti}",
  title="Designing Robust Software Systems through Parametric Markov Chain Synthesis",
  booktitle="Proceedings of 14th IEEE International Conference On Software Architecture",
  year="2017",
  pages="131--140",
  publisher="IEEE Computer Society",
  address="New Jersey",
  doi="10.1109/ICSA.2017.16",
  isbn="978-1-5090-5729-0"
}
Nahoru