Stealthy deception attacks for cyber-physical systems. - Romulo Meira Goes; Eunsuk Kang; Raymond H. Kwong; Stéphane Lafortune (CDC, 2017)

Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata. - Romulo Meira Goes; Raymond H. Kwong; Stéphane Lafortune (ACC, 2019)

Towards resilient supervisors against sensor deception attacks. - Rômulo Meira-Góes; Hervé Marchand; Stéphane Lafortune (CDC, 2019)

Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. - Rômulo Meira-Góes; Eunsuk Kang; Raymond H. Kwong; Stéphane Lafortune (Autom., 2020)

Synthesis of Supervisors Robust Against Sensor Deception Attacks. - Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand (IEEE Trans. Autom. Control., 2021)

Artifact for Paper: On tolerance of discrete systems with respect to transition perturbations. - Rômulo Meira-Góes; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (Zenodo, 2021)

Requirements Engineering for Feedback Loops in Software-Intensive Systems. - Eunsuk Kang; Rômulo Meira-Góes (RE Workshops, 2022)

Run-Time Adaptation of Quality Attributes for Automated Planning. - Rebekka Wohlrab; Rômulo Meira-Góes; Michael Vierhauser (SEAMS, 2022)

Using Subobservers to Synthesize Opacity-Enforcing Supervisors. - Richard Hugh Moulton; Behnam Behinaein Hamgini; Zahra Abedi Khouzani; Rômulo Meira-Góes; Fei Wang 114; Karen Rudie (Discret. Event Dyn. Syst., 2022)

Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata. - Rômulo Meira-Góes; Raymond H. Kwong; Stéphane Lafortune (IEEE Trans. Autom. Control., 2022)

A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems. - Rômulo Meira-Góes; Jack Weitze; Stéphane Lafortune (IEEE Trans. Autom. Control., 2022)

Risk-Averse Model Predictive Control for Priced Timed Automata. - Mostafa Tavakkoli Anbarani; Efe C. Balta; Rômulo Meira-Góes; Ilya Kovalenko (ACC, 2023)

Safe Environmental Envelopes of Discrete Systems. - Rômulo Meira-Góes; Ian Dardik; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2023)

A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems. - Mostafa Tavakkoli Anbarani; Efe C. Balta; Rômulo Meira-Góes; Ilya Kovalenko (CCTA, 2023)

Fortis: A Tool for Analysis and Repair of Robust Software Systems. - Changjian Zhang; Ian Dardik; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (FMCAD, 2023)

Robustification of Behavioral Designs against Environmental Deviations. - Changjian Zhang; Tarang Saluja; Rômulo Meira-Góes; Matthew L. Bolton; David Garlan; Eunsuk Kang (ICSE, 2023)

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. - Simon Chu; Emma Shedden; Changjian Zhang; Rômulo Meira-Góes; Gabriel A. Moreno; David Garlan; Eunsuk Kang (SEAMS, 2023)

Dealing with sensor and actuator deception attacks in supervisory control. - Rômulo Meira-Góes; Hervé Marchand; Stéphane Lafortune (Autom., 2023)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. - Changjian Zhang; Parv Kapoor; Romulo Meira Goes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (CoRR, 2023)

On tolerance of discrete systems with respect to transition perturbations. - Rômulo Meira-Góes; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (Discret. Event Dyn. Syst., 2023)

Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. - Changjian Zhang; Parv Kapoor; Rômulo Meira-Góes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (FM (2), 2024)

Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. - Parv Kapoor; Eunsuk Kang; Rômulo Meira-Góes (NFM, 2024)

Constrained LTL Specification Learning from Examples. - Changjian Zhang; Parv Kapoor; Ian Dardik; Leyi Cui; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (ICSE, 2025)

Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata. - Parastou Fahim; Samuel Oliveira; Rômulo Meira-Góes (CoRR, 2025)