ask others

Andreas Holzer

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/BuscherFHVK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/BuscherFHVK17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/HaasHHKLPSSV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/HaasHHKLPSSV16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esorics/BuscherHW016
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esorics/BuscherHW016
Niklas Büscher, Andreas Holzer, Alina Weber, Stefan Katzenbeisser:
Compiling Low Depth Circuits for Practical Secure Computation. ESORICS (2) 2016: 80-98
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/HolzerSBWW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/HolzerSBWW16
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies:
Error Invariants for Concurrent Traces. FM 2016: 370-387
[c25]
- view
  - electronic edition @ gi.de
- export record
  dblp key:
  - conf/se/LochauBBHRAB16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/se/LochauBBHRAB16
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HolzerSBWW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HolzerSBWW16
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies:
Error Invariants for Concurrent Traces. CoRR abs/1608.08584 (2016)
2015
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/HolzerSTV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/HolzerSTV15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/BurdekLBHRA015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/BurdekLBHRA015
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/FarzanHV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/FarzanHV15
Azadeh Farzan, Andreas Holzer, Helmut Veith:
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. ICST 2015: 1-11
[c22]
- view
  - electronic edition @ gi.de
- export record
  dblp key:
  - conf/se/FranzH0SV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/se/FranzH0SV15
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Compilation for Secure Two-Party Computations. Software Engineering & Management 2015: 143-145
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HaasHHKLPSSV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HaasHHKLPSSV15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cc/FranzHKSV14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cc/FranzHKSV14
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]
- no documents available
- export record
  dblp key:
  - conf/se/BeyerHTV14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/se/BeyerHTV14
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering 2014: 97-98
[c19]
- no documents available
- export record
  dblp key:
  - conf/se/FarzanHRV14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/se/FarzanHRV14
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith:
Concolic Testing of Concurrent Programs. Software Engineering 2014: 101-102
2013
[c18]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ccs/HolzerKKVF13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/HolzerKKVF13
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ccs/FranzHMPV13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/FranzHMPV13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BeyerHTV13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BeyerHTV13
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Information Reuse for Multi-goal Reachability Analyses. ESOP 2013: 472-491
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/HolzerSTV13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/HolzerSTV13
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS 2013: 377-388
[c14]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/FarzanHRV13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/FarzanHRV13
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith:
Con2colic testing. ESEC/SIGSOFT FSE 2013: 37-47
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tap/PotzlH13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tap/PotzlH13
Daniel Pötzl, Andreas Holzer:
Solving Constraints for Generational Search. TAP 2013: 197-213
[e1]
- view
  - table of contents in dblp
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ccs/2013petshop
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/2013petshop
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1305-6074
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1305-6074
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aplas/HoderHKV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aplas/HoderHKV12
Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov:
Vinter: A Vampire-Based Tool for Interpolation. APLAS 2012: 148-156
[c11]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ccs/HolzerFKV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/HolzerFKV12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/RazaviFH12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/RazaviFH12
Niloofar Razavi, Azadeh Farzan, Andreas Holzer:
Bounded-Interference Sequentialization for Testing Concurrent Programs. ISoLA (1) 2012: 372-387
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/HolzerKSTV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/HolzerKSTV12
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541
2011
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/HolzerJKLSTV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/HolzerJKLSTV11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hvc/HolzerTSV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hvc/HolzerTSV10
Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith:
An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/HolzerJKT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/HolzerJKT10
Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig:
Timely Time Estimates. ISoLA (1) 2010: 33-46
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/kbse/HolzerTVS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/HolzerTVS10
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
How did you specify your test suite. ASE 2010: 407-416

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icsea/HolzerJK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icsea/HolzerJK09
Andreas Holzer, Visar Januzaj, Stefan Kugele:
Towards Resource Consumption-Aware Programming. ICSEA 2009: 490-493
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/HolzerSTV09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/HolzerSTV09
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Query-Driven Program Testing. VMCAI 2009: 151-166
2008
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/HolzerSTV08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/HolzerSTV08
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
2007
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurocast/HolzerKV07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurocast/HolzerKV07
Andreas Holzer, Johannes Kinder, Helmut Veith:
Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504

Coauthor Index

see FAQ

maintained by

at