conf.researchr.org / David Garlan
Registered user since Mon 24 Apr 2017
Name:David Garlan
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://www.cs.cmu.edu/~garlan/
Research interests:Software architecture, self-adaptive systems, applied formal methods
Contributions
2025
2024
Designing
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2023
ECSA
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2022
ESEC/FSE
ECSA
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2021
ECSA
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- Committee Member in Steering Committee within the SEAMS 2021-track
- Author of The Unknown Unknowns Are Not Totally Unknown within the SEAMS 2021-track
- Author of Hey! Preparing Humans to do Tasks in Self-adaptive Systems within the SEAMS 2021-track
- Committee Member in Program Committee within the SEAMS 2021-track
Requirements Engineering: Foundation for Software Quality (REFSQ)
2020
ESEC/FSE
ACSOS
- Author of Case Study of an Automated Approach to Managing Collections of Autonomic Systems within the Research Papers-track
- Author of Building Reusable Repertoires for Stochastic Self-* Planners within the Research Papers-track
- Author of Hybrid Planning Using Learning and Model Checking for Autonomous Systems within the Research Papers-track
- Author of Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems within the Research Papers-track
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- Author of Towards Bridging the Gap between Control and Self-Adaptive System Properties within the SEAMS 2020-track
- Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track
- Author of Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots within the SEAMS 2020-track
- Author of SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectives within the SEAMS 2020-track
- Committee Member in Program Committee within the SEAMS 2020-track
2019
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- Author of DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems within the SEAMS 2019-track
- Session Chair of Security (part of SEAMS 2019)
- Author of Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots within the SEAMS 2019-track
- Program Committee in Program Committee within the SEAMS 2019-track
2018
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- Committee Member in Program Committee within the SEAMS 2018-track
- Author of SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications within the SEAMS 2018-track
- Author of Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search within the SEAMS 2018-track
- Session Chair of Security and Adaptivity (part of SEAMS 2018)
- Committee Member in Steering Committee within the SEAMS 2018-track
- Security and Adaptivity Session Chair in Organizing Committee within the SEAMS 2018-track
- Author of Uncertainty Reduction in Self-Adaptive Systems within the SEAMS 2018-track