Detail publikace

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: Proceedings of 14th International Conference on Quantitative Evaluation of SysTems. Heidelberg: Springer Verlag, 2017, s. 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
angličtina
Autoři
Calinescu Radu (UYORK)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Gerasimou Simos (UYORK)
Kwiatkowska Marta (UOx)
Paoletti Nicola (UOx)
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
Konference
14th International Conference on Quantitative Evaluation of SysTems, Berlin, DE
ISBN
978-3-319-66335-7
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
10.1007/978-3-319-66335-7_20
UT WoS
000696692800020
EID Scopus
2-s2.0-85028652934
BibTeX 
@INPROCEEDINGS{FITPUB11461,
   author = "Radu Calinescu and Milan \v{C}e\v{s}ka and Simos Gerasimou and Marta Kwiatkowska and Nicola Paoletti",
   title = "RODES: A Robust-Design Synthesis Tool for Probabilistic Systems",
   pages = "304--308",
   booktitle = "Proceedings of 14th International Conference on Quantitative Evaluation of SysTems",
   year = 2017,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-66335-7",
   doi = "10.1007/978-3-319-66335-7\_20",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11461"
}
Nahoru