28 citations · 39 across the 8 of their papers we have counts for
18 papers
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel
A vulnerability scan combined with information about a computer network can be used to create an attack graph, a model of how the elements of a network could be used in an attack t…
On Decidability of Time-bounded Reachability in CTMDPs
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
We consider the time-bounded reachability problem for continuous-time Markov decision processes. We show that the problem is decidable subject to Schanuel's conjecture. Our decisio…
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach
Isaac Matthews, John Mace, Sadegh Soudjani +1
Attack graphs are commonly used to analyse the security of medium-sized to large networks. Based on a scan of the network and likelihood information of vulnerabilities, attack grap…
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani +1
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic sys…
Data-Driven Verification under Signal Temporal Logic Constraints
Ali Salamati, Sadegh Soudjani, Majid Zamani
We consider systems under uncertainty whose dynamics are partially unknown. Our aim is to study satisfaction of temporal logic properties by trajectories of such systems. We expres…
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani
In this paper, we propose a formal controller synthesis approach for integrating a population of plug-in electric vehicles in frequency regulation of power systems. This approach i…