- Model Checking / Sicherheitskritische Systeme
- Performance und Optimierungen
- Verwendung von formalen Spezifikationen zur Laufzeit
- Funktionale / Logische Programmierung
- Typsysteme, Test-Case Generation (vgl.
plspec)
- Seminar Blockchain
Vertiefung logische Programmierung (Übung)
Meine offenen Themen für Abschlussarbeiten finden Sie hier.
2019
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
2018
plspec - A Specification Language for Prolog Data.
In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, LNAI, 10997, Springer, 2018.
Three is a crowd: SAT, SMT and CLP on a chessboard.
In Proceedings PADL 2018, LNCS, 10702, Springer, 2018.
Distributed Model Checking Using ProB.
In Proceedings NFM 2018, LNCS, 10811, Springer, 2018.
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.
In Proceedings iFM 2018, LNCS, 11023, Springer, 2018.
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Pre-Proceedings WFLP, 2018.
Embedding Formal Specifications as Libraries into Applications.
Technical Report, School of Computing, Newcastle University, 1525, 2018.
2017
plspec - A Specification Language for Prolog Data.
In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, Technical Report, 499, University of Würzburg, 2017.
2016
Symbolic Reachability Analysis of B through ProB and LTSmin.
In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
2015
Evaluating Interpreter Design in Prolog.
In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015, Schriftenreihe des Instituts für Computersprachen, Springer, 2015.
2013
ProB 2.0 Tutorial.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
Parallel Model Checking of B Specifications.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
orcid.org/0000-0001-7256-9560
