Author:
Biewer Sebastian,D’Argenio Pedro,Hermanns Holger
Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;A Adimoolam,2017
2. Lecture Notes in Computer Science;Y Annpureddy,2011
3. Barthe, G., D’Argenio, P.R., Finkbeiner, B., Hermanns, H.: Facets of software doping. In: Margaria and Steffen [20], pp. 601–608.
https://doi.org/10.1007/978-3-319-47169-3_46
4. Baum, K.: What the hack is wrong with software doping? In: Margaria and Steffen [20], pp. 633–647.
https://doi.org/10.1007/978-3-319-47169-3_49
5. BBC: Audi chief Rupert Stadler arrested in diesel emissions probe. BBC (2018).
https://www.bbc.com/news/business-44517753
. Accessed 28 Jan 2019
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software doping analysis for human oversight;Formal Methods in System Design;2024-04-04
2. On the road with RTLola;International Journal on Software Tools for Technology Transfer;2023-01-30
3. Conformance Relations and Hyperproperties for Doping Detection in Time and Space;Logical Methods in Computer Science;2022-01-19
4. On the Detection of Doped Software by Falsification;Fundamental Approaches to Software Engineering;2022
5. Doping Tests for Cyber-physical Systems;ACM Transactions on Modeling and Computer Simulation;2021-07-31