Andreas Holzer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
15
Active years
2008–2016
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CONCUR | 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 |
| 2016 | ESORICS | Compiling Low Depth Circuits for Practical Secure Computation. | Niklas Bscher, Andreas Holzer, Alina Weber, Stefan Katzenbeisser |
| 2016 | FM | Error Invariants for Concurrent Traces. | Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies |
| 2015 | FASE | Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. | Johannes Brdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer |
| 2015 | ICST | Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. | Azadeh Farzan, Andreas Holzer, Helmut Veith |
| 2014 | CC | CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. | Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
| 2013 | CCS | The first workshop on language support for privacy-enhancing technologies (PETShop'13). | Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith |
| 2013 | CCS | Challenges in compiler construction for secure two-party computation. | Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz |
| 2013 | ESOP | Information Reuse for Multi-goal Reachability Analyses. | Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith |
| 2013 | TAP | Solving Constraints for Generational Search. | Daniel Ptzl, Andreas Holzer |
| 2012 | APLAS | Vinter: A Vampire-Based Tool for Interpolation. | Krystof Hoder, Andreas Holzer, Laura Kovcs, Andrei Voronkov |
| 2012 | CCS | Secure two-party computations in ANSI C. | Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith |
| 2012 | ISoLA | Bounded-Interference Sequentialization for Testing Concurrent Programs. | Niloofar Razavi, Azadeh Farzan, Andreas Holzer |
| 2012 | TACAS | Proving Reachability Using FShell - (Competition Contribution). | Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2011 | FASE | Seamless Testing for Models and Code. | Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2010 | ISoLA | Timely Time Estimates. | Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig |
| 2009 | ICSEA | Towards Resource Consumption-Aware Programming. | Andreas Holzer, Visar Januzaj, Stefan Kugele |
| 2009 | VMCAI | Query-Driven Program Testing. | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2008 | CAV | FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |