Philipp Körner

Latest

• A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
• Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model
• Inquiry- and Research-based Teaching in a Course on Model Checking
• Prototyping Games Using Formal Methods
• Embedding High-Level Formal Specifications into Applications
• Prolog Coding Guidelines: Status and Tool Support
• The History and Evolution of B and Event-B
• Experience Report on An Inquiry-Based Course on Model Checking
• Measuring Code Coverage of Prolog Programs Using Mutation Testing
• Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
• Three is a crowd: SAT, SMT and CLP on a chessboard
• plspec - A Specification Language for Prolog Data