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. -.December2010.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. -.July2009.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).November2008.[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).December2007.Project Report.[pdf][bib]