Conformance-Based Doping Detection for Cyber-Physical Systems-Reference-Cited by-同舟云学术

Conformance-Based Doping Detection for Cyber-Physical Systems

Published:2020 Issue: Volume: Page:59-77
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Objects, Components, and Systems
language:
Short-container-title:

Author:

Dimitrova Rayna,Gazda Maciej,Mousavi Mohammad Reza,Biewer Sebastian,Hermanns Holger

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-50086-3_4

Reference42 articles.

1. Abbas, H., Mittelmann, H.D., Fainekos, G.E.: Formal property verification in a conformance testing framework. In: MEMOCODE 2014, pp. 155–164. IEEE (2014)

2. Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K.: WiP abstract: conformance testing as falsification for cyber-physical systems. In: 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, p. 211 (2014)

3. Aerts, A., Mousavi, M.R., Reniers, M.A.: Model-based testing of cyber-physical systems. In: Cyber-Physical Systems: Foundations, Principles and Applications. Elsevier (2017). Chap. 19

4. Araujo, H., Carvalho, G., Mohaqeqi, M., Mousavi, M.R., Sampaio, A.: Sound conformance testing for cyber-physical systems: theory and implementation. Sci. Comput. Program. 162, 35–54 (2018)

5. Lecture Notes in Computer Science;H Araujo,2019

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the road with RTLola;International Journal on Software Tools for Technology Transfer;2023-01-30

2. CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes;2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS);2022-05-24

3. Conformance Relations and Hyperproperties for Doping Detection in Time and Space;Logical Methods in Computer Science;2022-01-19