Publications of Year
<< 2019 >>
|
|
|
|
| 1 |
Javier Cámara,
David Garlan and
Bradley Schmerl. Synthesizing Tradeoff Spaces of Quantitative Guarantees for Families of Software Systems. In Journal of Systems and Software, Vol. 152:33-49, June 2019. https://doi.org/10.1016/j.jss.2019.02.055.
|
| 2 |
Jonathan Aldrich,
David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir,
Ivan Ruchkin, Selva Samuel,
Bradley Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz,
Javier Cámara and
Pooyan Jamshidi. Model-Based Adaptation for Robotics Software. In IEEE Software, March 2019.
|
| 3 |
Darko Bozhinoski,
David Garlan, Ivano Malavolta and Patrizio Pelliccione. Managing safety and mission completion via collective run-time adaptation. In Journal of Systems Architecture, Vol. 95:19--35, 2019.
|
| 4 |
Nabor C. Mendonça,
Pooyan Jamshidi,
David Garlan and Claus Pahl. Developing Self-Adaptive Microservice Systems: Challenges and Directions. In IEEE Software, 26 November 2019.
|
|
|
|
|
| 5 |
Pooyan Jamshidi,
Javier Cámara,
Bradley Schmerl, Christian Kästner and
David Garlan. Machine Learning Meets Quantitative Planning: Enabling Self-adaptation in Autonomous Robots. In Proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Montreal, Canada, 25-26 May 2019.
|
| 6 |
Ellin Zhao and
Roykrong Sukkerd. Interactive Explanation for Planning-Based Systems. In Proceedings of the 10th ACM/IEEE International Conference on Cyberphysical Systems, Work-in-Progress track, Montreal, Canada, 16-18 April 2019.
|
| 7 |
Thomas J. Glazier and
David Garlan. An Automated Approach to Management of a Collection of Autonomic Systems. In Proceedings of the 4th eCAS Workshop on Engineering Collective Adaptive Systems, Umea, Sweden, 16 June 2019.
|
| 8 |
Cody Kinneer,
Ryan Wagner, Fei Fang, Claire Le Goues and
David Garlan. Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats. In Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for Systems Design (MEMCODE\'19), San Diego, USA, 9-11 October 2019.
|
| 9 |
Gabriel A. Moreno,
Cody Kinneer,
Ashutosh Pandey and
David Garlan. DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems. In Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Montreal, Canada, 25-26 May 2019. Awarded Best Artifact Award for SEAMS 2019.
|
| 10 |
Carlos Aderaldo,
Nabor C. Mendonça,
Bradley Schmerl and
David Garlan. Kubow: An Architecture-Based Self-Adaptation Service for
Cloud Native Applications. In Proceedings of the 2019 European Conference on Software Architecture: Tools Track, Paris, France, 9-13 September 2019. Awarded Best Demo.
|
| 11 |
Tobias Dürschmid,
Eunsuk Kang and
David Garlan. Trade-off-oriented Development: Making Quality Attribute Trade-offs First-class. In Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, Montreal, CA, May 2019.
|
|
|
|
|
| 12 |
Ivan Ruchkin. Integration of Modeling Methods for Cyber-Physical Systems. PhD thesis, Carnegie Mellon University, March 2019. Institute for Software Research Technical Report CMU-ISR-18-107.
|
|
|
|
|
|
|
