Andreas Holzer

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 6

Top Topics

Regular Languages

Method Invocation

Concurrent Programs

Closure Properties

Top Venues

Software Engineering

Publications

Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser
On compiling Boolean circuits optimized for secure multi-party computation. Formal Methods Syst. Des. 51 (2) (2017)
Niklas Büscher, Andreas Holzer, Alina Weber, Stefan Katzenbeisser
Compiling Low Depth Circuits for Practical Secure Computation. ESORICS (2) (2016)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability for Concurrent Container-Type Data Structures. CONCUR (2016)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. CoRR (2016)
Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
On facilitating reuse in multi-goal test-suite generation for software product lines. Software Engineering (2016)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. FM (2016)
Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. FASE (2015)
Azadeh Farzan, Andreas Holzer, Helmut Veith
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. ICST (2015)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. 605 (2015)
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Compilation for Secure Two-Party Computations. Software Engineering & Management (2015)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability. CoRR (2015)
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. CC (2014)
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering (2014)
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Concolic Testing of Concurrent Programs. Software Engineering (2014)
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Information Reuse for Multi-goal Reachability Analyses. ESOP (2013)
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Con2colic testing. ESEC/SIGSOFT FSE (2013)
Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
The first workshop on language support for privacy-enhancing technologies (PETShop'13). CCS (2013)
Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz
Challenges in compiler construction for secure two-party computation. PETShop@CCS (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages CoRR (2013)
Daniel Pötzl, Andreas Holzer
Solving Constraints for Generational Search. TAP@STAF (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS (2013)
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proving Reachability Using FShell - (Competition Contribution). TACAS (2012)
Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
Vinter: A Vampire-Based Tool for Interpolation. APLAS (2012)
Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith
Secure two-party computations in ANSI C. CCS (2012)
Niloofar Razavi, Azadeh Farzan, Andreas Holzer
Bounded-Interference Sequentialization for Testing Concurrent Programs. ISoLA (1) (2012)
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Seamless Testing for Models and Code. FASE (2011)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
How did you specify your test suite. ASE (2010)
Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig
Timely Time Estimates. ISoLA (1) (2010)
Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith
An Introduction to Test Specification in FQL. Haifa Verification Conference (2010)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Query-Driven Program Testing. VMCAI (2009)
Andreas Holzer, Visar Januzaj, Stefan Kugele
Towards Resource Consumption-Aware Programming. ICSEA (2009)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV (2008)
Andreas Holzer, Johannes Kinder, Helmut Veith
Using Verification Technology to Specify and Detect Malware. EUROCAST (2007)