Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Year << 2020 >>   Download bibtex file
<< Article (Journal) >> TOP
1
Martin Pfannmüller, Martin Breitbach, Marcus Weckesser, Christian Becker, Bradley Schmerl, Andy Schürr and Christian Krupitzer. REACT-ION: A Model-based Runtime Environment for Situation-aware Adaptations. In ACM Transactions on Autonomous and Adaptive Systems, Vol. 15(4):1-29, December 2020.
<< InProceedings >> TOP
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.
<< PhdThesis >> TOP
18
Ashutosh Pandey. Hybrid Planning in Self-adaptive Systems. PhD thesis, Carnegie Mellon University, 2020. Institute for Software Research Technical Report CMU-ISR-20-100.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin