Philipp Körner

Latest

• Increasing Student Self-Reliance and Engagement in Model-Checking Courses
• Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering
• Integrating Formal Specifications into Applications - The ProB Java API
• The First Twenty-Five Years of Industrial Use of the B Method
• 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