Showing 1–20 of 23 results
/ Date/ Name
Mar 13, 2022Automated fault tree learning from continuous-valued sensor data: a case study on domestic heatersNov 17, 2024Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolutionJun 12, 2019Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent SystemsOct 22, 2024Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarmsDec 7, 2024Digging for Decision Trees: A Case Study in Strategy Sampling and LearningOct 23, 2019Rare Event Simulation for non-Markovian repairable Fault TreesMar 10, 2024Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI TopicsSep 15, 2025Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)Dec 10, 2022Efficient and Generic Algorithms for Quantitative Attack Tree AnalysisMay 16, 2021Efficient Algorithms for Quantitative Attack Tree AnalysisNov 1, 2024Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)Sep 2, 2003Bulk Mediated Surface Diffusion: The Infinite System CaseDec 9, 2010Intermittent pathways towards a dynamical targetOct 9, 2024How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logicOct 23, 2019A compositional semantics for Repairable Fault Trees with general distributionsJun 24, 2025Time-Sensitive Importance SplittingOct 22, 2004Bulk Mediated Surface Diffusion: Non Markovian Desorption with Finite First MomentMay 22, 2024Tools at the Frontiers of Quantitative VerificationJun 24, 2024Transient Evaluation of Non-Markovian Models by Stochastic State Classes and SimulationMay 5, 2010Lifetime of a target in the presence of N independent walkers