Statistical Model Checking for Variability-Intensive Systems

von Cordy, Maxime
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)

Verification of Varjability-Intensive Stochastic Systems with Statistical Model Checking

von Lazreg, Sami
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach

von Antoniadis, Nikolaos
Veröffentlicht in OLA (3. : 2020 : Cádiz) Optimization and learning (2020)

Efficient and Transferable Adversarial Examples from Bayesian Neural Networks

von Gubri, Martin
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (38. : 2022 : Eindhoven) 38th Conference on Uncertainty in Artificial Intelligence (UAI 2022) ; Volume 1 of 3 (2023)

LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity

von Gubri, Martin
Veröffentlicht in ECCV (17. : 2022 : Tel Aviv; Online) Computer vision – ECCV 2022 ; Part 4 (2022)

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept

von Dam, Khanh Huu The
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

ACoRe: Automated Goal-Conflict Resolution

von Carvalho, Luiz
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)