RISC Publications and Technical Reports of Laura Ildiko Kovacs
2007
L. Kovacs.Aligator: a Package for Reasoning about Loops. In: Proc. of 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), , pp. -.October2007.Yerevan, Armenia,Short paper. to appear.[bib]
L. Kovacs.Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema. In: Proc. of WING'07, RISC, Austria, M. Giese and T. Jebelean (ed.), pp. 56-69.2007.-.RISC Report Series No. 07-07.[bib]
L. Kovacs.Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema. RISC, Johannes Kepler University Linz, Austria. PhD Thesis.October2007.RISC Technical Report No. 07-16.[pdf][bib]
L. Kovacs.Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema. Technical report no. 07-16 in RISC Report Series, University of Linz, Austria. PhD Thesis,October2007.[bib]
2006
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger.Theorema: Towards Computer-Aided Mathematical Theory Exploration.Journal of Applied Logic4(4), pp. 470-504.2006.ISSN 1570-8683.[url][pdf][bib]
T. Jebelean, L. Kovacs, N. Popov.Experimental Program Verification in the Theorema System.Int. Journal on Software Tools for Technology Transfer (STTT), pp. _-_.2006.Springer, ISSN: 1433-2779 (Paper) 1433-2787 (Online).in press.[pdf][bib]
L. Kovacs, T. Jebelean.Finding Polynomial Invariants for Imperative Loops in the Theorema System. Technical report no. 03-06 in RISC Report Series, University of Linz, Austria. 2006.[pdf][bib]
L. Kovacs, T. Jebelean.Finding Polynomial Invariants for Imperative Loops in the Theorema System. In: Proceedings of Verify'06 Workshop, IJCAR'06, The 2006 Federated Logic Conference, S. Autexier and H. Mantel (ed.), pp. 52-67.August 15-162006.[url][pdf][bib]
L. Kovacs, N. Popov, T. Jebelean.Combining Logic and Algebraic Techniques for Program Verification in Theorema. In: Proceedings ISOLA 2006, T. Margaria, A. Philippou, B. Steffen (ed.), Proceedings of Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2006), pp. 59-68.November2006.IEEE,Paphos, Cyprus,ISBN 978-0-7695-3071-0.[pdf][bib]
L. Kovacs, T. Jebelean, D. Kapur.Using Symbolic Summation and Polynomial Algebra for Imperative Program Verification in Theorema. RISC-Linz. Technical report, 2006.submitted to MatCom Journal.[pdf][bib]
A. Kovacs, Gh. Tigan, L. Kovacs, C. Milici.Computer Assisted Mathematics (in romanian: "Matematic Superioare Asistae de Calculator").1st edition,2006.Politechnica Publisher, Timisoara,ISBN (10) 973-625-346-5, ISBN (13) 978-973-625-346-1.[bib]
2005
L. Kovacs, T. Jebelean, A. Kovacs.Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals. In: Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148, F.Fazekas et al (ed.), pp. --.26-29 May2005.Technical University of Budapest, PAMM-Centre,Balatonalmadi, Hungary,-.[pdf][bib]
A. Kovacs, L. Kovacs.The Lagrange Interpolation Formula in Determining the Fluid's Velocity Potential through Profile Grids. In: Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148, F.Fazekas et al (ed.), pp. --.26-29 May2005.Technical University of Budapest, PAMM-Centre,Balatonalmadi, Hungary,-.[pdf][bib]
L. Kovacs, T. Jebelean.An Algorithm for Automated Generation of Invariants for Loops with Conditionals. In: Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), D. Petcu et al (ed.), pp. 16-19.September 25-282005.Department of Computer Science, West University of Timisoara, Romania,-.to appear in IEEE journal.[pdf][bib]
L. Kovacs.Using Combinatorial and Algebraic Techniques for Automatic Generation of Loop Invariants. Technical report no. 05-16 in RISC Report Series, University of Linz, Austria. 2005.[zip][bib]
L. Kovacs, N. Popov, T. Jebelean.Verification Environment in Theorema.Annals of Mathematics, Computing and Teleinformatics (AMCT)1(2), pp. 27-34.2005.ISSN 1109-9305.[url][pdf][bib]