Andreas Holzer

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