Veith, Helmut

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Veith, Helmut
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Access Type:  Open Access

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

PreviewAuthor(s)TitleTypeIssue Date
1Sinn Moritz - 2017 - Complexity and Resource Bound Analysis of Imperative...pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel 2017

Contributing Publications Mitbeteiligte Publikationen

Filter:
Access Type:  Open Access

Results 1-8 of 8 (Search time: 0.008 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ehsani Anna Parisa - 2015 - Der Animationsfilm im Informationsdesign die Eignung...pdf.jpgEhsani, Anna Parisa Der Animationsfilm im Informationsdesign : die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der InformatikThesis Hochschulschrift 2015
2Gmeiner Annu - 2015 - Parameterized model checking of fault-tolerant distributed...pdf.jpgGmeiner, Annu Parameterized model checking of fault-tolerant distributed algorithmsThesis Hochschulschrift 2015
3Dobiasch 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
4Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013
5Pani Thomas - 2013 - Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift 2013
6Vegliach Gil - 2013 - Monitoring of data-centric business rules and processes.pdf.jpgVegliach, Gil Monitoring of data-centric business rules and processesThesis Hochschulschrift 2013
7Krall Stephan - 2012 - A source-level interpreter for C programs.pdf.jpgKrall, Stephan A source-level interpreter for C programsThesis Hochschulschrift 2012
8Katzenbeisser Stefan - 2004 - Cryptographic watermarking.pdf.jpgKatzenbeisser, Stefan Cryptographic watermarkingThesis Hochschulschrift 2004