Detail publikace

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

ČEŠKA Milan, PILAŘ Petr, PAOLETTI Nicola, BRIM Luboš a KWIATKOWSKA Marta. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In: Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 9636. Berlin: Springer International Publishing, 2016, s. 367-384. ISBN 978-3-662-49673-2. ISSN 0302-9743. Dostupné z: http://dx.doi.org/10.1007/978-3-662-49674-9_21
Název česky
PRISM-PSY: Přesná syntéza parametrů pro stochastické systémy akcelerovaná na GPU
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Pilař Petr (FI MUNI)
Paoletti Nicola (UOx)
Brim Luboš, prof. RNDr., CSc. (FI MUNI)
Kwiatkowska Marta (UOx)
URL
Abstrakt

Tento článek prezentuje PRISM-PSY, nový nástroj pro přesnou GPU-akcelerovanou syntézu parametrů pro stochastické systémy.

Rok
2016
Strany
367-384
Časopis
Lecture Notes in Computer Science, roč. 9636, ISSN 0302-9743
Sborník
Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science
Konference
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Eindhoven, The Netherlands, CZ
ISBN
978-3-662-49673-2
Vydavatel
Springer International Publishing
Místo
Berlin, DE
DOI
UT WoS
000406428000021
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11208,
   author = "Milan \v{C}e\v{s}ka and Petr Pila\v{r} and Nicola Paoletti and Lubo\v{s} Brim and Marta Kwiatkowska",
   title = "PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems",
   pages = "367--384",
   booktitle = "Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   series = "Lecture Notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   volume = 9636,
   year = 2016,
   location = "Berlin, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-662-49673-2",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-662-49674-9\_21",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11208"
}
Nahoru