Andreas Holzer

 

I’m co-organizing the PETShop workshop: http://forsyte.at/petshop-2013/.

Address:
Andreas Holzer
Technische Universität Wien
Institut für Informationssysteme 184/4
Favoritenstraße 9–11
1040 Wien
Austria

Room: HD0313 (how to get there)
Phone: +43 (1) 58801 – 18467
Email: ta.etysrofnull@rezloh
Web: http://forsyte.at/~holzer/

curriculum vitae

Student Projects

I’m offering student projects, see Teaching.

Software

Publications

2014
[27] CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (Albert Cohen, ed.), volume 8409 of Lecture Notes in Computer Science, pages 244-249, 2014, Springer.
[bibtex] [pdf] [doi]
[26]Concolic Testing of Concurrent Programs
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
2014, CAV Workshop (EC)^2.
[bibtex]
[25]Concolic Testing of Concurrent Programs
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland, pages 101-102, 2014.
[bibtex]
[24]Reusing Information in Multi-Goal Reachability Analyses
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland, pages 97-98, 2014.
[bibtex]
2013
[23] Challenges in Compiler Construction for Secure Two-Party Computation
Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz
(Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith, eds.), pages 3-6, 2013, ACM.
[bibtex] [pdf] [doi]
[22] On the Structure and Complexity of Rational Sets of Regular Languages
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India (Anil Seth, Nisheeth K. Vishnoi, eds.), volume 24 of LIPIcs, pages 377-388, 2013, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[21] On the Structure and Complexity of Rational Sets of Regular Languages
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
CoRR, volume abs/1305.6074, 2013.
[bibtex] [pdf]
[20]Solving Constraints for Generational Search
Daniel Pötzl, Andreas Holzer
Tests and Proofs - 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Margus Veanes, Luca Viganò, eds.), volume 7942 of Lecture Notes in Computer Science, pages 197-213, 2013, Springer.
[bibtex]
[19] Con2colic testing
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013 (Bertrand Meyer, Luciano Baresi, Mira Mezini, eds.), pages 37-47, 2013, ACM.
[bibtex] [pdf] [doi]
[18] Information Reuse for Multi-goal Reachability Analyses
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
ESOP, pages 472-491, 2013.
[bibtex] [pdf] [doi]
[17] The first workshop on language support for privacy-enhancing technologies (PETShop'13)
Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
ACM Conference on Computer and Communications Security (Ahmad-Reza Sadeghi, Virgil D. Gligor, Moti Yung, eds.), pages 1485-1486, 2013, ACM.
[bibtex] [pdf] [doi]
2012
[16]Vinter: A Vampire-Based Tool for Interpolation
Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
APLAS, December 2012, Springer.
[bibtex]
[15] Proving Reachability Using FShell - (Competition Contribution)
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
TACAS, volume 7214 of Lecture Notes in Computer Science, pages 538-541, 2012, Springer.
[bibtex] [pdf]
[14] Bounded-Interference Sequentialization for Testing Concurrent Programs
Niloofar Razavi, Azadeh Farzan, Andreas Holzer
ISoLA (1), volume 7609 of LNCS, pages 372-387, 2012.
[bibtex] [pdf]
[13] Secure Two-party Computations in ANSI C
Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith
ACM Conference on Computer and Communications Security, pages 772-783, 2012.
[bibtex] [pdf]
2011
[12]An Introduction to Test Specification in FQL
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proceedings of 6th International Haifa Verification Conference (HVC 2011) (Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz, eds.), volume 6504 of Lecture Notes in Computer Science, pages 9-22, October 2011, Springer.
[bibtex]
[11]Seamless Testing for Models and Code
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011), volume 6603 of Lecture Notes in Computer Science, pages 278-293, April 2011, Springer.
[bibtex]
2010
[10]Timely Time Estimates
Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig
Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010) (Tiziana Margaria, Bernhard Steffen, eds.), volume 6415 of Lecture Notes in Computer Science, pages 33-46, October 2010, Springer.
[bibtex] [doi]
[9]How did you specify your test suite ?
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 407-416, September 2010, ACM.
[bibtex]
2009
[8]Slope Testing for Activity Diagrams and Safety Critical Software
Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, Boris Langer
October 2009, Technical report, Technische Universität Darmstadt.
[bibtex]
[7]A Precise Specification Framework for White Box Program Testing
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
September 2009, Technical report, Technische Universität Darmstadt.
[bibtex]
[6]Query-Driven Program Testing
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, pages 151-166, January 2009, Springer.
[bibtex]
[5]Towards Resource Consumption-Aware Programming
Andreas Holzer, Visar Januzaj, Stefan Kugele
, volume 0, pages 490-493, 2009, IEEE Computer Society.
[bibtex] [doi]
[4]Dependency Coverage Criteria with FQL
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2009, Technical report, Technische Universität Darmstadt.
[bibtex]
2008
[3]Query-Driven Program Testing
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
October 2008, Technical report, Technische Universität Darmstadt.
[bibtex]
[2]FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), volume 5123 of Lecture Notes in Computer Science, pages 209-213, July 2008, Springer.
[bibtex]
2007
[1]Using Verification Technology to Specify and Detect Malware
Andreas Holzer, Johannes Kinder, Helmut Veith
11th International Conference on Computer Aided Systems Theory (EUROCAST 2007), volume 4739 of Lecture Notes in Computer Science, pages 497-504, 2007, Springer.
[bibtex]
m4s0n501