Browsing by Author Veith, Helmut
Showing results 1 to 8 of 8
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Katzenbeisser, Stefan | Cryptographic watermarking | Thesis Hochschulschrift   | 2004 |
 | Vegliach, Gil | Monitoring of data-centric business rules and processes | Thesis Hochschulschrift | 2013 |
 | Gmeiner, Annu | Parameterized model checking of fault-tolerant distributed algorithms | Thesis Hochschulschrift | 2015 |
 | Tautschnig, Michael | Query-driven program testing | Thesis Hochschulschrift | 2011 |
 | Samer, Marko | Reasoning about specifications in model checking | Thesis Hochschulschrift | 2004 |
 | Zuleger, Florian | Resource bound analysis of imperative programs | Thesis Hochschulschrift | 2011 |
 | Krall, Stephan | A source-level interpreter for C programs | Thesis Hochschulschrift | 2012 |
 | Konnov, Igor V. ; Veith, Helmut; Widder, Josef | What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms | Inproceedings Konferenzbeitrag | 2016 |