Name Card

Full name Familienname, Vorname
Holzer, Andreas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 23 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas Error Invariants for Concurrent TracesKonferenzbeitrag Inproceedings 2016
2Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic ExecutionKonferenzbeitrag Inproceedings2015
3Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Closure properties and complexity of rational sets of regular languagesArtikel Article2015
4Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut Compilation for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2015
5Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Concolic Testing of Concurrent ProgramsPräsentation Presentation2014
6Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Concolic Testing of Concurrent ProgramsKonferenzbeitrag Inproceedings 2014
7Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut CBMC-GC: An ANSI C Compiler for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2014
8Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Reusing Information in Multi-Goal Reachability AnalysesKonferenzbeitrag Inproceedings 2014
9Franz, Martin ; Holzer, Andreas ; Majumdar, Rupak ; Parno, Bryan ; Veith, Helmut The first workshop on language support for privacy-enhancing technologies (PETShop'13)Konferenzbeitrag Inproceedings2013
10Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Con2colic testingKonferenzbeitrag Inproceedings 2013
11Pötzl, Daniel ; Holzer, Andreas Solving Constraints for Generational SearchKonferenzbeitrag Inproceedings 2013
12Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut On the Structure and Complexity of Rational Sets of Regular LanguagesKonferenzbeitrag Inproceedings 2013
13Holzer, Andreas Markus Michael Query-based test case generationThesis Hochschulschrift2013
14Holzer, Andreas ; Karvelas, Nikolaos ; Katzenbeisser, Stefan ; Veith, Helmut Challenges in compiler construction for secure two-party computationKonferenzbeitrag Inproceedings2013
15Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Information Reuse for Multi-goal Reachability AnalysesKonferenzbeitrag Inproceedings 2013
16Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012
17Razavi, Niloofar ; Farzan, Azadeh ; Holzer, Andreas Bounded-Interference Sequentialization for Testing Concurrent ProgramsKonferenzbeitrag Inproceedings 2012
18Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012
19Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut Secure two-party computations in ANSI CKonferenzbeitrag Inproceedings 2012
20Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Langer, Boris ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Seamless Testing for Models and CodeKonferenzbeitrag Inproceedings2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dobiasch Martin - 2014 - Concolic testing of concurrent software in the context...pdf.jpgDobiasch, Martin Concolic testing of concurrent software in the context of weak memory modelsThesis Hochschulschrift 2014
2Krall Stephan - 2012 - A source-level interpreter for C programs.pdf.jpgKrall, Stephan A source-level interpreter for C programsThesis Hochschulschrift 2012