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
[25]Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith. CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. In 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]
[24]Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith. Concolic Testing of Concurrent Programs. 2014, Unpublished contribution to: CAV Workshop (EC)^2. [bibtex]
2013
[23]Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz. Challenges in Compiler Construction for Secure Two-Party Computation. In (Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith, eds.), pages 3-6, 2013, ACM. [bibtex] [pdf] [doi]
[22]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. On the Structure and Complexity of Rational Sets of Regular Languages. In 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]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. On the Structure and Complexity of Rational Sets of Regular Languages. In CoRR, volume abs/1305.6074, 2013. [bibtex] [pdf]
[20]Daniel Pötzl, Andreas Holzer. Solving Constraints for Generational Search. In 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]Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith. Con2colic testing. In 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]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith. Information Reuse for Multi-goal Reachability Analyses. In ESOP, pages 472-491, 2013. [bibtex] [pdf] [doi]
[17]Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith. The first workshop on language support for privacy-enhancing technologies (PETShop'13). In 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]Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov. Vinter: A Vampire-Based Tool for Interpolation. In APLAS, December 2012, Springer. [bibtex]
[15]Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith. Proving Reachability Using FShell - (Competition Contribution). In TACAS, volume 7214 of Lecture Notes in Computer Science, pages 538-541, 2012, Springer. [bibtex] [pdf]
[14]Niloofar Razavi, Azadeh Farzan, Andreas Holzer. Bounded-Interference Sequentialization for Testing Concurrent Programs. In ISoLA (1), volume 7609 of LNCS, pages 372-387, 2012. [bibtex] [pdf]
[13]Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith. Secure Two-party Computations in ANSI C. In ACM Conference on Computer and Communications Security, pages 772-783, 2012. [bibtex] [pdf]
2011
[12]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. An Introduction to Test Specification in FQL. In 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]Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith. Seamless Testing for Models and Code. In 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]Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig. Timely Time Estimates. In 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]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. How did you specify your test suite ?. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 407-416, September 2010, ACM. [bibtex]
2009
[8]Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, Boris Langer. Slope Testing for Activity Diagrams and Safety Critical Software. October 2009, Technical report, Technische Universität Darmstadt. [bibtex]
[7]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. A Precise Specification Framework for White Box Program Testing. September 2009, Technical report, Technische Universität Darmstadt. [bibtex]
[6]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. Query-Driven Program Testing. In 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]Andreas Holzer, Visar Januzaj, Stefan Kugele. Towards Resource Consumption-Aware Programming. In , volume 0, pages 490-493, 2009, IEEE Computer Society. [bibtex] [doi]
[4]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. Dependency Coverage Criteria with FQL. 2009, Technical report, Technische Universität Darmstadt. [bibtex]
2008
[3]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. Query-Driven Program Testing. October 2008, Technical report, Technische Universität Darmstadt. [bibtex]
[2]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith. FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. In 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]Andreas Holzer, Johannes Kinder, Helmut Veith. Using Verification Technology to Specify and Detect Malware. In 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007), volume 4739 of Lecture Notes in Computer Science, pages 497-504, 2007, Springer. [bibtex]
p5rn7vb