A behavioral notion of robustness for software systems C Zhang, D Garlan, E Kang Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 15 | 2020 |
Robustification of behavioral designs against environmental deviations C Zhang, T Saluja, R Meira-Góes, M Bolton, D Garlan, E Kang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 5 | 2023 |
AlloyMax: bringing maximum satisfaction to relational specifications C Zhang, R Wagner, P Orvalho, D Garlan, V Manquinho, R Martins, ... Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 5 | 2021 |
Runtime resolution of feature interactions through adaptive requirement weakening S Chu, E Shedden, C Zhang, R Meira-Góes, GA Moreno, D Garlan, ... 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023 | 3 | 2023 |
Fortis: A Tool for Analysis and Repair of Robust Software Systems C Zhang, I Dardik, R Meira-Góes, D Garlan, E Kang 2023 Formal Methods in Computer-Aided Design (FMCAD), 1-9, 2023 | 2 | 2023 |
Automated synthesis of minimal hardware exploits with Checkmate and MaxSAT Solver C Zhang, R Martins, MJH Heule, E Kang MaxSAT Evaluation 2020, 49, 0 | 2* | |
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations C Zhang, P Kapoor, R Meira-Goes, D Garlan, E Kang, A Ganlath, ... arXiv preprint arXiv:2311.07462, 2023 | 1 | 2023 |
Trade-off-oriented Development: Making Quality Attribute Trade-offs First-class N Li, S Adepu, E Kang, D Garlan, N Li, M Zhang, E Kang, D Garlan, ... Proceedings of the 41st International Conference on Software Engineering …, 2020 | | 2020 |
Safe Run-time Reconfiguration for Event-driven Systems with Pub/Sub in ROS C Zhang, D Garlan, E Kang | | |