19 Technical Reports

Wolfgang Schreiner.
The RISC Algorithm Language - Tutorial and Reference Manual.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2017.

Temur Kutsia, George Rahonis, Wolfgang Schreiner.
MK-fuzzy automata.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, May 2016.

Wolfgang Schreiner, Temur Kutsia, Davic Cerna, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl.
The LogicGuard Stream Monitor Specification Language Tutorial and Reference Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 2015.

Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.
Modeling RF Communication in Sensor Networks by Probabilistic Model Checking.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2015.

Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.
Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2015.

Wolfgang Schreiner.
Some Lessons Learned on Writing Predicate Logic Proofs in Isabelle/Isar.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2014.

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, September 2014.

Temur Kutsia, Wolfgang Schreiner.
Verifying the Soundness of Resource Analysis for LogicGuard Monitors — Revised Version.
Technical Report 14-08, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2014.

Temur Kutsia, Wolfgang Schreiner.
Verifying the Soundness of Resource Analysis for LogicGuard Monitors — Part 1.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, December 2013.

Wolfgang Schreiner, Temur Kutsia.
A Resource Analysis for LogicGuard Monitors .
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, December 2013.

Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Gabor Kusper.
A Case Study on Exploring the Performance Limits of PRISM.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2013.

Wolfgang Schreiner, Tamas Berczes, Janos Sztrik.
Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2013.

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.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2013.

Wolfgang Schreiner.
Initial Results on Modeling in PRISM Mobile Cellular Networks with Spectrum Renting.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2013.

Wolfgang Schreiner.
Experiments with Measuring Time in PRISM 4.0 (Addendum).
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2013.

Wolfgang Schreiner.
Experiments with Measuring Time in PRISM 4.0.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2013.

Wolfgang Schreiner.
Computability and Complexity.
Technical Report 2012-10, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, June 2012.
Lecture Notes, Winter Semester 2012/2013.

Temur Kutsia, Wolfgang Schreiner.
LogicGuard Abstract Language.
Technical Report 12-08, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, June 2012.

Wolfgang Schreiner.
The RISC ProgramExplorer: Tutorial and Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2011.

Wolfgang Schreiner.
A JML Specification of the Design Pattern “Proxy”.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2010.

Wolfgang Schreiner.
The RISC ProgramExplorer: Tutorial and Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2010.

Wolfgang Schreiner.
From Types to Contracts: Supporting by Light-Weight Specifications the Liskov Substitution Principle.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, February 2010.

Wolfgang Schreiner.
How to Write Postconditions with Multiple Cases.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November 2009.

Wolfgang Schreiner.
Supporting the Design Pattern “Object Structures as Plain Values”.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2009.

Wolfgang Schreiner.
A JML Specification of the Design Pattern “Proxy”.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2009.

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik.
Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM.
Technical Report 08-17, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November 2008.

Wolfgang Schreiner.
A Program Calculus
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2008.

Wolfgang Schreiner.
Understanding Programs
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2008.

Gabor Guta, Barnabas Szasz, Wolfgang Schreiner.
A Lightweight Model Driven Development Process based on XML Technology
Technical Report 08-01, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2008.

Karoly Bosa, Wolfgang Schreiner.
Report on Experiments with Globus 4 and GLite.
Austrian Grid Deliverable AG-D4-1-2007, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, January 2008.

Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik.
Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems.
Technical Report 07-17, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, December 2007.

Wolfgang Schreiner.
The RISC ProofNavigator – Tutorial and Manual.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2006.

Rebhi Baraka, Wolfgang Schreiner.
Semantic Querying of Mathematical Web Service Descriptions.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2006.

Rebhi Baraka, Wolfgang Schreiner.
Querying Registry-Published Mathematical Web Services.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2005.

Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen.
A Prototype of the SEE-GRID Pathology Fitter.
Austrian Grid Deliverable A1c-3-2005, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2005.

Karoly Bosa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen.
The Initial Version of SEE-GRID.
Austrian Grid Deliverable A1c-1-2005, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2005.

Karoly Bosa, Wolfgang Schreiner, Rebhi Baraka, Michael Buchberger, Thomas Kaltofen, Daniel Mitterdorfer.
SEE-GRID Design Overview.
Austrian Grid Deliverable A1c-1, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November 2004.

Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner.
A Registry Service as a Foundation for Brokering Mathematical Services.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, May 2004.

Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner.
Publishing and Discovering Mathematical Service Descriptions: A Web Registry Approach.
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2004.

Wolfgang Schreiner.
Recording Instructional Presentations on Your PC
Engineering for Computer-based Learning, University of Applied Sciences at Hagenberg, Austria, March 2003.

Wolfgang Schreiner.
Elektronische Lehrpräsentationen
Engineering for Computer-based Learning, University of Applied Sciences at Hagenberg, Austria, March 2003.

Wolfgang Schreiner.
Ein Teleteaching Experiment
Engineering for Computer-based Learning, University of Applied Sciences at Hagenberg, Austria, May 2002.

Karoly Bosa, Wolfgang Schreiner.
Task Logging, Rescheduling, and Peer Checking in Distributed Maple (PostScript).
Technical Report 02-10, RISC, Johannes Kepler University, Linz, Austria, March 2002.

Gabor Kusper, Wolfgang Schreiner, Robert Lovas.
Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools (Project Report) (PostScript).
Technical Report 02-07, RISC, Johannes Kepler University, Linz, Austria, March 2002.

Wolfgang Schreiner.
Parallelizing the Big Prime Berlekamp Algorithm with Distributed Maple (PostScript).
Technical Report 01-15, RISC, Johannes Kepler University, Linz, Austria, July 2001.

Wolfgang Schreiner, Gabor Kusper, Karoly Bosa.
Introducing Fault Tolerance to Distributed Maple (PostScript).
Technical Report 01-03, RISC, Johannes Kepler University, Linz, Austria, January 2001.

Wolfgang Schreiner.
Manager-Worker Parallelism versus Dataflow in Distributed Maple (PostScript).
Technical Report 00-34, RISC, Johannes Kepler University, Linz, Austria, December 2000.

Wolfgang Schreiner.
Analyzing the Performance of Distributed Maple on Various Parallel and Distributed Systems (PostScript).
Technical Report 00-32, RISC, Johannes Kepler University, Linz, Austria, November 2000.

Cleopatra Pau, Wolfgang Schreiner.
Distributed Mathematica — User and Reference Manual (PostScript).
Technical Report 00-25, RISC, Johannes Kepler University, Linz, Austria, July 2000.

Wolfgang Schreiner.
A Note on Maple’s GCD Computation of Partially Factored Polynomials (PostScript).
Technical Report 00-11, RISC, Johannes Kepler University, Linz, Austria, April 2000.

Ioana-Cleopatra Pau, Igor Rents, Wolfgang Schreiner.
Verifying Mutual Exclusion and Liveness Properties with TLA (PostScript).
Technical Report 00-06, RISC, Johannes Kepler University, Linz, Austria, January 2000.

Wolfgang Schreiner.
Formal Foundations of Computer Science 1 (Web Page).
Technical Report 99-32, RISC, Johannes Kepler University, Linz, Austria, November 1999.

Fabrizio Caruso, Carsten Schneider, Geert Van de Weyer, Wolfgang Schreiner.
A Student Dictionary System (PostScript).
Technical Report 99-10, RISC, Johannes Kepler University, Linz, Austria, April 1999.

Ralf Hemmecke, Erik Hillgarter, Wolfgang Schreiner, Franz Winkler.
An Evaluation of the State of the CASA System (PostScript).
Technical Report 98-16, RISC, Johannes Kepler University, Linz, Austria, October 1998.

Wolfgang Schreiner.
Distributed Maple - User and Reference Manual (PostScript).
Technical Report 98-05, RISC, Johannes Kepler University, Linz, May 1998.

Bruno Buchberger, Manuel Chakravarty, John Darlington, Yke Guo, Tetsuo Ida, Igor Mejuev, Wolfgang Schreiner.
KnowledgeWeb — A Design and Feasibility Study.
Technical Report ISE-TR-98-151, Institute of Information Sciences and Electronics, University of Tsukuba, Japan, May 1998.

Wolfgang Schreiner.
DAJ — A Toolkit for the Simulation of Distributed Algorithms in Java (HTML Version).
Technical Report 97-36, RISC, Johannes Kepler University, Linz, November 1997.

Bruno Buchberger, Wolfgang Schreiner.
CONCERT — A Software Architecture for Coordinating Education Sessions in Distributed Environments (HTML Version).
Technical Report 97-04, RISC, Johannes Kepler University, February 1997.

Wolfgang Schreiner.
RT++ — Higher Order Threads for C++, Tutorial and Reference Manual
Technical Report 96-09, RISC, Johannes Kepler University, Linz, April 1996.

Hoon Hong and Wolfgang Schreiner.
HPGP — High-Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher-Order Functors.
Accepted Research Proposal, Technical Report 96-10, RISC, Johannes Kepler University, July 1995.

Bruno Buchberger, Andreas Neubacher, Peter Pregler, Wolfgang Schreiner, Kurt Siegl.
Kein Briefgeheimnis für die Informationsgesellschaft (No Privacy for the Information Society?)
HTML version http://www.risc.jku.at/misc-info/crypto/crypto.html

Wolfgang Schreiner.
Compiling a Para-Functional Language to Parallel PACLIB C.
Technical Report 94-44, RISC, Johannes Kepler University, Linz, July 1994.

P.G. Bertoli, Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl.
The C++ Interface to the STURM Distributed Multi-Processor Kernel.
Technical Report 94-32, RISC, Johannes Kepler University, Linz, March 1994.

Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl.
The C++ Interface to the STURM Multi-Processor Kernel.
Technical Report 94-31, RISC, Johannes Kepler University, Linz, April 1994.

Hoon Hong, Andreas Neubacher, Wolfgang Schreiner, Volker Stahl.
The STURM Multi-Processor Kernel.
Technical Report, RISC, Johannes Kepler University, Linz, April 1994.

Wolfgang Schreiner.
Virtual Tasks for the PACLIB Kernel.
Technical Report 94-2, RISC, Johannes Kepler University, Linz, Austria, January 1994.

Wolfgang Schreiner.
Garbage Collection on a Stack.
Technical Report 94-1, RISC, Johannes Kepler University, Linz, Austria, January 1994.

Wolfgang Schreiner.
Compiling a Functional Language to Efficient SACLIB C.
Technical Report 93-49, RISC, Johannes Kepler University, Linz, Austria, September 1993.

Wolfgang Schreiner.
Parallel Functional Programming — An Annotated Bibliography.
Technical Report 93-24, RISC, Johannes Kepler University, Linz, Austria, May 1993.

Wolfgang Schreiner.
The Correctness of the PACLIB Kernel — A Case Study in Parallel Program Verification by Temporal Logic.
Technical Report 93-13, RISC, Johannes Kepler University, Linz, Austria, January 1993. Also: Technical Report ACPC/TR 93-15, Austrian Center for Parallel Computation.

Wolfgang Schreiner and Volker Stahl.
The Exact Solution of Linear Equation Systems on a Shared Memory Multiprocessor.
Technical Report, RISC, Johannes Kepler University, Linz, Austria, November 1992.

Wolfgang Schreiner.
The Design of the PACLIB Kernel.
Technical Report 92-33, RISC, Johannes Kepler University, Linz, Austria, May 1992. Also: Technical Report ACPC/TR 93-4, Austrian Center for Parallel Computation.

Hoon Hong, Wolfgang Schreiner, Andreas Neubacher, et al.
PACLIB User Manual — A System for Parallel Algebraic Computation on Shared Memory Multiprocessors.
Technical Report 92-32, RISC, Johannes Kepler University, Linz, Austria, May 1992. Also: Technical Report ACPC/TR 92-9, Austrian Center for Parallel Computation.

Wolfgang Schreiner.
On the Analysis of List-Based Functional Programs for Automatic Parallelization.
Technical Report, RISC, Johannes Kepler University, Linz, Austria, May 1992.

Wolfgang Schreiner.
User Guide and System Administration Reference for the Sequent Symmetry.
Technical Report **-12, RISC, Johannes Kepler University, Linz, Austria, April 1992.

Wolfgang Schreiner.
A Portable Parallel Library for the Compilation of Dataflow Programs.
Technical Report ACPC/TR 92-5, Austrian Center for Parallel Computation, April 1992.

Wolfgang Schreiner.
A Model for the Compilation of Dataflow Languages on Conventional Parallel Architectures.
Technical Report 91-50, RISC, Johannes Kepler University, Linz, Austria, November 1991.

Wolfgang Schreiner.
A High-Level Target Language for the Compilation of Dataflow Programs.
Technical Report 91-49, RISC, Johannes Kepler University, Linz, Austria, November 1991.

Wolfgang Schreiner.
Report on the EVE Programming Language.
Technical Report 89-43, RISC, Johannes Kepler University, Linz, Austria, November 1989.