Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carsten Sinz
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
ICSE 2022 profile
SPLASH 2024 profile
Registered user since Thu 27 May 2021
Name:
Carsten Sinz
Affiliation:
Karlsruhe Institute of Technology
Contributions
2024
Static Analysis Symposium
Keynote Speaker of Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations within the SAS 2024-track
2022
SBST
Author of Learning to Rank for Test Case Prioritization within the SBST 2022-track
2021
SPIN
Karlsruhe Institute of Technology in Programming Committee within the SPIN-track
Share
x
Mon 8 Sep 04:10