Using Verification Technology to Specify and Detect Malware. - Andreas Holzer; Johannes Kinder; Helmut Veith (EUROCAST, 2007)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (CAV, 2008)

Towards Resource Consumption-Aware Programming. - Andreas Holzer; Visar Januzaj; Stefan Kugele (ICSEA, 2009)

Query-Driven Program Testing. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (VMCAI, 2009)

An Introduction to Test Specification in FQL. - Andreas Holzer; Michael Tautschnig; Christian Schallhart; Helmut Veith (Haifa Verification Conference, 2010)

Timely Time Estimates. - Andreas Holzer; Visar Januzaj; Stefan Kugele; Michael Tautschnig (ISoLA (1), 2010)

How did you specify your test suite. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (ASE, 2010)

Seamless Testing for Models and Code. - Andreas Holzer; Visar Januzaj; Stefan Kugele; Boris Langer; Christian Schallhart; Michael Tautschnig; Helmut Veith (FASE, 2011)

Vinter: A Vampire-Based Tool for Interpolation. - Krystof Hoder; Andreas Holzer; Laura Kovács; Andrei Voronkov (APLAS, 2012)

Secure two-party computations in ANSI C. - Andreas Holzer; Martin Franz; Stefan Katzenbeisser 001; Helmut Veith (CCS, 2012)

Bounded-Interference Sequentialization for Testing Concurrent Programs. - Niloofar Razavi; Azadeh Farzan; Andreas Holzer (ISoLA (1), 2012)

Proving Reachability Using FShell - (Competition Contribution). - Andreas Holzer; Daniel Kroening; Christian Schallhart; Michael Tautschnig; Helmut Veith (TACAS, 2012)

The first workshop on language support for privacy-enhancing technologies (PETShop'13). - Martin Franz; Andreas Holzer; Rupak Majumdar; Bryan Parno; Helmut Veith (CCS, 2013)

Challenges in compiler construction for secure two-party computation. - Andreas Holzer; Nikolaos P. Karvelas; Stefan Katzenbeisser 001; Helmut Veith; Martin Franz (PETShop@CCS, 2013)

Information Reuse for Multi-goal Reachability Analyses. - Dirk Beyer 001; Andreas Holzer; Michael Tautschnig; Helmut Veith (ESOP, 2013)

On the Structure and Complexity of Rational Sets of Regular Languages. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (FSTTCS, 2013)

Con2colic testing. - Azadeh Farzan; Andreas Holzer; Niloofar Razavi; Helmut Veith (ESEC/SIGSOFT FSE, 2013)

Solving Constraints for Generational Search. - Daniel Pötzl; Andreas Holzer (TAP@STAF, 2013)

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. - Martin Franz; Andreas Holzer; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (CC, 2014)

Reusing Information in Multi-Goal Reachability Analyses. - Dirk Beyer 001; Andreas Holzer; Michael Tautschnig; Helmut Veith (Software Engineering, 2014)

Concolic Testing of Concurrent Programs. - Azadeh Farzan; Andreas Holzer; Niloofar Razavi; Helmut Veith (Software Engineering, 2014)

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. - Azadeh Farzan; Andreas Holzer; Helmut Veith (ICST, 2015)

Compilation for Secure Two-Party Computations. - Martin Franz; Andreas Holzer; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (Software Engineering & Management, 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)

Closure properties and complexity of rational sets of regular languages. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (Theor. Comput. Sci., 2015)

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 (CONCUR, 2016)

Compiling Low Depth Circuits for Practical Secure Computation. - Niklas Büscher; Andreas Holzer; Alina Weber; Stefan Katzenbeisser 001 (ESORICS (2), 2016)

Error Invariants for Concurrent Traces. - Andreas Holzer; Daniel Schwartz-Narbonne; Mitra Tabaei Befrouei; Georg Weissenbacher; Thomas Wies (FM, 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 001 (Software Engineering, 2016)

On compiling Boolean circuits optimized for secure multi-party computation. - Niklas Büscher; Martin Franz; Andreas Holzer; Helmut Veith; Stefan Katzenbeisser 001 (Formal Methods Syst. Des., 2017)