Author:
Abbas Houssam,Hoxha Bardh,Fainekos Georgios,Deshmukh Jyotirmoy V.,Kapinski James,Ueda Koichi
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Targeted Attack Synthesis for Smart Grid Vulnerability Analysis;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
2. Survey on test case generation, selection and prioritization for cyber‐physical systems;Software Testing, Verification and Reliability;2021-09-15
3. Unified Framework and Survey for Model Verification, Validation and Uncertainty Quantification;Archives of Computational Methods in Engineering;2020-08-07
4. Conformance-Based Doping Detection for Cyber-Physical Systems;Formal Techniques for Distributed Objects, Components, and Systems;2020
5. Model Conformance for Cyber-Physical Systems;ACM Transactions on Cyber-Physical Systems;2019-10-03