2016
Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters Proceedings Article
In: Ghilezan, Silvia (Ed.): Proceedings of 22nd International Conference on Types for Proofs and Programs, Schloss Dagstuhl, 2016, (abstract).
2008
Formale Verifikation mittels Model Checking in Materialflusssystemen Masters Thesis
TU Dortmund, 2008.
Model Checking in multiagentengesteuerten Materialflusssystemen Proceedings Article
In: Buchholz, Peter (Ed.): Workshop ''Modellierung großer Netze in der Logistik`` in Measurement, Modelling and Evaluation of Computer and Communication Systems, 2008.