Folgen
Andreas Holzer
Titel
Zitiert von
Zitiert von
Jahr
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
1622012
Con2colic testing
A Farzan, A Holzer, N Razavi, H Veith
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
862013
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement: Tool Paper
A Holzer, C Schallhart, M Tautschnig, H Veith
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
842008
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
802014
How did you specify your test suite
A Holzer, C Schallhart, M Tautschnig, H Veith
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
562010
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
552015
Query-driven program testing
A Holzer, C Schallhart, M Tautschnig, H Veith
Verification, Model Checking, and Abstract Interpretation: 10th …, 2009
552009
Information reuse for multi-goal reachability analyses
D Beyer, A Holzer, M Tautschnig, H Veith
European Symposium on Programming, 472-491, 2013
372013
Using verification technology to specify and detect malware
A Holzer, J Kinder, H Veith
International Conference on Computer Aided Systems Theory, 497-504, 2007
372007
Compiling low depth circuits for practical secure computation
N Büscher, A Holzer, A Weber, S Katzenbeisser
Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016
362016
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
242016
An introduction to test specification in FQL
A Holzer, M Tautschnig, C Schallhart, H Veith
Hardware and Software: Verification and Testing: 6th International Haifa …, 2011
152011
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, 308-331, 2017
132017
Vinter: A Vampire-based tool for interpolation
K Hoder, A Holzer, L Kovács, A Voronkov
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012
122012
Local linearizability
A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ...
arXiv preprint arXiv:1502.07118, 2015
92015
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
92011
Bounded-interference sequentialization for testing concurrent programs
N Razavi, A Farzan, A Holzer
International Symposium On Leveraging Applications of Formal Methods …, 2012
82012
Towards resource consumption-aware programming
A Holzer, V Januzaj, S Kugele
2009 Fourth International Conference on Software Engineering Advances, 490-493, 2009
62009
Error invariants for concurrent traces
A Holzer, D Schwartz-Narbonne, M Tabaei Befrouei, G Weissenbacher, ...
International Symposium on Formal Methods, 370-387, 2016
52016
Proving Reachability Using FShell (Competition Contribution)
A Holzer, D Kroening, C Schallhart, M Tautschnig, H Veith
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
52012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20