Prefix title Titel (vorangestellt)
Dipl.-Ing.(FH) Dr.techn.
 
Full name Familienname, Vorname
Holzer, Andreas
 
Postfix title Titel (nachgestellt)
MSc
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012
2Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Tautschnig, Michael ; Margaria, Tiziana ; Steffen, Bernhard Timely Time EstimatesKonferenzbeitrag Inproceedings2010
3Franz, Martin ; Holzer, Andreas ; Majumdar, Rupak ; Parno, Bryan ; Veith, Helmut The first workshop on language support for privacy-enhancing technologies (PETShop'13)Konferenzbeitrag Inproceedings2013
4Pötzl, Daniel ; Holzer, Andreas Solving Constraints for Generational SearchKonferenzbeitrag Inproceedings 2013
5Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut Secure two-party computations in ANSI CKonferenzbeitrag Inproceedings 2012
6Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Langer, Boris ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut ; Goos, G. ; Hartmanis, J. ; van Leeuwen, J. Seamless Testing for Models and CodeKonferenzbeitrag Inproceedings2011
7Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Reusing Information in Multi-Goal Reachability AnalysesKonferenzbeitrag Inproceedings 2014
8Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012
9Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic ExecutionKonferenzbeitrag Inproceedings2015
10Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut On the Structure and Complexity of Rational Sets of Regular LanguagesKonferenzbeitrag Inproceedings 2013
11Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Information Reuse for Multi-goal Reachability AnalysesKonferenzbeitrag Inproceedings 2013
12Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut ; Pecheur, Charles ; Andrews, Jamie ; Di Nitto, Elisabetta How did you specify your test suiteKonferenzbeitrag Inproceedings 2010
13Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas Error Invariants for Concurrent TracesKonferenzbeitrag Inproceedings 2016
14Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Concolic Testing of Concurrent ProgramsKonferenzbeitrag Inproceedings 2014
15Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Concolic Testing of Concurrent ProgramsPräsentation Presentation2014
16Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Con2colic testingKonferenzbeitrag Inproceedings 2013
17Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut Compilation for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2015
18Holzer, Andreas ; Karvelas, Nikolaos ; Katzenbeisser, Stefan ; Veith, Helmut Challenges in compiler construction for secure two-party computationKonferenzbeitrag Inproceedings2013
19Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut CBMC-GC: An ANSI C Compiler for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2014
20Razavi, Niloofar ; Farzan, Azadeh ; Holzer, Andreas Bounded-Interference Sequentialization for Testing Concurrent ProgramsKonferenzbeitrag Inproceedings 2012

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