| 2026 | SEAMS | Ripple: A Long-Sighted Self-Adaptation Approach to Retrain Machine Learning-Enabled Systems. | Maria Casimiro, Valentim Romo, Paolo Romano, Lus E. T. Rodrigues, David Garlan |
| 2026 | SEAMS | SEAMS 2026 Community Debate: How Ethical Can an Ethics-Aware Controller Be? Can we Trust it? | Genana Nunes Rodrigues, Betty H. C. Cheng, David Garlan, Paola Inverardi, Jeff Kramer, Sol Zilberman |
| 2025 | ECSA | Data-Driven Understanding of Design Decisions in Pattern-Based Microservices Architecture. | J. Andres Diaz-Pace, Catia Trubiani, David Garlan |
| 2025 | ICSE | Constrained LTL Specification Learning from Examples. | Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2025 | PRICAI | Uncertainty Estimation by Human Perception versus Neural Models. | Pedro Mendes, Paolo Romano, David Garlan |
| 2025 | SEAMS | Flexico: Sustainable Machine Translation via Self-Adaptation. | Maria Casimiro, Paolo Romano, Jos G. C. De Souza, Amin M. Khan, David Garlan |
| 2025 | SEAMS | Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement Learning. | Qi Duan, Ehab Al-Shaer, David Garlan |
| 2025 | SEFM | Resilience of Systems Under Maximum Component Deviations. | Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan |
| 2024 | ECAI | Error-Driven Uncertainty Aware Training. | Pedro Mendes, Paolo Romano, David Garlan |
| 2024 | FM | Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. | Changjian Zhang, Parv Kapoor, Rmulo Meira-Ges, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar |
| 2024 | ICSE | The Architect in the Maze: On the Effective Usage of Automated Design Exploration. | J. Andres Diaz-Pace, David Garlan |
| 2024 | ICSE | ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. | Tobias Drschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues |
| 2024 | ICSE | Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. | David Garlan, Bradley R. Schmerl, Rebekka Wohlrab, Javier Cmara |
| 2024 | SEAMS | Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. | Simon Chu, Justin Koe, David Garlan, Eunsuk Kang |
| 2023 | AAAI | HyperJump: Accelerating HyperBand via Risk Modelling. | Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan |
| 2023 | ECSA | Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. | J. Andres Diaz-Pace, Rebekka Wohlrab, David Garlan |
| 2023 | FMCAD | Fortis: A Tool for Analysis and Repair of Robust Software Systems. | Changjian Zhang, Ian Dardik, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2023 | IC2E | Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. | Mohammad Reza Saleh Sedghpour, David Garlan, Bradley R. Schmerl, Cristian Klein, Johan Tordsson |
| 2023 | ICSE | Robustification of Behavioral Designs against Environmental Deviations. | Changjian Zhang, Tarang Saluja, Rmulo Meira-Ges, Matthew L. Bolton, David Garlan, Eunsuk Kang |
| 2023 | SEAMS | Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. | Simon Chu, Emma Shedden, Changjian Zhang, Rmulo Meira-Ges, Gabriel A. Moreno, David Garlan, Eunsuk Kang |
| 2022 | ICSA | Making Architecture Optimization Transparent with Tactic-Based Explanations. | J. Andres Diaz-Pace, David Garlan |
| 2022 | ICSA | ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. | Christopher Steven Timperley, Tobias Drschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues |
| 2022 | ICSA | ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. | Christopher Steven Timperley, Tobias Drschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues |
| 2022 | MODELS | Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. | Javier Cmara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo |
| 2021 | ECSA | A Probabilistic Model for Personality Trait Focused Explainability. | Mohammed N. Alharbi, Shihong Huang, David Garlan |
| 2021 | ECSA | A Probabilistic Model for Effective Explainability Based on Personality Traits. | Mohammed N. Alharbi, Shihong Huang, David Garlan |
| 2021 | ECSA | Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. | Javier Cmara, Mariana Silva, David Garlan, Bradley R. Schmerl |
| 2021 | ECSA | Self-Adaptation for Machine Learning Based Systems. | Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein |
| 2021 | ECSA | Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. | Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein |
| 2021 | FASE | Engineering Secure Self-Adaptive Systems with Bayesian Games. | Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan |
| 2021 | REFSQ | Defining Utility Functions for Multi-stakeholder Self-adaptive Systems. | Rebekka Wohlrab, David Garlan |
| 2021 | SEAMS | The Unknown Unknowns Are Not Totally Unknown. | David Garlan |
| 2021 | SEAMS | Hey! Preparing Humans to do Tasks in Self-adaptive Systems. | Nianyu Li, Javier Cmara, David Garlan, Bradley R. Schmerl, Zhi Jin |
| 2021 | SEFM | A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. | Maria Casimiro, David Garlan, Javier Cmara, Lus Rodrigues, Paolo Romano |
| 2020 | ICDCS | Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. | Maria Casimiro, Diego Didona, Paolo Romano, Lus E. T. Rodrigues, Willy Zwaenepoel, David Garlan |
| 2020 | ICSA | Model-Based Analysis of Microservice Resiliency Patterns. | Nabor C. Mendona, Carlos Mendes Aderaldo, Javier Cmara, David Garlan |
| 2020 | ICSE | Towards bridging the gap between control and self-adaptive system properties. | Javier Cmara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei |
| 2020 | ICSE | Software architecture and task plan co-adaptation for mobile service robots. | Javier Cmara, Bradley R. Schmerl, David Garlan |
| 2020 | ICSE | Explanations for human-on-the-loop: a probabilistic model checking approach. | Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan |
| 2020 | ICSE | How do you architect your robots?: state of the practice and guidelines for ROS-based systems. | Ivano Malavolta, Grace A. Lewis, Bradley R. Schmerl, Patricia Lago, David Garlan |
| 2020 | MASCOTS | TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. | Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan |
| 2020 | RO-MAN | Tradeoff-Focused Contrastive Explanation for MDP Planning. | Roykrong Sukkerd, Reid G. Simmons, David Garlan |
| 2019 | ECSA | Kubow: an architecture-based self-adaptation service for cloud native applications. | Carlos M. Aderaldo, Nabor C. Mendona, Bradley R. Schmerl, David Garlan |
| 2019 | ICSE | Trade-off-oriented development: making quality attribute trade-offs first-class. | Tobias Drschmid, Eunsuk Kang, David Garlan |
| 2019 | ICSE | Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. | Pooyan Jamshidi, Javier Cmara, Bradley R. Schmerl, Christian Kstner, David Garlan |
| 2019 | ICSE | DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. | Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey, David Garlan |
| 2019 | MEMOCODE | Modeling observability in adaptive systems to defend against advanced persistent threats. | Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan |
| 2018 | ECSA | Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. | Nabor C. Mendona, David Garlan, Bradley R. Schmerl, Javier Cmara |
| 2018 | FM | IPL: An Integration Property Language for Multi-model Cyber-physical Systems. | Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan |
| 2018 | ICSE | Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. | Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues |
| 2018 | ICSE | Uncertainty reduction in self-adaptive systems. | Gabriel A. Moreno, Javier Cmara, David Garlan, Mark Klein |
| 2018 | ICSE | SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. | Gabriel A. Moreno, Bradley R. Schmerl, David Garlan |
| 2018 | ICSE | Towards explainable multi-objective probabilistic planning. | Roykrong Sukkerd, Reid G. Simmons, David Garlan |
| 2017 | ECSA | Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. | Javier Cmara, David Garlan, Bradley R. Schmerl |
| 2017 | SEFM | Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. | Javier Cmara, Wenxin Peng, David Garlan, Bradley R. Schmerl |
| 2016 | ECSA | Architecture Modeling and Analysis of Security in Android Systems. | Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cmara, David Garlan |
| 2016 | ICSE | Multiscale time abstractions for long-range planning under uncertainty. | Roykrong Sukkerd, Javier Cmara, David Garlan, Reid G. Simmons |
| 2015 | CCS | Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. | Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2015 | ICSE | Reasoning about Human Participation in Self-Adaptive Systems. | Javier Cmara, Gabriel A. Moreno, David Garlan |
| 2015 | ICSE | SASS: Self-Adaptation Using Stochastic Search. | Zack Coker, David Garlan, Claire Le Goues |
| 2015 | ICSE | Modeling Challenges for CPS Systems. | David Garlan |
| 2015 | MODELS | Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. | Ivan Ruchkin, Bradley R. Schmerl, David Garlan |
| 2015 | SAC | Optimal planning for architecture-based self-adaptation via model checking of stochastic games. | Javier Cmara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey |
| 2015 | SEFM | Task Planning of Cyber-Human Systems. | Roykrong Sukkerd, David Garlan, Reid G. Simmons |
| 2014 | EMSOFT | Contract-based integration of cyber-physical analyses. | Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2014 | ICSE | Stochastic game analysis and latency awareness for proactive self-adaptation. | Javier Cmara, Gabriel A. Moreno, David Garlan |
| 2014 | ICSE | Diagnosing unobserved components in self-adaptive systems. | Paulo Casanova, David Garlan, Bradley R. Schmerl, Rui Abreu |
| 2014 | ICSE | Software architecture: a travelogue. | David Garlan |
| 2013 | ICSE | Challenges in developing a software architecture evolution tool as a plug-in. | Jeffrey M. Barnes, David Garlan |
| 2013 | ICSE | Evolving an adaptive industrial software system to use architecture-based self-adaptation. | Javier Cmara, Pedro Correia, Rogrio de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura |
| 2013 | ICSE | Diagnosing architectural run-time failures. | Paulo Casanova, David Garlan, Bradley R. Schmerl, Rui Abreu |
| 2013 | ICSE | A 10-year perspective on software engineering self-adaptive systems (keynote). | David Garlan |
| 2011 | ECSA | Architecture-Based Run-Time Fault Diagnosis. | Paulo Casanova, Bradley R. Schmerl, David Garlan, Rui Abreu |
| 2011 | ECSA | An Architectural Approach to End User Orchestrations. | Vishal Dwivedi, Perla Velasco Elizondo, Jos Maria Fernandes, David Garlan, Bradley R. Schmerl |
| 2011 | ICSE | SORASCS: a case study in soa-based platform design for socio-cultural analysis. | Bradley R. Schmerl, David Garlan, Vishal Dwivedi, Michael W. Bigrigg, Kathleen M. Carley |
| 2010 | ICSE | Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). | Betty H. C. Cheng, Rogrio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Mller, Mauro Pezz, Richard Taylor |
| 2009 | ICSE | Towards engineered architecture evolution. | Sagar Chaki, J. Andrs Daz Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya |
| 2009 | ICSE | RAIDE for engineering architecture-based self-adaptive systems. | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
| 2009 | ICSE | Evaluating the effectiveness of the Rainbow self-adaptive system. | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
| 2009 | ICSE | SEAMS 2009: Software engineering for adaptive and self-managing systems. | Betty H. C. Cheng, Rogrio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor |
| 2009 | ICSE | vol: A tool for defining and planning architecture evolution. | David Garlan, Bradley R. Schmerl |
| 2009 | SEKE | Using Service-oriented Architectures for Socio-Cultural Analysis. | David Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku |
| 2008 | ICSoft | User Guidance of Resource-Adaptive Systems. | Joo Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan |
| 2008 | ICSoft | A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs. | Joo Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan |
| 2007 | ECSA | Software Architectures for Task-Oriented Computing. | David Garlan |
| 2007 | ICSE | SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. | Betty H. C. Cheng, Rogrio de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor |
| 2007 | ICSE | SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. | Betty H. C. Cheng, Rogrio de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor |
| 2006 | ICSE | Software engineering for adaptive and self-managing systems. | Betty H. C. Cheng, David Garlan, Rogrio de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Mller |
| 2006 | ICSE | Architecture-based self-adaptation in the presence of multiple objectives. | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
| 2006 | ISSTA | Analyzing architectural styles with alloy. | Jung Soo Kim, David Garlan |
| 2006 | OOPSLA | Design fragments make using frameworks easier. | George Fairbanks, David Garlan, William L. Scherlis |
| 2006 | OOPSLA | Using framework interfaces with design fragments. | George Fairbanks, David Garlan, William L. Scherlis |
| 2006 | OOPSLA | Design fragments make using frameworks easier. | George Fairbanks, David Garlan, William L. Scherlis |
| 2006 | SEKE | An Architecture for Personal Cognitive Assistance. | David Garlan, Bradley R. Schmerl |
| 2005 | CaiSE | Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation. | Joo Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl |
| 2005 | COMPSAC | Synchronized Architectures for Adaptive Systems. | Tiberiu Seceleanu, David Garlan |
| 2005 | ICSE | Modeling and implementing software architecture with acme and archJava. | Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng |
| 2005 | ICSE | Improving system dependability by enforcing architectural intent. | Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng |
| 2005 | ICSE | DEAS 2005: workshop on the design and evolution of autonomic application software. | David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Mller, Kenny Wong |
| 2005 | SEW | Bridging the Gap between Systems Design. | David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng |
| 2004 | ICSE | Dynamic Configuration of Resource-Aware Services. | Vahe Poladian, Joo Pedro Sousa, David Garlan, Mary Shaw |
| 2004 | ICSE | AcmeStudio: Supporting Style-Centered Architecture Development. | Bradley R. Schmerl, David Garlan |
| 2004 | ICSE | DiscoTect: A System for Discovering Architectures from Running Systems. | Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman |
| 2004 | OOPSLA | Modeling and implementing software architecture with acme and archJava. | Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng |
| 2004 | OOPSLA | Modeling and implementing software architecture with acme and archJava. | Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng |
| 2003 | ICSE | Documenting Software Architectures: Views and Beyond. | Paul C. Clements, David Garlan, Reed Little, Robert L. Nord, Judith A. Stafford |
| 2003 | ICSE | A Compositional Formalization of Connector Wrappers. | Bridget Spitznagel, David Garlan |
| 2002 | HPDC | Software Architecture-Based Adaptation for Grid Computing. | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, Peter Steenkiste, Ningning Hu |
| 2002 | ICSE | Increasing System Dependability through Architecture-Based Self-Repair. | David Garlan, Shang-Wen Cheng, Bradley R. Schmerl |
| 2002 | SEKE | Exploiting architectural design knowledge to support self-repairing systems. | Bradley R. Schmerl, David Garlan |
| 2000 | ICSE | Software architecture: a roadmap. | David Garlan |
| 1999 | Coordination | Acme-Based Software Architecture Interchange. | David Garlan, Zhenyu Wang |
| 1999 | FM | Formal Modeling of the Enterprise JavaBeans | Joo Pedro Sousa, David Garlan |
| 1998 | FASE | Specifying and Analyzing Dynamic Software Architectures. | Robert Allen, Rmi Douence, David Garlan |
| 1996 | ICSR | Style-based reuse for software architectures. | Robert T. Monroe, David Garlan |
| 1995 | ICSE | Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. | David Garlan, Robert Allen, John Ockerbloom |
| 1994 | ICSE | Formalizing Architectural Connection. | Robert Allen, David Garlan |
| 1994 | ICSE | Software Architecture: Practice, Potential, and Pitfalls. | David Garlan, Dewayne E. Perry |
| 1994 | ICSE | Nico Habermann's Research: A Brief Retrospective. | David Garlan, J. Frits Habermann, David Notkin |
| 1994 | RE | The role of software architecture in requirements engineering. | M. Chandra Shekaran, David Garlan, Michael Jackson, Nancy R. Mead, Colin Potts, Howard B. Reubenstein |
| 1993 | ICSE | Formal Approaches to Software Architecture. | David Garlan |
| 1993 | ICSE | Adding Implicit Invocation to Rraditional Programming Languages. | David Garlan, Curtis M. Scott |
| 1993 | RE | Should we specify systems or domain? | D. Partridge, David Garlan, David R. Barstow, Jeff Kramer |
| 1991 | FM | Formalizing Design Spaces: Implicit Invocation Mechanisms. | David Garlan, David Notkin |
| 1990 | FM | Formal Specifications as Reusable Frameworks. | David Garlan, Norman M. Delisle |
| 1987 | OOPSLA | MELDing Data Flow and Object-Oriented Programming. | Gail E. Kaiser, David Garlan |