| 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 | 167 | 2012 |
| Con2colic testing A Farzan, A Holzer, N Razavi, H Veith Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 87 | 2013 |
| 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 | 86 | 2014 |
| 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 | 84 | 2008 |
| 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 | 58 | 2010 |
| 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 | 57 | 2015 |
| Query-driven program testing A Holzer, C Schallhart, M Tautschnig, H Veith Verification, Model Checking, and Abstract Interpretation: 10th …, 2009 | 57 | 2009 |
| 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 | 39 | 2016 |
| Information reuse for multi-goal reachability analyses D Beyer, A Holzer, M Tautschnig, H Veith European Symposium on Programming, 472-491, 2013 | 39 | 2013 |
| Using verification technology to specify and detect malware A Holzer, J Kinder, H Veith International Conference on Computer Aided Systems Theory, 497-504, 2007 | 37 | 2007 |
| 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 | 28 | 2016 |
| 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 | 15 | 2011 |
| 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 | 13 | 2017 |
| 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 | 12 | 2012 |
| Local linearizability A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ... arXiv preprint arXiv:1502.07118, 2015 | 9 | 2015 |
| 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 | 9 | 2011 |
| Bounded-interference sequentialization for testing concurrent programs N Razavi, A Farzan, A Holzer International Symposium On Leveraging Applications of Formal Methods …, 2012 | 8 | 2012 |
| Error invariants for concurrent traces A Holzer, D Schwartz-Narbonne, M Tabaei Befrouei, G Weissenbacher, ... International Symposium on Formal Methods, 370-387, 2016 | 6 | 2016 |
| Towards resource consumption-aware programming A Holzer, V Januzaj, S Kugele 2009 Fourth International Conference on Software Engineering Advances, 490-493, 2009 | 6 | 2009 |
| 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 | 5 | 2012 |
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
