Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publications of Year << 2019 >>   Download bibtex file
<< Article (Journal) >> TOP
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.
Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Chrisopher 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.
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.
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.
<< InProceedings >> TOP
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.
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.
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.
Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues and David Garlan. Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats. In 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.
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. Winner of the Best Artifact Award.
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.
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.
<< PhdThesis >> TOP
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.
<< Unpublished >> TOP
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
Cody Kinneer, David Garlan and Claire Le Goues. Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. 2019. Submitted for publication.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32