Get started
Author

Andreas Holzer

Observed name: Holzer, Andreas
Institution: TU Wien
OpenAlex ID: A5034612984
Secure two-party computations in ANSI C
2012 · Andreas Holzer, Martin Franz, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 127
Con2colic testing
2013 · Azadeh Farzan, Andreas Holzer, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 64
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
2008 · Andreas Holzer, Christian Schallhart, et al. · Lecture notes in computer science · 53
PDF
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations
2014 · Martin Franz, Andreas Holzer, et al. · Lecture notes in computer science · 47
PDF
How did you specify your test suite
2010 · Andreas Holzer, Christian Schallhart, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 46
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines
2015 · Johannes Bürdek, Malte Lochau, et al. · Lecture notes in computer science · 43
PDF
Query-Driven Program Testing
2008 · Andreas Holzer, Christian Schallhart, et al. · Lecture notes in computer science · 39
Compiling Low Depth Circuits for Practical Secure Computation
2016 · Niklas Buescher, Andreas Holzer, et al. · Lecture notes in computer science · 32
Information Reuse for Multi-goal Reachability Analyses
2013 · Dirk Beyer, Andreas Holzer, et al. · Lecture notes in computer science · 27
Using Verification Technology to Specify and Detect Malware
2007 · Andreas Holzer, Johannes Kinder, et al. · Lecture notes in computer science · 27
On compiling Boolean circuits optimized for secure multi-party computation
2017 · Niklas Büscher, Martin Franz, et al. · Formal Methods in System Design · 9
Vinter: A Vampire-Based Tool for Interpolation
2012 · Kryštof Hoder, Andreas Holzer, et al. · Lecture notes in computer science · 9
An Introduction to Test Specification in FQL
2011 · Andreas Holzer, Michael Tautschnig, et al. · Lecture notes in computer science · 9
Error Invariants for Concurrent Traces
2016 · Andreas Holzer, Daniel Schwartz-Narbonne, et al. · Lecture notes in computer science · 7
Local Linearizability for Concurrent Container-Type Data Structures
2016 · Haas, Andreas, Henzinger, Thomas A., et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 7
PDF
Bounded-Interference Sequentialization for Testing Concurrent Programs
2012 · Niloofar Razavi, Azadeh Farzan, et al. · Lecture notes in computer science · 7
Proving Reachability Using FShell
2012 · Andreas Holzer, Daniel Kroening, et al. · Lecture notes in computer science · 6
PDF
Local Linearizability
2015 · Haas, Andreas, Henzinger, Thomas A., et al. · arXiv (Cornell University) · 5
PDF
Seamless Testing for Models and Code
2011 · Andreas Holzer, Visar Januzaj, et al. · Lecture notes in computer science · 5
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution
2015 · Azadeh Farzan, Andreas Holzer, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 4
Timely Time Estimates
2010 · Andreas Holzer, Visar Januzaj, et al. · Lecture notes in computer science · 3
Towards Resource Consumption-Aware Programming
2009 · Andreas Holzer, Visar Januzaj, et al. · International Conference on Software Engineering Advances · 3
On the Structure and Complexity of Rational Sets of Regular Languages
2013 · Holzer, Andreas, Schallhart, Christian, et al. · arXiv (Cornell University) · 2
PDF
Solving Constraints for Generational Search
2013 · Daniel Pötzl, Andreas Holzer · Lecture notes in computer science · 2
Proving Reachability Using FShell (Competition Contribution)
2012 · Andreas Holzer, Daniel Kroening, et al. · Tools and Algorithms for Construction and Analysis of Systems · 2
Works count: 41
Citation count: 589
H-index: 10
I10-index: 10
Year
Topic
Type