Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 11 Sustainable Cities and Communities
Fingerprint
Dive into the research topics where Romulo Meira Goes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
Collaborative Research: Novel Fault Detection and Diagnostics Approach for Robust Design and Reliable Operation of Critical Cooling Infrastructure in Data Centers
Meira Goes, R. (PI) & Wangdazuo@psuedu, W. Z. (CoPI)
10/1/25 → 9/30/28
Project: Research project
-
Constrained LTL Specification Learning from Examples
Zhang, C., Kapoor, P., Dardik, I., Cui, L., Meira-Góes, R., Garlan, D. & Kang, E., 2025, Proceedings - 2025 IEEE/ACM 47th International Conference on Software Engineering, ICSE 2025. IEEE Computer Society, p. 629-641 13 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
Oliveira, S., Anbarani, M. T., Beal, G., Kovalenko, I., Teixeira, M., Leal, A. B. & Meira-Góes, R., 2025, 2025 IEEE 64th Conference on Decision and Control, CDC 2025. Institute of Electrical and Electronics Engineers Inc., p. 1220-1226 7 p. (Proceedings of the IEEE Conference on Decision and Control).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Link opens in a new tab Scopus citations -
Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems
Zhang, C., Kapoor, P., Meira-Góes, R., Garlan, D., Kang, E., Ganlath, A., Mishra, S. & Ammar, N., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 267-285 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14934 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Link opens in a new tab Scopus citations -
Detecting probability footprints of sensor deception attacks in supervisory control
Fahim, P. & Meira-Góes, R., May 1 2024, In: IFAC-PapersOnLine. 58, 1, p. 192-197 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Link opens in a new tab Scopus citations -
Modeling and Mitigating Silent Faults in Coupled Discrete Event Systems
Anbarani, M. T., Lim, J., Meira-Góes, R. & Kovalenko, I., May 1 2024, In: IFAC-PapersOnLine. 58, 1, p. 168-173 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access