Philipp Körner

32 papers B 4C 6Journal 9Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A case for data-oriented specifications: simpler implementation of B tools and DSLs. Innov. Syst. Softw. Eng. Philipp Körner, Florian Mager, Jan Roßbach
2024	J	`jnl`	A verified low-level implementation and visualization of the adaptive exterior light and speed control system. Int. J. Softw. Tools Technol. Transf. Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
2024	C	`conf`	Meta-programming Event-B - Advancing Tool Support and Language Extensions. ABZ Julius Armbrüster, Philipp Körner
2023	—	`—`	On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms. Philipp Körner
2022	J	`jnl`	50 Years of Prolog and Beyond. CoRR Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022	—	`conf`	An embedding of B in Clojure. MoDELS (Companion) Philipp Körner, Florian Mager
2022	J	`jnl`	Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
2022	—	`conf`	Towards Practical Partial Order Reduction for High-Level Formalisms. VSTTE Philipp Körner, Michael Leuschel
2021	—	`conf`	Increasing Student Self-Reliance and Engagement in Model-Checking Courses. FMTea Philipp Körner, Sebastian Krings
2021	J	`jnl`	Integrating formal specifications into applications: the ProB Java API. Formal Methods Syst. Des. Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
2020	C	`conf`	A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. ABZ Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
2020	—	`conf`	Effectiveness of Annotation-Based Static Type Inference. WFLP Isabel Wingen, Philipp Körner
2020	J	`jnl`	Effectiveness of Annotation-Based Static Type Inference. CoRR Isabel Wingen, Philipp Körner
2020	—	`conf`	On the Performance of Bytecode Interpreters in Prolog. WFLP Philipp Körner, David Schneider, Michael Leuschel
2020	J	`jnl`	On the Performance of Bytecode Interpreters in Prolog. CoRR Philipp Körner, David Schneider, Michael Leuschel
2020	C	`conf`	The First Twenty-Five Years of Industrial Use of the B-Method. FMICS Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
2020	C	`conf`	Towards a Shared Specification Repository. ABZ Philipp Körner, Michael Leuschel, Jannik Dunkelau
2020	J	`jnl`	Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. Int. J. Softw. Tools Technol. Transf. Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
2019	B	`conf`	A Multi-target Code Generator for High-Level B. IFM Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
2019	B	`conf`	Embedding High-Level Formal Specifications into Applications. FM Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
2019	—	`conf`	Experience Report on an Inquiry-Based Course on Model Checking. SEUH Sebastian Krings, Philipp Körner, Joshua Schmidt
2019	—	`conf`	Prolog Coding Guidelines: Status and Tool Support. ICLP Technical Communications Falco Nogatz, Philipp Körner, Sebastian Krings
2019	—	`conf`	Prototyping Games Using Formal Methods. FMFun Sebastian Krings, Philipp Körner
2019	—	`conf`	Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
2018	—	`conf`	Distributed Model Checking Using ProB. NFM Philipp Körner, Jens Bendisposto
2018	—	`conf`	Measuring Coverage of Prolog Programs Using Mutation Testing. WFLP Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
2018	J	`jnl`	Measuring Coverage of Prolog Programs Using Mutation Testing. CoRR Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
2018	B	`conf`	State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. IFM Philipp Körner, Michael Leuschel, Jeroen Meijer
2018	C	`conf`	Three Is a Crowd: SAT, SMT and CLP on a Chessboard. PADL Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
2018	C	`conf`	Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. ABZ Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
2017	—	`conf`	plspec - A Specification Language for Prolog Data. DECLARE Philipp Körner, Sebastian Krings
2016	B	`conf`	Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield