research
∙
09/03/2021
Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS
Optimizing CPS behavior in terms of energy consumption can have a signif...
share
research
∙
10/31/2019
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems
Formal analysis of functional and non-functional requirements is crucial...
research
∙
10/31/2019
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems
Ensuring correctness of timed behaviors in cyber-physical systems (CPS) ...
research
∙
04/15/2019
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems
Modeling and analysis of timing constraints is crucial in cyber-physical...
research
∙
03/14/2019
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL
Development of quality assured software-intensive systems, such as autom...
research
∙
06/29/2018
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Modeling and analysis of non-functional properties, such as timing const...
research
∙
06/20/2018
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
Modeling and analysis of timing constraints is crucial in automotive sys...
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