Jan Kleinekathöfer

According to our database, Jan Kleinekathöfer authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

2023

Polynomial Formal Verification of Floating Point Adders.

Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Lower Bound Proof for the Size of BDDs representing a Shifted Addition.

Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler

CoRR, 2022

2020

Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling.

Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020