Andreas Holzer

According to our database, Andreas Holzer authored at least 30 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

On compiling Boolean circuits optimized for secure multi-party computation.

Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser

Formal Methods Syst. Des., 2017

2016

On facilitating reuse in multi-goal test-suite generation for software product lines.

Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer

Proceedings of the Software Engineering 2016, 2016

Error Invariants for Concurrent Traces.

Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies

Proceedings of the FM 2016: Formal Methods, 2016

Compiling Low Depth Circuits for Practical Secure Computation.

Niklas Büscher, Andreas Holzer, Alina Weber, Stefan Katzenbeisser

Proceedings of the Computer Security - ESORICS 2016, 2016

Local Linearizability for Concurrent Container-Type Data Structures.

Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Closure properties and complexity of rational sets of regular languages.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Theor. Comput. Sci., 2015

Local Linearizability.

Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith

CoRR, 2015

Compilation for Secure Two-Party Computations.

Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution.

Azadeh Farzan, Andreas Holzer, Helmut Veith

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

Concolic Testing of Concurrent Programs.

Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Reusing Information in Multi-Goal Reachability Analyses.

Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.

Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Solving Constraints for Generational Search.

Daniel Pötzl, Andreas Holzer

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Con2colic testing.

Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

On the Structure and Complexity of Rational Sets of Regular Languages.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Information Reuse for Multi-goal Reachability Analyses.

Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith

Proceedings of the Programming Languages and Systems, 2013

Challenges in compiler construction for secure two-party computation.

Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz

Proceedings of the PETShop'13, 2013

The first workshop on language support for privacy-enhancing technologies (PETShop'13).

Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Proving Reachability Using FShell - (Competition Contribution).

Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Bounded-Interference Sequentialization for Testing Concurrent Programs.

Niloofar Razavi, Azadeh Farzan, Andreas Holzer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Secure two-party computations in ANSI C.

Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith

Proceedings of the ACM Conference on Computer and Communications Security, 2012

Vinter: A Vampire-Based Tool for Interpolation.

Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Seamless Testing for Models and Code.

Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

How did you specify your test suite.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the ASE 2010, 2010

Timely Time Estimates.

Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Introduction to Test Specification in FQL.

Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith

Proceedings of the Hardware and Software: Verification and Testing, 2010

2009

Query-Driven Program Testing.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Verification, 2009

Towards Resource Consumption-Aware Programming.

Andreas Holzer, Visar Januzaj, Stefan Kugele

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2008

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Using Verification Technology to Specify and Detect Malware.

Andreas Holzer, Johannes Kinder, Helmut Veith

Proceedings of the Computer Aided Systems Theory, 2007