Rômulo Meira-Góes

30 papers A* 2A 2B 1C 1Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
Constrained LTL Specification Learning from Examples.
ICSE
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2025 J jnl
Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata.
CoRR
Parastou Fahim, Samuel Oliveira, Rômulo Meira-Góes
2025 — conf
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks.
CDC
Samuel Oliveira, Mostafa Tavakkoli Anbarani, Gregory Beal, Ilya Kovalenko, Marcelo Teixeira, André B. Leal, Rômulo Meira-Góes
2025 J jnl
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks.
CoRR
Samuel Oliveira, Mostafa Tavakkoli Anbarani, Gregory Beal, Ilya Kovalenko, Marcelo Teixeira, André B. Leal, Rômulo Meira-Góes
2024 — conf
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications.
NFM
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
2024 J jnl
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications.
CoRR
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
2024 — conf
Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems.
FM (2)
Changjian Zhang, Parv Kapoor, Rômulo Meira-Góes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2023 — conf
A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems.
CCTA
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
2023 J jnl
A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems.
CoRR
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
2023 J jnl
Dealing with sensor and actuator deception attacks in supervisory control.
Autom.
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
2023 B conf
Fortis: A Tool for Analysis and Repair of Robust Software Systems.
FMCAD
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2023 J jnl
On tolerance of discrete systems with respect to transition perturbations.
Discret. Event Dyn. Syst.
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023 C conf
Risk-Averse Model Predictive Control for Priced Timed Automata.
ACC
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
2023 A* conf
Robustification of Behavioral Designs against Environmental Deviations.
ICSE
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
2023 A conf
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening.
SEAMS
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023 J jnl
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening.
CoRR
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023 — conf
Safe Environmental Envelopes of Discrete Systems.
CAV (1)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023 J jnl
Safe Environmental Envelopes of Discrete Systems.
CoRR
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2022 J jnl
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems.
IEEE Trans. Autom. Control.
Rômulo Meira-Góes, Jack Weitze, Stéphane Lafortune
2022 — conf
Requirements Engineering for Feedback Loops in Software-Intensive Systems.
RE Workshops
Eunsuk Kang, Rômulo Meira-Góes
2022 J jnl
Risk-Averse Model Predictive Control for Priced Timed Automata.
CoRR
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes, Ilya Kovalenko
2022 A conf
Run-Time Adaptation of Quality Attributes for Automated Planning.
SEAMS
Rebekka Wohlrab, Rômulo Meira-Góes, Michael Vierhauser
2022 J jnl
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata.
IEEE Trans. Autom. Control.
Rômulo Meira-Góes, Raymond H. Kwong, Stéphane Lafortune
2022 J jnl
Using Subobservers to Synthesize Opacity-Enforcing Supervisors.
Discret. Event Dyn. Syst.
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
2021 J jnl
On tolerance of discrete systems with respect to transition perturbations.
CoRR
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2021 J jnl
Synthesis of Supervisors Robust Against Sensor Deception Attacks.
IEEE Trans. Autom. Control.
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
2021 J jnl
Using Subobservers to Synthesize Opacity-Enforcing Supervisors.
CoRR
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
2020 J jnl
Synthesis of Supervisors Robust Against Sensor Deception Attacks.
CoRR
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
2020 J jnl
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems.
Autom.
Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
2019 — conf
Towards resilient supervisors against sensor deception attacks.
CDC
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune