| 1 |
Changjian Zhang, Parv Kapoor, Romulo Meira Goes,
David Garlan,
Eunsuk Kang, Akila Ganlath, Shatadal Mishra and Nejib Ammar. Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. In 26th International Symposium on Formal Methods (FM24), 11-13 September 2024. To appear.
|
| 2 |
Changjian Zhang, Taranj Saluja,
Rômulo Meira-Góes, Matthew Bolton,
David Garlan and
Eunsuk Kang. Robustification of Behavioral Designs against Environmental Deviations. In Proceedings of the 45th International Conference on Software Engineering, 14-20 May 2023.
|
| 3 |
Simon Chu, Emma Shedden,
Changjian Zhang,
Rômulo Meira-Góes,
Gabriel A. Moreno,
David Garlan and
Eunsuk Kang. Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. In Proceedings of the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 15-16 May 2023.
|
| 4 |
Changjian Zhang, Ian Dardik,
Rômulo Meira-Góes,
David Garlan and
Eunsuk Kang. Fortis: A Tool for Analysis and Repair of Robust Software Systems. In Proc. Formal Methods in Computer-Aided Design 2023, 23-27 October 2023.
|
| 5 |
Changjian Zhang,
Ryan Wagner, Pedro Orvalho,
David Garlan, Vasco Manquinho, Ruben Martins and
Eunsuk Kang. AlloyMax: Bringing Maximum Satisfaction to Relational Specifications. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021, Virtual, 23-28 August 2021. Distinguished Paper Award.
|
| 6 |
Changjian Zhang,
David Garlan and
Eunsuk Kang. A Behavioral Notion of Robustness for Software Systems. In Proceedings of the 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Virtual, 6-16 November 2020.
|
|
|
