Tuesday 12 December 2023
- Lola Solovyeva, Marcus Gerhold, Vadim Zaytsev
The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning, accepted at SANER 2024 in the RENE track (Reproducibility Studies and Negative Results (RENE) Track) - Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-guided Framework for Deep Neural Networks Security accepted for the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024) - Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC accepted for the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024) - Bram Dekker, Bram Ton, Joanneke Meijer, Nacir Bouali, Jeroen Linssen, Faizan Ahmed
Point Cloud Analysis of Railway Infrastructure: A Systematic Literature Review accepted in IEEE Xplore - Milan Lopuhaä-Zwakenberg
Fault tree reliability analysis via squarefree polynomials accepted for MODELSWARD 2024