Jan Körner

According to our database, Jan Körner authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution).

Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Körner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Checking the HAL Interface Specification Continuously, Right from the Start.

Manuel Bentele, Onur Altinordu, Jan Körner, Andreas Podelski, Axel Sikora

CoRR, December, 2025

2024

Efficient Monitoring of CPS and IoT Systems: A Deployment Guide for Empirical Evaluations.

Jan Körner, Samuel Bach, Albin Karlsson, Linus Sundkvist, Romaric Duvignau

Proceedings of the 13th Mediterranean Conference on Embedded Computing, 2024