FIG: The Finite Improbability Generator

von Budde, Carlos E.
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Using Statistical Model Checking for Cybersecurity Analysis

von Budde, Carlos E.
Veröffentlicht in CyberSec4Europe (Veranstaltung : 1. : 2022 : Venedig) Digital sovereignty in cyber security (2023)

Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets

von Budde, Carlos E.
Veröffentlicht in MMB (20. : 2020 : Saarbrücken) Measurement, modelling, and evaluation of computing systems (2020)

A Maturity Assessment Model for Cyber Security Education in Europe

von Vidor, Silvia
Veröffentlicht in WISE (15. : 2022 : Kopenhagen) Information security education - adapting to the fourth industrial revolution (2022)

Replicating RESTART with Prolonged Retrials: An Experimental Report

von Budde, Carlos E.
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

The Dynamic Fault Tree Rare Event Simulator

von Budde, Carlos E.
Veröffentlicht in QEST (17. : 2020 : Online) Quantitative evaluation of systems (2020)

Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies

von Budde, Carlos E.
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)

Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth

von Budde, Carlos E.
Veröffentlicht in RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems (2022)

The Marriage Between Safety and Cybersecurity: Still Practicing

von Stoelinga, Marielle
Veröffentlicht in SPIN (27. : 2021 : Online) Model Checking Software (2021)

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

von Arias, Jaime
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Rare Event Simulation for Non-Markovian Repairable Fault Trees

von Budde, Carlos E.
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

von Budde, Carlos E.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)