Andreas Holzer
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [j2]Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser:
On compiling Boolean circuits optimized for secure multi-party computation. Formal Methods in System Design 51(2): 308-331 (2017) - 2016
- [c28]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: 6:1-6:15 - [c27]Niklas Büscher, Andreas Holzer, Alina Weber, Stefan Katzenbeisser:
Compiling Low Depth Circuits for Practical Secure Computation. ESORICS (2) 2016: 80-98 - [c26]Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies:
Error Invariants for Concurrent Traces. FM 2016: 370-387 - [c25]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: 81-82 - [i3]Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies:
Error Invariants for Concurrent Traces. CoRR abs/1608.08584 (2016) - 2015
- [j1]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. 605: 62-79 (2015) - [c24]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: 84-99 - [c23]Azadeh Farzan, Andreas Holzer, Helmut Veith:
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. ICST 2015: 1-11 - [c22]Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Compilation for Secure Two-Party Computations. Software Engineering & Management 2015: 143-145 - [i2]Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith:
Local Linearizability. CoRR abs/1502.07118 (2015) - 2014
- [c21]Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. CC 2014: 244-249 - [c20]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering 2014: 97-98 - [c19]Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith:
Concolic Testing of Concurrent Programs. Software Engineering 2014: 101-102 - 2013
- [c18]Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz:
Challenges in compiler construction for secure two-party computation. PETShop@CCS 2013: 3-6 - [c17]Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith:
The first workshop on language support for privacy-enhancing technologies (PETShop'13). ACM Conference on Computer and Communications Security 2013: 1485-1486 - [c16]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Information Reuse for Multi-goal Reachability Analyses. ESOP 2013: 472-491 - [c15]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS 2013: 377-388 - [c14]Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith:
Con2colic testing. ESEC/SIGSOFT FSE 2013: 37-47 - [c13]
- [e1]Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith:
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. ACM 2013, ISBN 978-1-4503-2489-2 [contents] - [i1]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. CoRR abs/1305.6074 (2013) - 2012
- [c12]Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov:
Vinter: A Vampire-Based Tool for Interpolation. APLAS 2012: 148-156 - [c11]Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith:
Secure two-party computations in ANSI C. ACM Conference on Computer and Communications Security 2012: 772-783 - [c10]Niloofar Razavi, Azadeh Farzan, Andreas Holzer:
Bounded-Interference Sequentialization for Testing Concurrent Programs. ISoLA (1) 2012: 372-387 - [c9]Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541 - 2011
- [c8]Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Seamless Testing for Models and Code. FASE 2011: 278-293 - 2010
- [c7]Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith:
An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22 - [c6]Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig:
Timely Time Estimates. ISoLA (1) 2010: 33-46 - [c5]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
How did you specify your test suite. ASE 2010: 407-416
2000 – 2009
- 2009
- [c4]Andreas Holzer, Visar Januzaj, Stefan Kugele:
Towards Resource Consumption-Aware Programming. ICSEA 2009: 490-493 - [c3]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Query-Driven Program Testing. VMCAI 2009: 151-166 - 2008
- [c2]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213 - 2007
- [c1]Andreas Holzer, Johannes Kinder, Helmut Veith:
Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-18 00:27 CEST by the dblp team