Jan Kleinekathöfer

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

Collaborative distances:

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

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

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