Author of the publication

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

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection., , , , , and . IEEE Robotics Autom. Lett., 8 (12): 8350-8357 (December 2023)Specification-Based Autonomous Driving System Testing., , , , , , , and . IEEE Trans. Software Eng., 49 (6): 3391-3410 (June 2023)Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems., , , , and . IEEE Trans. Dependable Secur. Comput., 20 (4): 3378-3391 (July 2023)A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs., , and . FASE, volume 9633 of Lecture Notes in Computer Science, page 31-48. Springer, (2016)Physical Adversarial Attack on a Robotic Arm., , , and . IEEE Robotics Autom. Lett., 7 (4): 9334-9341 (2022)Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning., , , , and . ICDM Workshops, page 1058-1065. IEEE Computer Society, (2017)Finding Causally Different Tests for an Industrial Control System., , , and . ICSE, page 2578-2590. IEEE, (2023)REDriver: Runtime Enforcement for Autonomous Vehicles., , , and . ICSE, page 176:1-176:12. ACM, (2024)Code integrity attestation for PLCs using black box neural network predictions., , and . ESEC/SIGSOFT FSE, page 32-44. ACM, (2021)Security Modelling for Cyber-Physical Systems: A Systematic Literature Review., , and . CoRR, (2024)