- Model Checking / Sicherheitskritische Systeme
- Performance und Optimierungen
- Verwendung von formalen Spezifikationen zur Laufzeit
- Funktionale / Logische Programmierung
- Typsysteme, Test-Case Generation (vgl.
plspec)
- Blockchains
- Analyse und Verifikation von Smart Contracts
- Funktionale Programmierung (Übung)
- Seminar Blockchain (Sommersemester 2019)
- Vertiefung logische Programmierung (Sommersemester 2019, Übung)
- Funktionale Programmierung (Wintersemester 2018/19)
- Model Checking (Sommersemester 2018)
- Funktionale Programmierung (Wintersemester 2017/18)
- Theoretische Informatik (Organisation u. Übung, Sommersemester 2017)
- Funktionale Programmierung (Übung, Wintersemester 2016/17)
- Funktionale Programmierung (Übung, Wintersemester 2015/16)
Die folgenden Abschlussarbeiten habe ich (mit-)betreut:
| Name | Titel | Art |
|---|
Gesine Pfeil | Visualization of Clojure Data Structure | Bachelorarbeit |
| Sebastian Stock | Ein Cloud Controller für verteiltes Modelchecking | Bachelorarbeit |
| Isabel Wingen | An Optional Type System for Prolog | Projektarbeit |
Offenen Themen für Abschlussarbeiten finden Sie hier. Derzeit kann ich keine weiteren Abschlussarbeiten betreuen.
2019
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
Experience Report on an Inquiry-Based Course on Model Checking.
In Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, 2358, CEUR, 87--98, 2019.
An Optional Static Type System for Prolog.
In Pre-Proceedings LOPSTR, 2019.
Embedding High-Level Formal Specifications into Applications.
In Proceedings FM, LNCS, 11800, Springer, 2019.
The History and Evolution of B and Event-B.
In Presentation HFM, 2019.
Prolog Coding Guidelines: Status and Tool Support.
In Proceedings ICLP (Technical Communications), EPTCS, 306, 2019.
A Multi-Target Code Generator for High-Level B.
In Proceedings iFM, LNCS, 11918, Springer, 2019.
Prototyping Games Using Formal Methods.
In Pre-Proceedings FMFun, 2019.
Inquiry- and Research-based Teaching in a Course on Model Checking.
In Pre-Proceedings FMFun, 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.
https://orcid.org/0000-0001-7256-9560
