Philipp Kern
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | Revisiting Differential Verification: Equivalence Verification with Confidence. | Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert |
| 2024 | SAS | Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. | Philipp Kern, Carsten Sinz |
| 2021 | ICTAI | Geometric Path Enumeration for Equivalence Verification of Neural Networks. | Samuel Teuber, Marko Kleine Bning, Philipp Kern, Carsten Sinz |
| 2020 | CP | Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. | Marko Kleine Bning, Philipp Kern, Carsten Sinz |