Jan Kleinekathfer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units. | Jan Kleinekathfer, Lennart Weingarten, Kamalika Datta, Rolf Drechsler |
| 2025 | DSD | Automatic Polynomial Formal Verification of a Floating-Point Multiplier. | Jan Kleinekathfer, Rolf Drechsler |
| 2023 | DATE | Polynomial Formal Verification of Floating Point Adders. | Jan Kleinekathfer, Alireza Mahzoon, Rolf Drechsler |
| 2023 | RSP | Polynomial Formal Verification exploiting Constant Cutwidth. | Mohamed A. Nadeem, Jan Kleinekathfer, Rolf Drechsler |
| 2020 | ISoLA | Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling. | Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathfer, Daniel Groe, Rolf Drechsler |