David Garlan

Registered user since Mon 24 Apr 2017

Name:David Garlan
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Software architecture, self-adaptive systems, applied formal methods

Contributions

SEAMS 2022 Steering Committee Member in Steering Committee within the SEAMS 2022-track
Most Influential Paper Chair in Organizing Committee within the SEAMS 2022-track
Committee Member in Program Committee within the SEAMS 2022-track
ECSA 2021 Ordinary PC member in Program Committee within the Research Papers-track
Author of Explaining Architectural Tradeoff Spaces: a Machine Learning Approach within the Research Papers-track
Committee Member in Steering Committee
REFSQ 2021 Author of Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems within the Research Papers-track
SEAMS 2021 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
ESEC/FSE 2021 Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the Research Papers-track
ACSOS 2020 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
ESEC/FSE 2020 Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
ECSA 2020 Committee Member in Steering Committee
SEAMS 2020 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
ICSE 2021 Author of David Garlan's JSEET Keynote: "Reflections on the Role of Software Architecture in Software Engineering Education" within the JSEET - Joint Track on Software Engineering Education and Training-track
SEAMS 2019 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
ICSE 2020 Author of How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems within the Software Engineering in Practice-track
Committee Member in Program Committee within the Software Engineering Education and Training-track
ICSE 2019 Committee Member in Program Committee within the Software Engineering Education and Training -track
Author of Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-Class within the New Ideas and Emerging Results-track
SEAMS 2018 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
* ICSE 2018 * Committee Member in SEET Program committee within the SEET - Software Engineering Education and Training -track