RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications 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 '		Talks in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '

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

2016

• David M. Cerna and Wolfgang Schreiner, Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151. 2016. 978-3-319-46981-2. [doi] [bib]

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]

All Years >>

---

webmaster