Publications by David Garlan

Journal Article

A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems

2023 • Requirements Engineering • 28(1):3-22
Wohlrab R, Garlan D

Preprint

CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots

2023
Hossen MA, Kharade S, Schmerl B, Cámara J, O'Kane JM, Czaplinski EC, Dzurilla KA, Garlan D, Jamshidi P

Journal Article

CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots

2023 • IEEE Robotics and Automation Letters • 8(7):4115-4122
Hossen MA, Kharade S, Schmerl B, Camara J, O'Kane JM, Czaplinski EC, Dzurilla KA, Garlan D, Jamshidi P

Journal Article

Explaining quality attribute tradeoffs in automated planning for self-adaptive systems

2023 • Journal of Systems and Software • 198:
Wohlrab R, Camara J, Garlan D, Schmerl B

Journal Article

ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction

2023 • Journal of Systems and Software • 198:
Camara J, Wohlrab R, Garlan D, Schmerl B

Journal Article

Learning by re-doing: an experimental study on the impact of repetition of formative assessments in a formal methods course for software engineers

2023 • IEEE Software
Camara J, Garlan D

Conference

Robustification of Behavioral Designs against Environmental Deviations

2023 423-434
Zhang C, Saluja T, Meira-Góes R, Bolton M, Garlan D, Kang E

Conference

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening

2023 • ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems • 115-125
Chu S, Shedden E, Zhang C, Meira-Goes R, Moreno GA, Garlan D, Kang E

Chapter

A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems

2022 • Lecture Notes in Artificial Intelligence • 13230:317-332
Casimiro M, Garlan D, Camara J, Rodrigues L, Romano P

Chapter

A Probabilistic Model for Effective Explainability Based on Personality Traits

2022 • Lecture Notes in Artificial Intelligence • 13365:205-225
Alharbi MN, Huang S, Garlan D

Conference

Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata

2022 • Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 • 24-30
Cámara J, Calinescu R, Cheng BHC, Garlan D, Schmerl B, Troya J, Vallecillo A

Preprint

Explaining Quality Attribute Tradeoffs in Automated Planning for Self-Adaptive Systems

2022
Wohlrab R, Cámara J, Garlan D, Schmerl B

Conference

Making Architecture Optimization Transparent with Tactic-Based Explanations

2022 • 2022 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2022) • 5-9
Diaz-Pace JA, Garlan D

Journal Article

Modeling and Analysis of Explanation for Secure Industrial Control Systems

2022 • ACM Transactions on Autonomous and Adaptive Systems • 17(3-4):
Adepu S, Li N, Kang E, Garlan D

Conference

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems

2022 • IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2022) • 112-123
Timperley CS, Durschmid T, Schmerl B, Garlan D, Le Goues C

Conference

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems Artifact Paper

2022 • 2022 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2022) • 56-56
Timperley CS, Durschmid T, Schmerl B, Garlan D, Le Goues C

Chapter

Self-adaptive Machine Learning Systems: Research Challenges and Opportunities

2022 • Lecture Notes in Artificial Intelligence • 13365:133-155
Casimiro M, Romano P, Garlan D, Moreno GA, Kang E, Klein M

Journal Article

The uncertainty interaction problem in self-adaptive systems

2022 • Software and System Modeling • 21(4):1277-1294
Camara J, Troya J, Vallecillo A, Bencomo N, Calinescu R, Cheng BHC, Garlan D, Schmerl B

Conference

Towards a Framework for Adapting Machine Learning Components

2022 • 2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2022) • 131-140
Casimiro M, Romano P, Garlan D, Rodrigues L

Conference

A probabilistic model for personality trait focused explainability

2021 • CEUR Workshop Proceedings • 2978:
Alharbi MN, Huang S, Garlan D

Conference

AlloyMax: Bringing Maximum Satisfaction to Relational Specifications

2021 • PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21) • 155-167
Zhang C, Wagner R, Orvalho P, Garlan D, Manquinho V, Martins R, Kang E

Conference

Defining Utility Functions for Multi-stakeholder Self-adaptive Systems

2021 • Lecture Notes in Artificial Intelligence • 12685:116-122
Wohlrab R, Garlan D

Preprint

Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems

2021
Wohlrab R, Garlan D

Journal Article

Developing Self-Adaptive Microservice Systems: Challenges and Directions

2021 • IEEE Software • 38(2):70-79
Mendonca NC, Jamshidi P, Garlan D, Pahl C

Chapter

Engineering Secure Self-Adaptive Systems with Bayesian Games

2021 • Lecture Notes in Artificial Intelligence • 12649:130-151
Li N, Zhang M, Kang E, Garlan D