Jan Kleinekathöfer

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

Collaborative distances:

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

2026

Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units.

Jan Kleinekathöfer, Lennart Weingarten, Kamalika Datta, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025

Lower bound proof for the size of BDDs representing a shifted addition.

Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler

Inf. Process. Lett., 2025

Automatic Polynomial Formal Verification of a Floating-Point Multiplier.

Jan Kleinekathöfer, Rolf Drechsler

Proceedings of the 28th Euromicro Conference on Digital System Design, 2025

2023

Polynomial Formal Verification exploiting Constant Cutwidth.

Mohamed A. Nadeem, Jan Kleinekathöfer, Rolf Drechsler

Proceedings of the 34th International Workshop on Rapid System Prototyping, 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

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