Andreas Holzer
Title
Cited by
Cited by
Year
Secure two-party computations in ANSI C
A Holzer, M Franz, S Katzenbeisser, H Veith
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
1292012
Con2colic testing
A Farzan, A Holzer, N Razavi, H Veith
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
682013
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
A Holzer, C Schallhart, M Tautschnig, H Veith
International Conference on Computer Aided Verification, 209-213, 2008
682008
CBMC-GC: an ANSI C compiler for secure two-party computations
M Franz, A Holzer, S Katzenbeisser, C Schallhart, H Veith
International Conference on Compiler Construction, 244-249, 2014
452014
Query-driven program testing
A Holzer, C Schallhart, M Tautschnig, H Veith
International Workshop on Verification, Model Checking, and Abstract …, 2009
442009
How did you specify your test suite
A Holzer, C Schallhart, M Tautschnig, H Veith
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
382010
Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines
J Bürdek, M Lochau, S Bauregger, A Holzer, A von Rhein, S Apel, ...
Fundamental Approaches to Software Engineering - 18th International …, 2015
332015
Using verification technology to specify and detect malware
A Holzer, J Kinder, H Veith
International Conference on Computer Aided Systems Theory, 497-504, 2007
292007
Compiling low depth circuits for practical secure computation
N Buescher, A Holzer, A Weber, S Katzenbeisser
European Symposium on Research in Computer Security, 80-98, 2016
252016
Information reuse for multi-goal reachability analyses
D Beyer, A Holzer, M Tautschnig, H Veith
European Symposium on Programming, 472-491, 2013
252013
Local linearizability for concurrent container-type data structures
A Haas, TA Henzinger, A Holzer, C Kirsch, M Lippautz, H Payer, A Sezgin, ...
Leibniz International Proceedings in Informatics 59, 2016
132016
An Introduction to Test Specification in FQL
A Holzer, M Tautschnig, C Schallhart, H Veith
LECTURE NOTES IN COMPUTER SCIENCE 1 (6504), 9-22, 2011
112011
An introduction to test specification in FQL
A Holzer, M Tautschnig, C Schallhart, H Veith
Haifa Verification Conference, 9-22, 2010
112010
On compiling boolean circuits optimized for secure multi-party computation
N Büscher, M Franz, A Holzer, H Veith, S Katzenbeisser
Formal Methods in System Design 51 (2), 308-331, 2017
92017
Local linearizability
A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ...
arXiv preprint arXiv:1502.07118, 2015
82015
Seamless testing for models and code
A Holzer, V Januzaj, S Kugele, B Langer, C Schallhart, M Tautschnig, ...
International Conference on Fundamental Approaches to Software Engineering …, 2011
82011
Vinter: A Vampire-Based tool for interpolation
K Hoder, A Holzer, L Kovács, A Voronkov
Asian Symposium on Programming Languages and Systems, 148-156, 2012
62012
Bounded-interference sequentialization for testing concurrent programs
N Razavi, A Farzan, A Holzer
International Symposium On Leveraging Applications of Formal Methods …, 2012
62012
Error invariants for concurrent traces
A Holzer, D Schwartz-Narbonne, MT Befrouei, G Weissenbacher, T Wies
International Symposium on Formal Methods, 370-387, 2016
42016
Proving Reachability Using FShell
A Holzer, D Kroening, C Schallhart, M Tautschnig, H Veith
International Conference on Tools and Algorithms for the Construction and …, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20