Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Year << 2023 >>   Download bibtex file
<< Article (Journal) >> TOP
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.
<< InProceedings >> TOP
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.
<< PhdThesis >> TOP
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.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin