Journals
R. Meira-Góes, H. Marchand and S. Lafortune "Dealing with sensor and actuator deception attacks in supervisory control" Automatica, 2023.
R.H. Moulton, B. Behinaein Hamgini, Z.A. Khouzani, R. Meira-Góes, F. Wang, K. Rudie "Using Subobservers to Synthesize Opacity-Enforcing Supervisors" in Discrete Event Dynamic Systems, 2022.
R. Meira-Góes, J. Weitze and S. Lafortune "A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems" in IEEE Transaction on Automatic Control, 2021.
R. Meira-Góes, R.H. Kwong and S. Lafortune "Synthesis of optimal multi-objective attack strategies for controlled systems modeled by probabilistic automata" in IEEE Transaction on Automatic Control, 2021. [PDF]
R. Meira-Góes, H. Marchand and S. Lafortune "Synthesis of Supervisors Robust Against Sensor Deception Attacks" in IEEE Transaction on Automatic Control, 2021. [PDF]
R. Meira-Góes, E. Kang, R.H. Kwong and S. Lafortune "Synthesis of sensor deception attacks at the supervisory layer of Cyber–Physical Systems" in Automatica, 2020. [PDF]
Peer-reviewed Conferences
C. Zhang, T. Saluja,R. Meira-Góes, M. Bolton, D. Garlan and E. Kang
"Robustification of Behavioral Designs against Environmental Deviations" (To appear) 2023 International Conference on Software Engineering (ICSE), 2023.
26% acceptance rate
S. Chu, E. Shedden, C. Zhang, R. Meira-Góes, G.A. Moreno, D. Garlan and E. Kang "Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening" (To appear) 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023.
M.T. Anbarani, E.C. Balta, R. Meira-Góes, I. Kovalenko "Risk-Averse Model Predictive Control for Priced Timed Automata" (To appear) American Control Conference, 2023.
R. Meira-Góes E. Kang, S.Lafortune and S. Tripakis "On synthesizing tolerable and permissive controllers for labeled transition systems" in 16th Workshop on Discrete Event Systems, 2022.
E. Kang and R. Meira-Góes "Requirements Engineering for Feedback Loops in Software-Intensive Systems" in 30th International Requirements Engineering Conference, 2022.
R. Wolhrab, R. Meira-Góes and M. Vierhauser "Run-Time Adaptation of Quality Attributes for Automated Planning" in 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2022.
R. Meira-Góes, C. Keroglou, and S. Lafortune "Towards probabilistic intrusion detection in supervisory control of discrete event systems" in 21st IFAC World Congress, 2020. [PDF]
R. Meira-Góes and S. Lafortune
"Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks" in 15th Workshop on Discrete Event Systems, 2020. [PDF]
Best Paper Award Finalist
S. Mohajerani, R. Meira-Góes, and S. Lafortune "Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction" in 15th Workshop on Discrete Event Systems, 2020. [PDF]
Z. Wang, R. Meira-Góes, S. Lafortune, and R.H. Kwong "Mitigation of Classes of Attacks using a Probabilistic Discrete Event System Framework" in 15th Workshop on Discrete Event Systems, 2020. [PDF]
R. Meira-Góes, H. Marchand and S. Lafortune "Towards resilient supervisors against sensor deception attacks" in 58th IEEE Conference on Decision and Control, 2019. [PDF]
R. Meira-Góes, R.H. Kwong and S. Lafortune "Synthesis of Sensor Deception Attacks for Systems Modeled As Probabilistic Automata" in 2019 American Control Conference, 2019. [PDF]
R. Meira-Góes, B.C. Rawlings, N. Recker, G. Willett and S. Lafortune "Demonstration of Indoor Location Privacy Enforcement using Obfuscation" in 14th Workshop on Discrete Event Systems, pp. 145-151, 2018. [PDF]
R. Meira-Góes, E. Kang, R.H. Kwong and S. Lafortune "Stealthy Deception Attacks for Cyber-Physical Systems" in 56th IEEE Conference on Decision and Control, pp. 4224-4230,2017. [PDF]
In Progress/Pre-print
M.T. Anbarani, E.C. Balta, R. Meira-Góes, I. Kovalenko "A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems" ArXiv, 2023. (Under review at CCTA 2023)
R. Meira-Góes, E. Kang, S. Lafortune, and S. Tripakis "On tolerance of discrete systems with respect to transition perturbations" ArXiv, 2021.