Technical Reports of research area 'Parallel/Distributed Computing'
2014
Muhammad Taimoor Khan.On the Soundness of the Translation of MiniMaple to Why3ML. Technical report no. 14-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2014.[pdf][bib]
Muhammad Taimoor Khan.Formal Specification and Verification of Computer Algebra Software. Technical report no. 14-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).PhD Thesis,April2014.[pdf][bib]
2013
Muhammad Taimoor Khan.On the Formal Verification of Maple Programs. Technical report no. 13-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2013.[pdf][bib]
Wolfgang Schreiner.Experiments with Measuring Time in PRISM 4.0. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March2013.Technical Report.[pdf][bib]
Wolfgang Schreiner, Nikolaj Popov, Tamas Berczes, Janos Sztrik, Gabor Kusper.Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular Networks with Spectrum Renting. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, July2013.[pdf][bib]
Wolfgang Schreiner and Tamas Berczes and Janos Sztrik.Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2013.[pdf][bib]