Philipp Kern -

Registered user since Tue 13 Aug 2024

Name:Philipp Kern

Country:Germany

Affiliation:Karlsruhe Institute of Technology (KIT)

Personal website: https://formal.kastel.kit.edu/~kern/?lang=en

Research interests:Verification of Neural Networks

Contributions

2026

MODELS

Author of CANcept: Model-based CAN Traffic Generation and Manipulation within the Tools and Demonstrations-track

FM

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

Static Analysis Symposium

Keynote Speaker of Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations within the SAS 2024-track