Publications of Year
<< 2023 >>
|
|
|
|
| 1 |
Javier Cámara and
David Garlan. A study on the impact of repetition of formative assessments in a formal methods course for professional software engineers. In IEEE Software, 2023. doi: 10.1109/MS.2023.3291400.
|
| 2 |
Md Abir Hossen, Sonam Kharade,
Bradley Schmerl,
Javier Cámara, Jason M. O\'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla,
David Garlan and
Pooyan Jamshidi. CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. In IEEE Robotics and Automation Letters, Pages 1-8, May 2023. doi: 10.1109/LRA.2023.3280810.
|
|
|
|
|
| 3 |
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.
|
| 4 |
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.
|
| 5 |
Pedro Mendes,
Maria Casimiro, Paolo Romano and
David Garlan. HyperJump: Accelerating HyperBand via Risk Modelling. In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023.
|
| 6 |
Mohammad Reza Saleh Sedghpour,
David Garlan,
Bradley Schmerl, Cristian Klein and Johan Tordsson. Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. In Proceedings of the 11th IEEE International conference on Cloud Engineering (IC2E), 25-28 September 2023. Best Paper Award.
|
| 7 |
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.
|
| 8 |
Andres Diaz-Pace,
Rebekka Wohlrab and
David Garlan. Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. In 17th European Conference on Software Architecture (ECSA), 18-22 September 2023. Best Paper Award.
|
|
|
|
|
| 9 |
Thomas J. Glazier. Meta-Management of Collections of Autonomic Systems. PhD thesis, Nr. (CMU-S3D-23-110), Software and Societal Systems Department, School of Computer Science, December 2023.
|
| 10 |
Paulo Casanova. Failure Detection and Diagnosis in
Architecture-based Autonomic Systems. PhD thesis, Nr. (CMU-S3D-12-100), Software and Societal Systems Department, School of Computer Science, Carnegie Mellon University, April 2023.
|
|
|
