Jan Kleinekathöfer

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Formal Verification

Multivariate Polynomials

Top Venues

Publications

Mohamed Nadeem, Jan Kleinekathöfer, Rolf Drechsler
Polynomial Formal Verification exploiting Constant Cutwidth. RSP (2023)
Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Floating Point Adders. DATE (2023)
Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Lower Bound Proof for the Size of BDDs representing a Shifted Addition. CoRR (2022)
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling. ISoLA (3) (2020)