Sagar Chaki
EMSOFT 2017: 17th International Conference on Embedded Software
Formal Verification of a Timing Enforcer Implementation
EMSOFT 2016: 16th International Conference on Embedded Software
Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability
EMSOFT 2014: 14th International Conference on Embedded Software
Contract-Based Integration of Cyber-Physical Analyses