Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis

Computer Science

1. Analysis Technique 50%
2. Automated Tool 50%
3. Driven Approach 50%
4. Dynamic Analysis 50%
5. False Positive 50%
6. Interactive System 100%
7. Internet-Of-Things 50%
8. Liveness 100%
9. Local Community 50%
10. Nonlinear Behavior 50%
11. Program Analysis 50%
12. Secondary Schools 50%
13. Software Engineering 50%
14. Static Program Analysis 100%
15. Temporal Dynamic 100%
16. temporal property 50%
17. Undergraduate Student 50%
18. Underrepresented Group 50%
19. Video Streaming 50%
20. Web Application 50%
21. World Application 50%