Mariëlle I.A. Stoelinga

Computer Science

1. Fault Tree 100%
2. Case Study 50%
3. Automaton 30%
4. model based testing 26%
5. Model Checking 26%
6. Probability 25%
7. State Space 18%
8. Cyber Physical Systems 14%
9. Transition System 13%
10. Timed Automaton 13%
11. Extended Version 13%
12. Statistical Model 12%
13. Attackers 11%
14. Side Channel Attack 9%
15. Event Simulation 9%
16. Stochastic Model 9%
17. model checker 8%
18. Domain-specific languages 8%
19. binary decision diagram 8%
20. Input/Output 7%
21. Efficient Algorithm 7%
22. Generic Algorithm 7%
23. Process Algebra 7%
24. Continuous Time 7%
25. Learning System 6%
26. Machine Learning 6%
27. Security Properties 6%
28. Test Generation 6%
29. Security Analysis 6%
30. Quantitative Metric 6%
31. Fuzzy Mathematics 6%
32. Security Attack 6%
33. Markov Decision Process 6%
34. Correctness 5%
35. Participatory Design 5%
36. Integer-Linear Programming 5%
37. Directed Acyclic Graph 5%
38. Support Analysis 5%
39. Nondeterminism 5%
40. Critical Infrastructure 5%
41. Model-Driven Engineering 5%
42. Query Language 5%
43. Density Functional Theory 5%