Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications list: <<   <       >   >>  
Showing 1 - 30 (281 total)
 
1
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.
2
Changjian Zhang, David Garlan and Eunsuk Kang. Safe Run-time Recon guration for Event-driven Systems with Pub/Sub in ROS. 2019. Submitted for publication.
3
Vishal Dwivedi, James Herbsleb and David Garlan. What Ails End-User Composition: A Cross-Domain Qualitative Study. In End-User Development. IS-EUD 2017, Vol. 10303 of Lecture Notes in Computer Science, Springer, 2017.
4
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.
5
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.
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
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and David Garlan. Fast and Slow Planning: An Empirical Study of Learning-based Hybrid Planning. 2019. Submitted for publication.
8
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. To appear.
9
Cody Kinneer, David Garlan and Claire Le Goues. Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. 2019. Submitted for publication.
10
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.
11
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.
12
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, 2019. Accepted for publication. https://doi.org/10.1016/j.jss.2019.02.055.
13
Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. In ACM Transactions on Autonomous and Adaptive Systems, Vol. 13(1), May 2018. https://doi.org/10.1145/3149180.
14
Ryan Wagner, David Garlan and Matthew Fredrikson. Poster: Quantitative Underpinnings of Secure, Graceful Degradation. In In Proceedings of the 2018 Symposium of Hot Topics in the Science of Security, Raleigh, North Carolina, 10-11 April 2018.
15
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
16
Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty and its Reduction in Decision-Making for Self-Adaptation. In Science of Computer Programming, Vol. 167:51-69, 1 December 2018.
17
Nancy Mead, David Garlan and Mary Shaw. Half a Century of Software Engineering Education: The CMU Exemplar. In IEEE Software, Vol. 35(5):25 -- 31, September 2018.
18
Gabriel A. Moreno. Adaptation Timing in Self-Adaptive Systems. PhD thesis, Institute for Software Research, School of Computer Science,Carnegie Mellon University, April 2017. Technical Report CMU-ISR-17-103.
19
Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan and Claire Le Goues. Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search. In In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 28-29 May 2018. Selected as a distinguished paper.
20
Nabor C. Mendonça, David Garlan, Bradley Schmerl and Javier Cámara. Generality vs. Reusability in Architecture-Based Self-Adaptation: The Case for Self-Adaptive Microservices. In The 12th European Conference on Software Architecture: Companion Proceedings, Madrid, Spain, 24-28 September 2018.
21
Bradley Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier and Jeffrey M. Barnes. Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations. In HotSoS 2014: 2014 Symposium and Bootcamp on the Science of Security, Raleigh, NC, USA, 8-9 April 2014.
22
Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl and David Garlan. Appendix for IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems. 2018. Paper Reference.
23
Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl and David Garlan. IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems. In 22nd International Symposium on Formal Methods (FM2018), Oxford, UK, 15-17 July 2018. Appendices.
24
Roykrong Sukkerd, Reid Simmons and David Garlan. Towards Explainable Multi-Objective Probabilistic Planning. In Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS\'18), Gothenburg, Sweden, 27 May 2018.
25
Gabriel A. Moreno, Javier Cámara, David Garlan and Mark Klein. Uncertainty Reduction in Self-Adaptive Systems. In Proc. of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, Sweden, 28-29 May 2018.
26
Gabriel A. Moreno, Bradley Schmerl and David Garlan. SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications. In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Gothenburg, Sweden, 28-29 May 2018. Best Artifact Paper Award Winner.
27
Javier Cámara, Bradley Schmerl, Gabriel A. Moreno and David Garlan. MOSAICO: Offline Synthesis of Adaptation Strategy Repertoires with Flexible Trade-Offs. In Automated Software Engineering, May 2018. Springer Link.
28
Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation. In Proceedings of the 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017), Vol. 10729 of Lecture Notes in Computer Science, Springer, 5 September 2017.
29
Ryan Wagner, David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.
30
Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Analyzing Self-Adaptation via Model Checking of Stochastic Games. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems III. Assurances, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017.
Feedback: ABLE Webmaster
Last modified: Tue June 13 2017 17:25:49
        BibAdmin