Veith, Helmut

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Veith, Helmut
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel2017

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.02 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Software verification with IC via abstraction and interpolation.pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift2013
2Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift2013
3Concolic testing of concurrent software in the context of weak memory models.pdf.jpgDobiasch, Martin Concolic testing of concurrent software in the context of weak memory modelsThesis Hochschulschrift2014
4Der Animationsfilm im Informationsdesign die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der Informatik.pdf.jpgEhsani, Anna Parisa Der Animationsfilm im Informationsdesign; die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der InformatikThesis Hochschulschrift2015