| 1 |
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.
|
| 2 |
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.
|
| 3 |
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.
|
|
|
