Carlos E. Budde

Ranindya Paramitha

Fabio Massacci

CoRR, 2024

Sound Statistical Model Checking for Probabilities and Expected Rewards.

[BibT_eX]

[DOI]

CoRR, 2024

Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms.

[BibT_eX]

[DOI]

Tommaso Oss

CoRR, 2024

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic.

[BibT_eX]

[DOI]

Stefano M. Nicoletti

Milan Lopuhaä-Zwakenberg

Fabio Massacci

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

[BibT_eX]

[DOI]

CoRR, 2024

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics.

[BibT_eX]

[DOI]

CoRR, 2024

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Modest Models and Tools for Real Stochastic Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Consolidating cybersecurity in Europe: A case study on job profiles assessment.

[BibT_eX]

[DOI]

Comput. Secur., April, 2023

Efficient and Generic Algorithms for Quantitative Attack Tree Analysis.

[BibT_eX]

[DOI]

Milan Lopuhaä-Zwakenberg

IEEE Trans. Dependable Secur. Comput., 2023

2022

Analysis of non-Markovian repairable fault trees through rare event simulation.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

FIG: the Finite Improbability Generator v1.3.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2022

Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters.

[BibT_eX]

[DOI]

Bart Verkuil

Doina Bucur

CoRR, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

A Maturity Assessment Model for Cyber Security Education in Europe.

[BibT_eX]

[DOI]

Silvia Vidor

Proceedings of the Information Security Education - Adapting to the Fourth Industrial Revolution, 2022

Using Statistical Model Checking for Cybersecurity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Digital Sovereignty in Cyber Security: New Challenges in Future Vision, 2022

2021

Replicating sc Restart with Prolonged Retrials: An Experimental Report.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

The Marriage Between Safety and Cybersecurity: Still Practicing.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 27th International Symposium, 2021

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

[BibT_eX]

[DOI]

Christina Kolb

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Efficient Algorithms for Quantitative Attack Tree Analysis.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

An efficient statistical model checker for nondeterminism and rare events.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Rare Event Simulation for Non-Markovian Repairable Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

FIG: The Finite Improbability Generator.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The Dynamic Fault Tree Rare Event Simulator.

[BibT_eX]

[DOI]

Enno Ruijters

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

A compositional semantics for Repairable Fault Trees with general distributions.

[BibT_eX]

[DOI]

Raúl E. Monti

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Automated compositional importance splitting.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

2018

A Statistical Model Checker for Nondeterminism and Rare Events.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Modelling Smart Buildings Using Fault Maintenance Trees.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

JANI: Quantitative Model and Tool Interaction.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Better Automated Importance Splitting for Transient Rare Events.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

The Road from Stochastic Automata to the Simulation of Rare Events.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Compositional Construction of Importance Functions in Fully Automated Importance Splitting.

[BibT_eX]

[DOI]

Raúl E. Monti

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

2015

Rare Event Simulation with Fully Automated Importance Splitting.

[BibT_eX]

[DOI]