Stoelinga, Mariëlle

1. Rare Event Simulation for non-Markovian repairable Fault Trees
   2019/10/23 by Carlos E. Budde, Budde, Carlos E., Marco Biagi +7 · 1 citation
   Computer Science · Decision Sciences · Engineering · #D.2.4 #Distributed #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #I.6.1 #I.6.8 #Parallel #Probability and Risk Models #Reliability and Maintenance Optimization #Software Reliability and Analysis Research #Systems and Control (eess.SY) #and Cluster Computing (cs.DC) #electronic engineering #information engineering
2. PFL: a Probabilistic Logic for Fault Trees
   2023/03/30 by Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Hahn, E. Moritz +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. ATM: a Logic for Quantitative Security Properties on Attack Trees
   2023/09/17 by Stefano M. Nicoletti, Nicoletti, Stefano M., Milan Lopuhaä-Zwakenberg +5 · 2 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Logic in Computer Science (cs.LO) #Network Security and Intrusion Detection #Software Reliability and Analysis Research