Optimizing simulated-assisted verification of safety properties of cyber-physical systems

Source
Antwerp, University of Antwerp, Faculty of Applied Engineering, 2024,xxiv, 164 p.

DELFASE : a Deep Learning Method for Fault Space Exploration

Source
2022 18th European Dependable Computing Conference (EDCC), 12-15 September, 2022, Zaragoza, Spain- () p. 57-64
Author(s)

Machine-learning assisted model-implemented fault injection

Source
SEDES 2020: Software Engineering Doctoral Symposium Workshop 2020 : proceedings of the 8th SEDES Software Engineering Doctoral Symposium Workshop co-located with 13th International Conference on the Quality of Information and Communications Technology (QUATIC 2020), Online (initially located at Faro, Portugal), September 8-11, 2020- () p. 11-19