Technical Reports in the frame of project 'The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security'
2017
David M. Cerna , Wolfgang Schreiner.An Algorithmic Approach to Bounding the Time Complexity of Stream Specifications. Submitted to the RISC Report Series. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,January 2017.Technical Report.[pdf][bib]
David M. Cerna, Wolfgang Schreiner.Writing Time- and Space- Efficient LogicGuard Specifications. Submitted to the RISC Report Series. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,March2017.Technical Report.[pdf][bib]
2016
Bashar Ahmad, Michael Krieger.Benchmarks and Performance Analysis of the LogicGuard Framework. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, June2016.[pdf][bib]
David M. Cerna , Wolfgang Schreiner.Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. Submitted to the RISC Report Series. November2016.Submitted.[pdf][bib]
David M. Cerna , Wolfgang Schreiner, Temur Kutsia.Analytic and Algorithmic Methods for Computing the Space Requirements of Stream Monitor Specifications. Submitted to the RISC Report Series. October2016.Submitted.[pdf][bib]
David M. Cerna , Wolfgang Schreiner, Temur Kutsia.Better Space Bounds for Future-Looking Stream Monitors. Submitted to the RISC Report Series. july2016.Submitted.[pdf][bib]
Temur Kutsia, George Rahonis, Wolfgang Schreiner.MK-fuzzy automata. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, May2016.[pdf][bib]
2015
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. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October2015.Technical Report.[pdf][bib]
David Cerna.Space Complexity of Operational Semantics for the LogicGuard Core Language. Submitted to the RISC Report Series. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,May2015.Technical Report.[pdf][bib]
David M. Cerna.Space Complexity of LogicGuard Revisited. Submitted to the RISC Report Series. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,October2015.Technical Report.[pdf][bib]