Philipp Körner

Kontakt

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Tel.: +49 (211) 81-10713
Fax: +49 (211) 81-10712

Raum: 25.12.02.56

Model Checking / Sicherheitskritische Systeme
- Performance und Optimierungen
- Verwendung von formalen Spezifikationen zur Laufzeit
Funktionale / Logische Programmierung
- Typsysteme, Test-Case Generation (vgl. plspec)

Funktionale Programmierung (Sprechstunde: Do, 14:00 Uhr bis 15:00 Uhr sowie nach Vereinbarung)

Meine offenen Themen für Abschlussarbeiten finden Sie hier.

Philipp Körner, Sebastian Krings
plspec - A Specification Language for Prolog Data.
In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, LNAI, 10997, Springer, 2018.
- PDF
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
Three is a crowd: SAT, SMT and CLP on a chessboard.
In Proceedings PADL 2018, LNCS, 10702, Springer, 2018.
- PDF
Philipp Körner, Jens Bendisposto
Distributed Model Checking Using ProB.
In Proceedings NFM 2018, LNCS, 10811, Springer, 2018.
- PDF
Philipp Körner, Jeroen Meijer, Michael Leuschel
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.
In Proceedings iFM 2018, LNCS, 11023, Springer, 2018.
- PDF
Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
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.
- PDF
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Pre-Proceedings WFLP, 2018.
- PDF

Philipp Körner, Sebastian Krings
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.

Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, van de Pol, Jaco, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin.
In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
- PDF

Philipp Körner, David Schneider, Michael Leuschel
Evaluating Interpreter Design in Prolog.
In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015, Schriftenreihe des Instituts für Computersprachen, Springer, 2015.
- LINK

Jens Bendisposto, Joy Clark, Ivaylo Dobrikov, Philipp Körner, Sebastian Krings, Lukas Ladenberger, Michael Leuschel, Daniel Plagge
ProB 2.0 Tutorial.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
- PDF
- LINK
Jens Bendisposto, Philipp Körner, Michael Leuschel
Parallel Model Checking of B Specifications.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
- PDF