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'		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 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]

---

webmaster