| Stealthy Deception Attacks for Cyber-Physical Systems R Meira-Góes, E Kang, R Kwong, S Lafortune 56th IEEE Conference on Decision and Control, 2017 | 72* | 2017 |
| Synthesis of sensor deception attacks at the supervisory layer of Cyber–Physical Systems R Meira-Góes, E Kang, RH Kwong, S Lafortune Automatica 121, 109172, 2020 | 50 | 2020 |
| Synthesis of supervisors robust against sensor deception attacks R Meira-Góes, S Lafortune, H Marchand IEEE Transactions on Automatic Control 66 (10), 4990-4997, 2021 | 32 | 2021 |
| Towards resilient supervisors against sensor deception attacks R Meira-Góes, H Marchand, S Lafortune 2019 IEEE 58th Conference on Decision and Control (CDC), 5144-5149, 2019 | 24 | 2019 |
| Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata R Meira-Goes, R Kwong, S Lafortune Proceedings of the 2019 American Control Conference, 2019 | 22 | 2019 |
| Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata R Meira-Góes, RH Kwong, S Lafortune IEEE Transactions on Automatic Control 67 (6), 2873-2888, 2021 | 9 | 2021 |
| Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction S Mohajerani, R Meira-Góes, S Lafortune 15th IFAC Workshop on Discrete Event Systems, 2020 | 8 | 2020 |
| Demonstration of indoor location privacy enforcement using obfuscation R Meira-Góes, BC Rawlings, N Recker, G Willett, S Lafortune IFAC-PapersOnLine - 14th IFAC Workshop on Discrete Event Systems. 51 (7 …, 2018 | 8* | 2018 |
| Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks R Meira-Góes, S Lafortune 15th IFAC Workshop on Discrete Event Systems, 2020 | 5 | 2020 |
| Mitigation of classes of attacks using a probabilistic discrete event system framework ZY Wang, R Meira-Góes, S Lafortune, RH Kwong IFAC-PapersOnLine 53 (4), 35-41, 2020 | 5 | 2020 |
| Towards probabilistic intrusion detection in supervisory control of discrete event systems R Meira-Góes, C Keroglou, S Lafortune IFAC-PapersOnLine 53 (2), 1776-1782, 2020 | 4 | 2020 |
| Using subobservers to synthesize opacity-enforcing supervisors RH Moulton, BB Hamgini, ZA Khouzani, R Meira-Góes, F Wang, K Rudie Discrete Event Dynamic Systems 32 (4), 611-640, 2022 | 3 | 2022 |
| Dealing with sensor and actuator deception attacks in supervisory control R Meira-Góes, H Marchand, S Lafortune Automatica 147, 110736, 2023 | 1 | 2023 |
| On tolerance of discrete systems with respect to transition perturbations R Meira-Góes, E Kang, S Lafortune, S Tripakis arXiv preprint arXiv:2110.04200, 2021 | 1 | 2021 |
| A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems R Meira-Góes, J Weitze, S Lafortune IEEE Transactions on Automatic Control 67 (7), 3567-3573, 2021 | 1 | 2021 |
| Resilience Against Sensor Deception Attacks at the Supervisory Control Layer of Cyber-Physical Systems: A Discrete Event Systems Approach R Meira-Góes | 1 | 2020 |
| Risk-Averse Model Predictive Control for Priced Timed Automata MT Anbarani, EC Balta, R Meira-Góes, I Kovalenko arXiv preprint arXiv:2210.15604, 2022 | | 2022 |
| Requirements Engineering for Feedback Loops in Software-Intensive Systems E Kang, R Meira-Góes 2022 IEEE 30th International Requirements Engineering Conference Workshops …, 2022 | | 2022 |
| On synthesizing tolerable and permissive controllers for labeled transition systems R Meira-Góes, E Kang, S Lafortune, S Tripakis IFAC-PapersOnLine 55 (28), 158-164, 2022 | | 2022 |
| Run-Time Adaptation of Quality Attributes for Automated Planning R Wohlrab, R Meira-Góes, M Vierhauser | | 2022 |
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAVerified email at umich.edu
