Romulo Meira Goes

According to our database, Romulo Meira Goes authored at least 24 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata.

Parastou Fahim, Samuel Oliveira, Rômulo Meira-Góes

CoRR, February, 2025

Constrained LTL Specification Learning from Examples.

Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications.

Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

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., December, 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

Dealing with sensor and actuator deception attacks in supervisory control.

Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune

Autom., 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

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Robustification of Behavioral Designs against Environmental Deviations.

Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 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

Proceedings of the Formal Methods in Computer-Aided Design, 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

Proceedings of the IEEE Conference on Control Technology and Applications, 2023

Safe Environmental Envelopes of Discrete Systems.

Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Risk-Averse Model Predictive Control for Priced Timed Automata.

Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko

Proceedings of the American Control Conference, 2023

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

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

Using Subobservers to Synthesize Opacity-Enforcing Supervisors.

Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie

Discret. Event Dyn. Syst., 2022

Run-Time Adaptation of Quality Attributes for Automated Planning.

Rebekka Wohlrab, Rômulo Meira-Góes, Michael Vierhauser

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Requirements Engineering for Feedback Loops in Software-Intensive Systems.

Eunsuk Kang, Rômulo Meira-Góes

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

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

Dataset, October, 2021

Synthesis of Supervisors Robust Against Sensor Deception Attacks.

Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand

IEEE Trans. Autom. Control., 2021

2020

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

2019

Towards resilient supervisors against sensor deception attacks.

Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata.

Romulo Meira Goes, Raymond H. Kwong, Stéphane Lafortune

Proceedings of the 2019 American Control Conference, 2019

2017

Stealthy deception attacks for cyber-physical systems.

Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017