RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '		Publications in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '		Talks in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '

Technical Reports in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '

2014

• Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Ahmad Bashar, Helmut Otto, Martin Rummerstorfer. Monitoring Network Traffic by Predicate Logic. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2014. [pdf] [bib]
• Bashar Ahmad and Michael Krieger. LogicGuard Type System. RISC Software GmbH, Unit Advanced Computing Technologies, Hagenberg, Austria. Technical report, February 2014. [pdf] [bib]

2013

• Laura Kovacs, Temur Kutsia (ed.). Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013. Technical report no. 13-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2013. [pdf] [bib]
• Temur Kutsia, Wolfgang Schreiner. Verifying the Soundness of Resource Analysis for LogicGuard Monitors, Part 1. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 16 2013. [pdf] [bib]
• Wolfgang Schreiner, Temur Kutsia. A Resource Analysis for LogicGuard Monitors. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 17 2013. [pdf] [bib]

2012

• Temur Kutsia, Wolfgang Schreiner. LogicGuard Abstract Language. Technical report no. 12-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf] [bib]
• Temur Kutsia, Wolfgang Schreiner. Translation Mechanism for the LogicGuard Abstract Language. Technical report no. 12-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf] [bib]

---

webmaster