Author of the publication

Towards Automated Safety Vetting of PLC Code in Real-World Plants.

, , , , , , , , , , and . IEEE Symposium on Security and Privacy, page 522-538. IEEE, (2019)

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

A Methodology to Develop and Implement Digital Twin Solutions for Manufacturing Systems., , , , , , , and . IEEE Access, (2021)A Norm Optimal Approach to Time-Varying ILC With Application to a Multi-Axis Robotic Testbed., and . IEEE Trans. Control. Syst. Technol., 19 (1): 166-180 (2011)Convolutional Bayesian Kernel Inference for 3D Semantic Mapping., , , , , , , and . CoRR, (2022)Context-Sensitive Modeling and Analysis of Cyber-Physical Manufacturing Systems for Anomaly Detection and Diagnosis., , , and . IEEE Trans Autom. Sci. Eng., 17 (1): 29-40 (2020)Convolutional Bayesian Kernel Inference for 3D Semantic Mapping., , , , , , , and . ICRA, page 8364-8370. IEEE, (2023)Enhancing the Efficacy of Lower-body Assistive Devices Through the Understanding of Human Movement in the Real World., , , and . ICRA, page 11351-11358. IEEE, (2023)Sample efficient transfer in reinforcement learning for high variable cost environments with an inaccurate source reward model., , , and . ACC, page 2892-2898. IEEE, (2022)An energy-efficient method for multi-robot reconnaissance in an unknown environment., , , , , and . ACC, page 2279-2284. IEEE, (2017)Dynamic Rerouting of Cyber-Physical Production Systems in Response to Disruptions Based on SDC Framework., , , , and . ACC, page 3650-3657. IEEE, (2019)Estimating propulsive efficiency of bottlenose dolphins during steady-state swimming., , , , , and . CCTA, page 675-680. IEEE, (2023)