research
∙
06/29/2018
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Modeling and analysis of non-functional properties, such as timing const...
research
∙
03/16/2018
Model-based Verification and Validation of an Autonomous Vehicle System
The software development for Cyber-Physical Systems (CPS), e.g., autonom...
research
∙
03/16/2018