Author of the publication

SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework.

, , , and . IEEE Trans. Computers, 62 (11): 2292-2307 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ranger: Boosting Error Resilience of Deep Neural Networks through Range Restriction., , and . CoRR, (2020)Error Resilient Machine Learning for Safety-Critical Systems: Position Paper., , and . IOLTS, page 1-4. IEEE, (2020)Design-Level and Code-Level Security Analysis of IoT Devices., and . ACM Trans. Embed. Comput. Syst., 18 (3): 20:1-20:25 (2019)LetGo: A Lightweight Continuous Framework for HPC Applications Under Failures., , , , and . HPDC, page 117-130. ACM, (2017)SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework., , , and . IEEE Trans. Computers, 62 (11): 2292-2307 (2013)Discovering Application-Level Insider Attacks Using Symbolic Execution., , , and . SEC, volume 297 of IFIP Advances in Information and Communication Technology, page 63-75. Springer, (2009)Configurable Detection of SDC-causing Errors in Programs., , , , and . ACM Trans. Embed. Comput. Syst., 16 (3): 88:1-88:25 (2017)The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in Machine Learning Applications., , , and . DSN, page 163-171. IEEE, (2022)Automatic fault localization for client-side JavaScript., , , and . Softw. Test. Verification Reliab., 26 (1): 69-88 (2016)Demo: OneOS - Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines., , and . SEC, page 470-472. IEEE, (2021)