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 (ISoLA (3), 2020)

Polynomial Formal Verification of Floating Point Adders. - Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler (DATE, 2023)

Polynomial Formal Verification exploiting Constant Cutwidth. - Mohamed A. Nadeem; Jan Kleinekathöfer; Rolf Drechsler (RSP, 2023)

Lower bound proof for the size of BDDs representing a shifted addition. - Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler (Inf. Process. Lett., 2025)