Projects per year
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):
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) & Zuo, W. (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
-
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 Access -
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 Access1 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 -
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications
Kapoor, P., Kang, E. & Meira-Góes, R., 2024, NASA Formal Methods - 16th International Symposium, NFM 2024, Proceedings. Benz, N., Gopinath, D. & Shi, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 377-396 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14627 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations