Affiliation:
1. University of Oxford, Oxford, United Kingdom
Funder
ERC AdG VERIWARE (246967)
Institute for the Future of Computing Oxford Martin School
ERC PoC VERIPACE (620196)
Reference30 articles.
1. Bang-bang control using temporal logic. http://tinyurl.com/ngp4epu. Bang-bang control using temporal logic. http://tinyurl.com/ngp4epu.
2. Code synthesis for timed automata;Amnell T.;Nord. J. Comput.,2002
3. On hardware-in-the-loop simulation
4. HASL: A new approach for performance evaluation and model checking from concepts to experimentation
5. Microcontroller Assembly Synthesis from Timed Automaton Task Specifications
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers;ACM Transactions on Cyber-Physical Systems;2018-09-18
2. Integrating Simulink Models into the Model Checker Cosmos;Application and Theory of Petri Nets and Concurrency;2018
3. Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps;2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS);2016-09