Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Year << 2020 >>   Download bibtex file
<< InProceedings >> TOP
1
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. To appear.
2
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. Accepted for publication.
3
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. To appear.
4
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.
5
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.
6
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.
7
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.
8
Roykrong Sukkerd, Reid Simmons and David Garlan. Tradeoff-Focused Contrastive Explanation for MDP Planning. In Proceedings of the The 29th IEEE International Conference on Robot & Human Interactive Communication, Virtual, 31 August - 4 September 2020. To appear.
9
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. To appear. Supplemental Material.
10
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. To appear.
11
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. To appear.
12
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. To appear.
13
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. To appear.
<< PhdThesis >> TOP
14
Ashutosh Pandey. Hybrid Planning in Self-adaptive Systems. PhD thesis, Carnegie Mellon University, 2020. Institute for Software Research Technical Report CMU-ISR-20-100.
<< Unpublished >> TOP
15
Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson and Kenji Tei. Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. 2020. Submitted for publication.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin