Universität Paderborn » SFB 901 » Projects » Project Area B » B4 » Theses

Publications - Theses


2016 (3)

Guangli Zhang:
Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Tobias Isenberg:
Induction-Based Verificiation of Timed Systems
PhD thesis, University of Paderborn (2016)

[Show BibTeX] [DOI]
Henrik Bröcher:
Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]

2014 (4)

Sen Wu:
Webcam application using virtual FPGA
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Philipp Korth:
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Christoph Klauke:
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Felix Pauck:
Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]

2013 (1)

Nils Timm:
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
PhD thesis, University of Paderborn (2013)

[Show Abstract] [Show BibTeX] [DOI]

2012 (2)

Stephanie Drzevitzky:
Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security
PhD thesis, University of Paderborn (2012)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs:
Change and Validity Analysis in Deductive Program Verification
Master's thesis, University of Paderborn (2012)

[Show BibTeX]

2011 (1)

Alexander Schremmer:
Function Specification Inference Using Craig Interpolation
Master's thesis, University of Paderborn (2011)

[Show BibTeX]