Using Graph-based Techniques for Temporal Requirements Engineering

von Ghazel, Mohamed
Veröffentlicht in Institute of Electrical and Electronics Engineers 2011 IEEE GCC conference and exhibition (GCC 2011) (2011)

A Sound Abstraction Method Towards Efficient Neural Networks Verification

von Boudardara, Fateh
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

Safety and Performance analysis of virtually coupled train sets (VCTS)

von Verma, Siddhartha
Veröffentlicht in SmartRaCon Scientific Seminar (3. : 2021 : Online) Proceedings of the 3rd SmartRaCon Scientific Seminar (2021)

Statistical model checking-based performance analysis of the onboard train integrity

von Sassi, Insaf
Veröffentlicht in SmartRaCon Scientific Seminar (4. : 2022 : San Sebastián; Online) Proceedings of the 4th SmartRaCon Scientific Seminar (2022)

Interval Weight-Based Abstraction for Neural Network Verification

von Boudardara, Fateh
Veröffentlicht in SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security (2022)