Author:
Alur Rajeev,Kanade Aditya,Ramesh S.,Shashidhar K. C.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bounded Invariant Checking for Stateflow;Electronic Proceedings in Theoretical Computer Science;2022-09-27
2. SLEMI;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
3. Mechanized semantics and verified compilation for a dataflow synchronous language with reset;Proceedings of the ACM on Programming Languages;2020-01
4. Dependable Model-driven Development of CPS;ACM Transactions on Cyber-Physical Systems;2019-01-16
5. Cyber-Physical Specification Mismatches;ACM Transactions on Cyber-Physical Systems;2018-10-31