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

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

PreviewAuthor(s)TitleTypeIssue Date
1Veith, Helmut Contributions to scalability and complexity issues in computer aided verification and logic-based information systemsThesis Hochschulschrift2001

Contributing Publications Mitbeteiligte Publikationen

Results 1-16 of 16 (Search time: 0.011 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Farokhi, Soodeh Quality of service control mechanisms in cloud computing environmentsThesis Hochschulschrift2015
2Ehsani 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
3Gmeiner Annu - 2015 - Parameterized model checking of fault-tolerant distributed...pdf.jpgGmeiner, Annu Parameterized model checking of fault-tolerant distributed algorithmsThesis Hochschulschrift 2015
4Dobiasch 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
5Holzer, Andreas Markus Michael Query-based test case generationThesis Hochschulschrift2013
6Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013
7Pani Thomas - 2013 - Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift 2013
8Vegliach Gil - 2013 - Monitoring of data-centric business rules and processes.pdf.jpgVegliach, Gil Monitoring of data-centric business rules and processesThesis Hochschulschrift 2013
9Pötzl, Daniel Achieving high coverage and finding bugs in sequential and concurrent softwareThesis Hochschulschrift2012
10Krall Stephan - 2012 - A source-level interpreter for C programs.pdf.jpgKrall, Stephan A source-level interpreter for C programsThesis Hochschulschrift 2012
11Schallhart, Christian Architecture and security in networked virtual environmentsThesis Hochschulschrift2007
12Steiner, Wilfried Startup and recovery of fault-tolerant time-triggered communicationThesis Hochschulschrift2004
13Katzenbeisser Stefan - 2004 - Cryptographic watermarking.pdf.jpgKatzenbeisser, Stefan Cryptographic watermarkingThesis Hochschulschrift 2004
14Oberhofer, Jürgen The architecture of SAT solvers and their applicability to NP-complete problemsThesis Hochschulschrift2003
15Plaickner, Andreas Symbolic model checking using NuSMVThesis Hochschulschrift2003
16Samer, Marko Temporal logic queries in model checkingThesis Hochschulschrift2002