Hammer, A., Wang, C., Dini, V., Wagner, R., Kang, E., Schmerl, B., & Garlan, D. (2025). Resilience of Systems under Maximum Component Deviations. In 23rd International Conference on Software Engineering and Formal Methods. Toledo, Spain.

Zhang, C., Kapoor, P., Dardik, I., Cui, L., Meira-Goes, R., Garlan, D., & Kang, E. (2025). Constrained LTL Specification Learning from Examples. In 2025 International Conference on Software Engineering . Ottawa, Canada.