Rmulo Meira-Ges
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Constrained LTL Specification Learning from Examples. | Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2024 | FM | Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. | Changjian Zhang, Parv Kapoor, Rmulo Meira-Ges, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar |
| 2023 | CAV | Safe Environmental Envelopes of Discrete Systems. | Rmulo Meira-Ges, Ian Dardik, Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2023 | FMCAD | Fortis: A Tool for Analysis and Repair of Robust Software Systems. | Changjian Zhang, Ian Dardik, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2023 | ICSE | Robustification of Behavioral Designs against Environmental Deviations. | Changjian Zhang, Tarang Saluja, Rmulo Meira-Ges, Matthew L. Bolton, David Garlan, Eunsuk Kang |
| 2023 | SEAMS | Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. | Simon Chu, Emma Shedden, Changjian Zhang, Rmulo Meira-Ges, Gabriel A. Moreno, David Garlan, Eunsuk Kang |
| 2022 | RE | Requirements Engineering for Feedback Loops in Software-Intensive Systems. | Eunsuk Kang, Rmulo Meira-Ges |
| 2022 | SEAMS | Run-Time Adaptation of Quality Attributes for Automated Planning. | Rebekka Wohlrab, Rmulo Meira-Ges, Michael Vierhauser |