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
Gerasimou Simos
Kwiatkowska Marta
Paoletti Nicola
Calinescu Radu
Gerasimou Simos
Kwiatkowska Marta
Paoletti Nicola
Klíčová slova
automatizace návrhu, pravděpodobnostní systémy,robustnostcitlivost a toleranciPareto-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
Konference
14th International Conference on Quantitative Evaluation of SysTems, Berlin, DE
ISBN
978-3-319-66335-7
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
UT WoS
000696692800020
EID Scopus
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"
}