RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications in the frame of project 'Evaluating Process Algebra Models versus State-oriented Models'		Technical Reports in the frame of project 'Evaluating Process Algebra Models versus State-oriented Models'		Talks in the frame of project 'Evaluating Process Algebra Models versus State-oriented Models'

RISC Publications and Technical Reports in the frame of project 'Evaluating Process Algebra Models versus State-oriented Models'

2013

Janos Sztrik, Wolfgang Schreiner, Tamas Berczes, Gabor Kusper, Nikolaj Popov. Project "85öu8": Final Report - Evaluating Process Algebra Models versus State-oriented Models for the Performance Analysis of Real-time Systems and Software Designs. Technical report no. 13-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). September 2013. [bib]
Wolfgang Schreiner. Experiments with Measuring Time in PRISM 4.0. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2013. 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, July 2013. [pdf] [bib]