| 2 |
Nabor C. Mendonça, Carlos Aderaldo,
Javier Cámara and
David Garlan. Model-Based Analysis of Microservice Resiliency Patterns. In Proceedings of the 2020 IEEE International Conference on Software Architecture, 16-20 March 2020.
|
| 3 |
Maria Casimiro, Diego Didona, Paolo Romano, Luis Rodrigues, Willy Zwaenepoel and
David Garlan. Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. In The 40th International Conference on Distributed Computing Systems, Singapore, 8-10 July 2020.
|
| 4 |
Ivano Malavolta, Grace A. Lewis,
Bradley Schmerl, Patricia Lago and
David Garlan. How do you Architect your Robots? State of the Practice and Guidelines for ROS-based System. In Proceedings of the 42nd International Conference on Software Engineering: Software Engineering in Practice, 23-29 May 2020.
|
| 5 |
Javier Cámara,
Bradley Schmerl and
David Garlan. Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
|
| 6 |
Sheila Venero,
Bradley Schmerl, Leonardo Montecchi, Julio Cesar Dos Reis and Cecilia M. F. Rubira. Automated Planning for supporting Knowledge-intensive Processes. In Proceedings of the 20th Business Process Modeling, Development and Support (BPMDS) Working Conference, 8-9 June 2020.
|
| 7 |
Nianyu Li,
Sridhar Adepu,
Eunsuk Kang and
David Garlan. Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
|
| 8 |
Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel, Danny Weyns,
David Garlan,
Shihong Huang and Kenji Tei. Towards Bridging the Gap between Control and Self-Adaptive System Properties. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
|
| 9 |
Roykrong Sukkerd, Reid Simmons and
David Garlan. Tradeoff-Focused Contrastive Explanation for MDP Planning. In Proceedings of the 29th IEEE International Conference on Robot & Human Interactive Communication, Virtual, 31 August - 4 September 2020.
|
| 10 |
Ashutosh Pandey,
Ivan Ruchkin,
Bradley Schmerl and
David Garlan. Hybrid Planning Using Learning and Model Checking for Autonomous Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Supplemental Material | Presentation Video.
|
| 11 |
Nianyu Li,
Javier Cámara,
David Garlan and
Bradley Schmerl. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Presentation Video.
|
| 12 |
Thomas J. Glazier,
David Garlan and
Bradley Schmerl. Case Study of an Automated Approach to Managing Collections of Autonomic Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Presentation Video.
|
| 13 |
Martin Pfannmüller, Martin Breitbach, Christian Krupitzer, Marcus Weckesser, Christian Becker,
Bradley Schmerl and Andy Schürr. REACT: A Model-Based Runtime Environment for Adapting Communication Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020.
|
| 14 |
Cody Kinneer, Rijnard Van Tonder,
David Garlan and Claire Le Goues. Building Reusable Repertoires for Stochastic Self-* Planners. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., USA, 17-21 August 2020. Presentation Video.
|
| 15 |
Pedro Mendes,
Maria Casimiro, Paolo Romano and
David Garlan. TrimTuner: Efficient Optimization of MachineLearning Jobs in the Cloud via Sub-Sampling. In Proceedings of the 2020 Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2020), 2020.
|
| 16 |
Benjamin Gafford,
Tobias Dürschmid,
Gabriel A. Moreno and
Eunsuk Kang. Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), Virtual, 21-25 September 2020.
|
| 17 |
Changjian Zhang,
David Garlan and
Eunsuk Kang. A Behavioral Notion of Robustness for Software Systems. In Proceedings of the 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Virtual, 6-16 November 2020.
|
|
|
