RISC Publications and Technical Reports in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '
2014
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik.Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks.Annales Mathematicae et Informaticae43, pp. 123-144.2014.Líceum University Press,ISSN 1787-5021, ISSN 1787-6117.[bib]
Wolfgang Schreiner, Tamas Berczes, Adam Toth.Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2014.[pdf][bib]
Wolfgang Schreiner, Tamas Berczes, Adam Toth.Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December2014.[pdf][bib]
2013
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Gabor Kusper.A Case Study on Exploring the Performance Limits of PRISM. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2013.[pdf][bib]
Wolfgang Schreiner.Initial Results on Modeling in PRISM Mobile Cellular Networks with Spectrum Renting. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 92013.[pdf][bib]
Wolfgang Schreiner.Experiments with Measuring Time in PRISM 4.0 (Addendum). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April2013.[pdf][bib]