Arend Rensink

Computer Science

1. Models 100%
2. Transformations 58%
3. Software 44%
4. Programs 29%
5. Model Transformation 27%
6. Case Study 27%
7. Application 24%
8. Formalization 22%
9. Software Engineering 21%
10. Semantics 21%
11. Standards 21%
12. Classes 17%
13. Participatory Design 16%
14. Hardware 16%
15. Driven Framework 14%
16. Fault Tree 14%
17. Attack 14%
18. Driven Approach 14%
19. Workflows 14%
20. Computer Technology 14%
21. model based testing 14%
22. Model-Driven Engineering 14%
23. State Space 13%
24. Bytecode 11%
25. Model Checking 11%
26. Formal Specification 10%
27. Cyber Physical Systems 10%
28. Specification Language 9%
29. Software Systems 9%
30. Timing Analysis 9%
31. Contexts 9%
32. Control 8%
33. System Dynamic 8%
34. Test Generation 8%
35. Survey 7%
36. Complexity 7%
37. Interoperability 7%
38. Extended Version 7%
39. Quality Indicator 7%
40. Design Requirement 7%
41. class diagram 7%
42. Modularization 7%
43. Software Development 7%
44. Attack Model 7%
45. Control-Flow Graph 7%
46. Simulation 7%
47. Control Flow 7%
48. Solution Space 7%
49. State Analysis 7%
50. Average Path Length 7%