RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models'		Publications in the frame of project 'Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models'		Talks in the frame of project 'Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models'

Technical Reports in the frame of project 'Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models'

2008

Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM. Technical report no. 08-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). November 2008. [pdf] [bib]

2007

Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems. Technical report no. 07-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). December 2007. Project Report. [pdf] [bib]