OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks

von Hashemi, Vahid
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Towards a Systems Engineering Based Automotive Product Engineering Process

von Hage, Hassan
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

von Hage, Hassan
Veröffentlicht in FASE (25. : 2022 : München) Fundamental approaches to software engineering (2022)

DeepAbstract: Neural Network Abstraction for Accelerating Verification

von Ashok, Pranav
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks

von Hashemi, Vahid
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

AGNES: Abstraction-Guided Framework for Deep Neural Networks Security

von Dhonthi, Akshay
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)

Artificial Intelligence for Adaptive, Responsive, and Level-Compliant Interaction in the Vehicle of the Future (KARLI)

von Diederichs, Frederik
Veröffentlicht in International Conference on Human-Computer Interaction (24. : 2022 : Online) HCI International 2022 posters ; Part 4 (2022)