Facets of Software Doping-Reference-Cited by-同舟云学术

Facets of Software Doping

Published:2016 Issue: Volume: Page:601-608
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
language:
Short-container-title:

Author:

Barthe Gilles,D’Argenio Pedro R.,Finkbeiner Bernd,Hermanns Holger

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47169-3_46

Reference20 articles.

1. Apple apologizes and updates iOS to restore iPhones disabled by error 53. https://techcrunch.com/2016/02/18/apple-apologizes-and-updates-ios-to-restore-iphones-disabled-by-error-53/ . Accessed 07 July 2016

2. BionX tuning. http://www.ebiketuning.com/comparison/bionx-tuning.html . Accessed 07 July 2016

3. Dell laptops reject third-party batteries and AC adapters/chargers. Hardware vendor lock-in? https://nctritech.wordpress.com/2010/01/26/dell-laptops-reject-third-party-batteries-and-ac-adapterschargers-hardware-vendor-lock-in/ . Accessed 07 July 2016

4. Epson firmware update = no to compatibles. http://www.wasteink.co.uk/epson-firmware-update-compatible-problem/ . Accessed 07 July 2016

5. ‘Error 53’ fury mounts as Apple software update threatens to kill your iPhone 6. https://www.theguardian.com/money/2016/feb/05/error-53-apple-iphone-software-update-handset-worthless-third-party-repair . Accessed 07 July 2016

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

1. Software doping analysis for human oversight;Formal Methods in System Design;2024-04-04

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

4. Doping Tests for Cyber-physical Systems;ACM Transactions on Modeling and Computer Simulation;2021-07-31

5. Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning;2021 IEEE International Conference on Robotics and Automation (ICRA);2021-05-30