Detail publikace

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

ČEŠKA, M.; CALINESCU, R.; GERASIMOU, S.; KWIATKOWSKA, M.; PAOLETTI, N. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In Proceedings of 14th International Conference on Quantitative Evaluation of SysTems. Heidelberg: Springer Verlag, 2017. p. 304-308. ISBN: 978-3-319-66335-7.
Název česky
RODES: Nástroj pro syntézu robustních pravděpodobnostních systémů
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

automatizace návrhu, pravděpodobnostní systémy, robustnost citlivost a toleranci Pareto-optimalita

Abstrakt

Tento článek představuje RODES - nástroj pro syntézu robustních pravděpodobnostních systémů, které splňují striktní požadavky na spolehlivost a výkon.

Rok
2017
Strany
304–308
Sborník
Proceedings of 14th International Conference on Quantitative Evaluation of SysTems
ISBN
978-3-319-66335-7
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-66335-7_20
UT WoS
000696692800020
EID Scopus
2-s2.0-85028652934
BibTeX 
@inproceedings{BUT146263,
  author="Milan {Češka} and Radu {Calinescu} and Simos {Gerasimou} and Marta {Kwiatkowska} and Nicola {Paoletti}",
  title="RODES: A Robust-Design Synthesis Tool for Probabilistic Systems",
  booktitle="Proceedings of 14th International Conference on Quantitative Evaluation of SysTems",
  year="2017",
  pages="304--308",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-319-66335-7\{_}20",
  isbn="978-3-319-66335-7"
}
Nahoru