Mariëlle I.A. Stoelinga

Computer Science

1. Fault Tree 100%
2. Models 73%
3. Attack 62%
4. Model Checking 33%
5. Automaton 29%
6. Case Study 28%
7. model based testing 26%
8. Algorithms 24%
9. Testing 21%
10. State Space 19%
11. Event Simulation 18%
12. Events 16%
13. Extended Version 15%
14. Standards 15%
15. Transition System 14%
16. Probability 13%
17. Stochastic Model 13%
18. Application 13%
19. Software 12%
20. Transitions 12%
21. Booleans 11%
22. Statistical Model 11%
23. Markov Decision Process 10%
24. Evaluation 9%
25. Efficient Algorithm 9%
26. Functions 8%
27. binary decision diagram 8%
28. Process Algebra 8%
29. Simulation 8%
30. Input/Output 7%
31. Security Attack 7%
32. Security Properties 7%
33. Soundness 7%
34. Smart Building Application 7%
35. Participatory Design 7%
36. Hardware 7%
37. Parameter Value 7%
38. Reachability Probability 6%
39. Benchmark 6%
40. Attackers 6%
41. Parallel Composition 6%
42. Integer-Linear Programming 6%
43. Survey 6%
44. model checker 6%
45. Contexts 6%
46. Timed Automaton 6%
47. Driven Framework 6%
48. Driven Approach 6%
49. Hackers 6%
50. Multi Agent Systems 6%