| A solver for a theory of strings
(in cooperation with mgm technology partners GmbH)
( PDF Description ) | |  |
| Efficient verification of multi-threaded programs
| | |
| Extension of a GPU-based solver for Parity Games
( PDF Description ) | | |
| Higher-Order Model-Checking and Underapproximate Models of Concurrent Recursive Programs
( PDF Description ) | | |
| Kleene Theorem generalized to Regular Word Transformations
( PDF Description ) | | |
| Provably Correct Implementations of Algorithms for Elliptic Curve Cryptography using Isabelle/HOL
| | |
 | Symbolic Representations of Semilinear Sets
( PDF Description ) | |  |
| A Tool for Modal Transition Systems
( PDF Description )(  Further Information ) | | |
| A Tool for Verification and Simulation of Population Protocols
| | |
| An Advanced Solver for Presburger Arithmetic
( PDF Description )( Further Information ) | | |
| Master Z-Automata for Regular Languages
| | |
| Probabilistic cellular automata
( PDF Description ) | | |
| Small deterministic Omega Automata for LTL: A second generation implementation.
( PDF Description )( Further Information ) | | |
| Strategy Iteration on the Graphics Card
( PDF Description ) | | |
 | Upper Bounds for Policy-Iteration Sequences
( PDF Description ) | |  |
 |
|
 |
|
|
Master/Diploma or Bachelor Theses
|
|
Contact
Student Projects
