RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications 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'		Talks in the frame of project 'Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models'

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

2010

Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Evaluating a Probabilistic Model Checker for Modeling and Analyzing Retrial Queueing Systems . Annales Mathematicae et Informaticae, pp. -. December 2010. Liceum University Press, ISSN 1787-5021. [url] [bib]

2009

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik. Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM. In: WWV'09, 5th Int'l Workshop on Automated Specification and Verification of Web Systems, Demis Ballis, Temur Kutsia (ed.), pp. -. July 2009. Hagenberg, Austria, -. [pdf] [bib]

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]

All Years >>