GNOME: An Introductory Programming Environment Based on a Family of STructured Editors. - David Garlan; Philip L. Miller (Software Development Environments (SDE), 1984)

Integrated programming environments based on structure editing (panel session). - Dennis R. Goldenson; Ravinder Chandhok; David Garlan; Philip L. Miller; Mark C. Tucker (ACM Conference on Computer Science, 1986)

Views for Tools in Integrated Environments. - David Garlan (Advanced Programming Environments, 1986)

A structural approach to the maintenance of structure-oriented environments. - Barbara J. Staudt; Charles W. Krueger; David Garlan (SDE, 1986)

MELDing Data Flow and Object-Oriented Programming. - Gail E. Kaiser; David Garlan (OOPSLA, 1987)

Extending IDL to Support Concurrent Views. - David Garlan (ACM SIGPLAN Notices, 1987)

Melding Software Systems from Reusable Building Blocks. - Gail E. Kaiser; David Garlan (IEEE Softw., 1987)

The role of formalized domain-specific software frameworks. - David Garlan (ISPW, 1989)

Emerging issues (session summary). - David Garlan (ISPW, 1989)

Formally specifying electronic instruments. - Norman M. Delisle; David Garlan (IWSSD, 1989)

Formal Specifications as Reusable Frameworks. - David Garlan; Norman M. Delisle (VDM Europe, 1990)

The role of formal reusable frameworks. - David Garlan (Formal Methods in Software Development, 1990)

Low-cost, adaptable tool integration policies for integrated environments. - David Garlan; Ehsan Ilias (SDE, 1990)

A Formal Specification of an Oscilloscope. - Norman M. Delisle; David Garlan (IEEE Softw., 1990)

Formalizing Design Spaces: Implicit Invocation Mechanisms. - David Garlan; David Notkin (VDM Europe (1), 1991)

Preconditions for understanding. - David Garlan (IWSSD, 1991)

Formal Methods for Software Engineers: Tradeoffs in Curriculum Design. - David Garlan (CSEE, 1992)

Experience with a Course on Architectures for Software Systems. - Roy F. Swonger; Curtis M. Scott; Chris Okasaki; Mary Shaw; David Garlan (CSEE, 1992)

A Formal Approach to Software Architectures. - Robert Allen; David Garlan (IFIP Congress (1), 1992)

Development Environments for Software Architecture. - David Garlan (IFIP Congress (1), 1992)

A transformational approach to generating application-specific environments. - David Garlan; Linxi Cai; Robert L. Nord (SDE, 1992)

Using Tool Abstraction to Compose Systems. - David Garlan; Gail E. Kaiser; David Notkin (Computer, 1992)

GENIE: Developing and Assessing State-of-the-Art Integrated Programming Environments. - Dennis R. Goldenson; Ravinder Chandhok; David Garlan; Glenn Meter; Philip L. Miller; John Pane; Jacobo Carrasquel; James A. Roberts; Edward Skwarecki (ACM SIGCHI Bull., 1992)

An Introduction to Software Architecture. - David Garlan; Mary Shaw (Advances in Software Engineering and Knowledge Engineering, 1993)

Formal Approaches to Software Architecture. - David Garlan (ICSE Workshop on Studies of Software Design, 1993)

Adding Implicit Invocation to Rraditional Programming Languages. - David Garlan; Curtis M. Scott (ICSE, 1993)

Adding Implicit Invocation to Languages: Three Approaches. - David Notkin; David Garlan; William G. Griswold; Kevin J. Sullivan (ISOTAS, 1993)

Should we specify systems or domain? - D. Partridge; David Garlan; David R. Barstow; Jeff Kramer (RE, 1993)

Using Style to Understand Descriptions of Software Architecture. - Gregory D. Abowd; Robert Allen; David Garlan (SIGSOFT FSE, 1993)

Formalizing Architectural Connection. - Robert Allen; David Garlan (ICSE, 1994)

Software Architecture: Practice, Potential, and Pitfalls. - David Garlan; Dewayne E. Perry (ICSE, 1994)

Nico Habermann's Research: A Brief Retrospective. - David Garlan; J. Frits Habermann; David Notkin (ICSE, 1994)

Beyond Definition/Use: Architectural Interconnection. - Robert Allen; David Garlan (Workshop on Interface Definition Languages, 1994)

The role of software architecture in requirements engineering. - M. Chandra Shekaran; David Garlan; Michael Jackson 001; Nancy R. Mead; Colin Potts; Howard B. Reubenstein (ICRE, 1994)

Using Refinement to Understand Architectural Connection. - David Garlan (Refine, 1994)

Exploiting Style in Architectural Design Environments. - David Garlan; Robert Allen; John Ockerbloom (SIGSOFT FSE, 1994)

Integrating Formal Methods into a Professional Master of Software Engineering Program. - David Garlan (Z User Workshop, 1994)

TransformGen: Automating the Maintenance of Structure-Oriented Environments. - David Garlan; Charles W. Krueger; Barbara Staudt Lerner (ACM Trans. Program. Lang. Syst., 1994)

Formulations and Formalisms in Software Architecture. - Mary Shaw; David Garlan (Computer Science Today, 1995)

The CMU Master of Software Engineering Core Curriculum. - David Garlan; Alan W. Brown; Daniel Jackson 001; James E. Tomayko; Jeannette M. Wing (CSEE, 1995)

Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. - David Garlan; Robert Allen; John Ockerbloom (ICSE, 1995)

Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel). - David Garlan (SIGSOFT FSE, 1995)

Research Directions on Software Architecture. - David Garlan (ACM Comput. Surv., 1995)

Making formal methods education effective for professional software engineers. - David Garlan (Inf. Softw. Technol., 1995)

First international workshop on architectures for software systems workshop summary. - David Garlan (ACM SIGSOFT Softw. Eng. Notes, 1995)

Summary of the Dagstuhl workshop on software architecture. - David Garlan; Walter F. Tichy; Frances Paulisch (ACM SIGSOFT Softw. Eng. Notes, 1995)

Architectural Mismatch: Why Reuse Is So Hard. - David Garlan; Robert Allen; John Ockerbloom (IEEE Softw., 1995)

Formalizing Style to Understand Descriptions of Software Architecture. - Gregory D. Abowd; Robert Allen; David Garlan (ACM Trans. Softw. Eng. Methodol., 1995)

Introduction to the Special Issue on Software Architecture. - David Garlan; Dewayne E. Perry (IEEE Trans. Software Eng., 1995)

Software architecture - perspectives on an emerging discipline. - Mary Shaw; David Garlan (Prentice Hall, 1996)

Style-based reuse for software architectures. - Robert T. Monroe; David Garlan (ICSR, 1996)

A Case Study in Architectural Modelling: The AEGIS System. - Robert Allen; David Garlan (IWSSD, 1996)

Style-based refinement for software architecture. - David Garlan (ISAW/Viewpoints@FSE, 1996)

The Fourth Symposium on the Foundations of Software Engineering (FSE4). - David Garlan; Mark Morieoni (ACM SIGSOFT Softw. Eng. Notes, 1996)

Acme: an architecture description interchange language. - David Garlan; Robert T. Monroe; David Wile (CASCON, 1997)

Architectural unification. - Ralph E. Melton; David Garlan (CASCON, 1997)

Agents of Change: Educating Software Engineering Leaders. - David Garlan; David P. Gluch; James E. Tomayko (Computer, 1997)

SIGSOFT'96 post mortem. - David Garlan (ACM SIGSOFT Softw. Eng. Notes, 1997)

Architectural Styles, Design Patterns, And Objects. - Robert T. Monroe; Andrew Kompanek; Ralph E. Melton; David Garlan (IEEE Softw., 1997)

A Formal Basis for Architectural Connection. - Robert Allen; David Garlan (ACM Trans. Softw. Eng. Methodol., 1997)

Specifying and Analyzing Dynamic Software Architectures. - Robert Allen; Rémi Douence; David Garlan (FASE, 1998)

Formal Modeling and Analysis of the HLA Component Integration Standard. - Robert Allen; David Garlan (SIGSOFT FSE, 1998)

Reasoning about Implicit Invocation. - David Garlan; Somesh Jha; David Notkin (SIGSOFT FSE, 1998)

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. - Jürgen Dingel; David Garlan; Somesh Jha; David Notkin (Formal Aspects Comput., 1998)

Errata: A Formal Basis for Architectural Connection. - Robert Allen; David Garlan (ACM Trans. Softw. Eng. Methodol., 1998)

Acme-Based Software Architecture Interchange. - David Garlan; Zhenyu Wang (COORDINATION, 1999)

Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework. - João Pedro Sousa; David Garlan (World Congress on Formal Methods, 1999)

Software architecture: a roadmap. - David Garlan (ICSE - Future of SE Track, 2000)

Model Checking Implicit-Invocation Systems. - David Garlan; Serge Khersonsky (IWSSD, 2000)

Reconciling the Needs of Architectural Description with Object-Modeling Notations. - David Garlan; Andrew Kompanek (UML, 2000)

Modeling of Architectures with UML (Panel). - Thomas Weigert; David Garlan; John Knapman; Birger Møller-Pedersen; Bran Selic (UML, 2000)

Aura: Distraction-Free Ubiquitous Computing. - David Garlan (EHCI, 2001)

A Compositional Approach for Constructing Connectors. - Bridget Spitznagel; David Garlan (WICSA, 2001)

Formal modeling of the Enterprise JavaBeans(TM) component integration framework. - João Pedro Sousa; David Garlan (Inf. Softw. Technol., 2001)

Guest Editors' Introduction: 1999 International Conference on Software Engineering. - Jeff Kramer; David Garlan; David S. Rosenblum (IEEE Trans. Software Eng., 2001)

Software Architecture-Based Adaptation for Pervasive Systems. - Shang-Wen Cheng; David Garlan; Bradley R. Schmerl; João Pedro Sousa; Bridget Spitznagel; Peter Steenkiste; Ningning Hu (ARCS, 2002)

Bridging the HLA: Problems and Solutions. - Jürgen Dingel; David Garlan; Craig Damon (DS-RT, 2002)

Software Architecture-Based Adaptation for Grid Computing. - Shang-Wen Cheng; David Garlan; Bradley R. Schmerl; Peter Steenkiste; Ningning Hu (HPDC, 2002)

Increasing System Dependability through Architecture-Based Self-Repair. - David Garlan; Shang-Wen Cheng; Bradley R. Schmerl (WADS, 2002)

Exploiting architectural design knowledge to support self-repairing systems. - Bradley R. Schmerl; David Garlan (SEKE, 2002)

Software, Heal Thyself! - David Garlan (UML, 2002)

Using Architectural Style as a Basis for System Self-repair. - Shang-Wen Cheng; David Garlan; Bradley R. Schmerl; João Pedro Sousa; Bridget Spitznagel; Peter Steenkiste (WICSA, 2002)

Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments. - João Pedro Sousa; David Garlan (WICSA, 2002)

Model-based adaptation for self-healing systems. - David Garlan; Bradley R. Schmerl (WOSS, 2002)

Project Aura: Toward Distraction-Free Pervasive Computing. - David Garlan; Daniel P. Siewiorek; Asim Smailagic; Peter Steenkiste (IEEE Pervasive Comput., 2002)

Reconciling the needs of architectural description with object-modeling notations. - David Garlan; Shang-Wen Cheng; Andrew Kompanek (Sci. Comput. Program., 2002)

Documenting Software Architectures: Views and Beyond. - Paul C. Clements; David Garlan; Reed Little; Robert L. Nord; Judith A. Stafford (ICSE, 2003)

A Compositional Formalization of Connector Wrappers. - Bridget Spitznagel; David Garlan (ICSE, 2003)

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. - David Garlan (SFM, 2003)

Model Checking Publish-Subscribe Systems. - David Garlan; Serge Khersonsky; Jung Soo Kim (SPIN, 2003)

Using Architectural Models at Runtime: Research Challenges. - David Garlan; Bradley R. Schmerl (EWSA, 2004)

Dynamic Configuration of Resource-Aware Services. - Vahe Poladian; João Pedro Sousa; David Garlan; Mary Shaw (ICSE, 2004)

AcmeStudio: Supporting Style-Centered Architecture Development. - Bradley R. Schmerl; David Garlan (ICSE, 2004)

DiscoTect: A System for Discovering Architectures from Running Systems. - Hong Yan 002; David Garlan; Bradley R. Schmerl; Jonathan Aldrich; Rick Kazman (ICSE, 2004)

Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience. - Barry W. Boehm; Jesal Bhuta; David Garlan; Eric Gradman; LiGuo Huang; Alexander Lam; Raymond J. Madachy; Nenad Medvidovic; Kenneth Meyer; Steven Meyers; Gustavo Pérez; Kirk Reinholtz; et al. (ISESE, 2004)

Modeling and implementing software architecture with acme and archJava. - Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Tony Tseng (OOPSLA Companion, 2004)

An Architecture for Coordinating Multiple Self-Management Systems. - Shang-Wen Cheng; An-Cheng Huang; David Garlan; Bradley R. Schmerl; Peter Steenkiste (WICSA, 2004)

Understanding Tradeoffs among Different Architectural Modeling Approaches. - Roshanak Roshandel; Bradley R. Schmerl; Nenad Medvidovic; David Garlan; Dehua Zhang (WICSA, 2004)

Task-based self-adaptation. - David Garlan; Vahe Poladian; Bradley R. Schmerl; João Pedro Sousa (WOSS, 2004)

Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. - David Garlan; Shang-Wen Cheng; An-Cheng Huang; Bradley R. Schmerl; Peter Steenkiste (Computer, 2004)

Making Self-Adaptation an Engineering Reality. - Shang-Wen Cheng; David Garlan; Bradley R. Schmerl (Self-star Properties in Complex Information Systems, 2005)

Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation. - João Pedro Sousa; Vahe Poladian; David Garlan; Bradley R. Schmerl (CAiSE Workshops (2), 2005)

Synchronized Architectures for Adaptive Systems. - Tiberiu Seceleanu; David Garlan (COMPSAC (2), 2005)

Modeling and implementing software architecture with acme and archJava. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas; Tony Tseng (ICSE, 2005)

Bridging the Gap between Systems Design. - David Garlan; William K. Reinholtz; Bradley R. Schmerl; Nicholas D. Sherman; Tony Tseng (SEW, 2005)

Dynamically discovering architectures with DiscoTect. - Bradley R. Schmerl; David Garlan; Hong Yan 002 (ESEC/SIGSOFT FSE, 2005)

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas (WICSA, 2005)

Software Architecture Evaluation and Analysis Session Report. - David Garlan (WICSA, 2005)

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. - Massimo Tivoli; David Garlan (WICSA, 2005)

Context is key. - Joëlle Coutaz; James L. Crowley; Simon Dobson; David Garlan (Commun. ACM, 2005)

Improving system dependability by enforcing architectural intent. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas; Tony Tseng (ACM SIGSOFT Softw. Eng. Notes, 2005)

DEAS 2005: workshop on the design and evolution of autonomic application software. - David Garlan; Marin Litoiu; Hausi A. Müller; John Mylopoulos; Dennis B. Smith; Kenny Wong (ACM SIGSOFT Softw. Eng. Notes, 2005)

Software engineering for adaptive and self-managing systems. - Betty H. C. Cheng; David Garlan; Rogério de Lemos; Jeff Magee; Richard Taylor 001; Stephen Fickas; Hausi A. Müller (ICSE, 2006)

Architecture-based self-adaptation in the presence of multiple objectives. - Shang-Wen Cheng; David Garlan; Bradley R. Schmerl (SEAMS@ICSE, 2006)

Analyzing architectural styles with alloy. - Jung Soo Kim; David Garlan (ROSATEA, 2006)

Using framework interfaces with design fragments. - George Fairbanks; David Garlan; William L. Scherlis (OOPSLA Companion, 2006)

Design fragments make using frameworks easier. - George Fairbanks; David Garlan; William L. Scherlis (OOPSLA Companion, 2006)

An Architecture for Personal Cognitive Assistance. - David Garlan; Bradley R. Schmerl (SEKE, 2006)

Developing adaptive systems with synchronized architectures. - Tiberiu Seceleanu; David Garlan (J. Syst. Softw., 2006)

Discovering Architectures from Running Systems. - Bradley R. Schmerl; Jonathan Aldrich; David Garlan; Rick Kazman; Hong Yan 002 (IEEE Trans. Software Eng., 2006)

Task-based adaptation for ubiquitous computing. - João Pedro Sousa; Vahe Poladian; David Garlan; Bradley R. Schmerl; Mary Shaw (IEEE Trans. Syst. Man Cybern. Syst., 2006)

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. - Betty H. C. Cheng; Rogério de Lemos; Stephen Fickas; David Garlan; Marin Litoiu; Jeff Magee; Hausi A. Müller; Richard Taylor 001 (SEAMS, 2007)

Leveraging Resource Prediction for Anticipatory Dynamic Configuration. - Vahe Poladian; David Garlan; Mary Shaw; Mahadev Satyanarayanan; Bradley R. Schmerl; João Pedro Sousa (SASO, 2007)

Program comprehension as fact finding. - Thomas D. LaToza; David Garlan; James D. Herbsleb; Brad A. Myers (ESEC/SIGSOFT FSE, 2007)

The Radar Architecture for Personal Cognitive Assistance. - David Garlan; Bradley R. Schmerl (Int. J. Softw. Eng. Knowl. Eng., 2007)

Software Architectures for Task-Oriented Computing. - David Garlan (ACIS-ICIS, 2008)

User Guidance of Resource-Adaptive Systems. - João Pedro Sousa; Rajesh Krishna Balan; Vahe Poladian; David Garlan; Mahadev Satyanarayanan (ICSOFT (SE/MUSE/GSDCA), 2008)

A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs. - João Pedro Sousa; Rajesh Krishna Balan; Vahe Poladian; David Garlan; Mahadev Satyanarayanan (ICSOFT (Selected Papers), 2008)

Steps toward activity-oriented computing. - João Pedro Sousa; Vahe Poladian; David Garlan; Bradley R. Schmerl; Peter Steenkiste (IPDPS, 2008)

Differencing and merging of architectural views. - Marwan Abi-Antoun; Jonathan Aldrich; Nagi H. Nahas; Bradley R. Schmerl; David Garlan (Autom. Softw. Eng., 2008)

Software Architecture. - David Garlan (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Software Architecture-Based Self-Adaptation. - David Garlan; Bradley R. Schmerl; Shang-Wen Cheng (Autonomic Computing and Networking, 2009)

Improving Architecture-Based Self-Adaptation through Resource Prediction. - Shang-Wen Cheng; Vahe Poladian; David Garlan; Bradley R. Schmerl (Software Engineering for Self-Adaptive Systems, 2009)

Towards engineered architecture evolution. - Sagar Chaki; J. Andrés Díaz Pace; David Garlan; Arie Gurfinkel; Ipek Ozkaya (MiSE@ICSE, 2009)

RAIDE for engineering architecture-based self-adaptive systems. - Shang-Wen Cheng; David Garlan; Bradley R. Schmerl (ICSE Companion, 2009)

Evaluating the effectiveness of the Rainbow self-adaptive system. - Shang-Wen Cheng; David Garlan; Bradley R. Schmerl (SEAMS, 2009)

SEAMS 2009: Software engineering for adaptive and self-managing systems. - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Richard Taylor 001 (ICSE Companion, 2009)

Ævol: A tool for defining and planning architecture evolution. - David Garlan; Bradley R. Schmerl (ICSE, 2009)

Invited Talk: Rainbow: Engineering Support for Self-Healing Systems. - David Garlan (SBES, 2009)

Using Service-oriented Architectures for Socio-Cultural Analysis. - David Garlan; Kathleen M. Carley; Bradley R. Schmerl; Michael W. Bigrigg; Orieta Celiku (SEKE, 2009)

Evolution styles: Foundations and tool support for software architecture evolution. - David Garlan; Jeffrey M. Barnes; Bradley R. Schmerl; Orieta Celiku (WICSA/ECSA, 2009)

Improving Architecture-Based Self-adaptation Using Preemption. - Rahul Raheja; Shang-Wen Cheng; David Garlan; Bradley R. Schmerl (SOAR, 2009)

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. - Akshay Rajhans; Shang-Wen Cheng; Bradley R. Schmerl; David Garlan; Bruce H. Krogh; Clarence Agbi; Ajinkya Bhave (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Architectural Mismatch: Why Reuse Is Still So Hard. - David Garlan; Robert Allen; John Ockerbloom (IEEE Softw., 2009)

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Mauro Pezzè; Richard Taylor 001 (ICSE (2), 2010)

Software engineering in an uncertain world. - David Garlan (FoSER, 2010)

Analyzing architectural styles. - Jung Soo Kim; David Garlan (J. Syst. Softw., 2010)

Using parameters in architectural views to support heterogeneous design and verification. - Akshay Rajhans; Ajinkya Bhave; Sarah M. Loos; Bruce H. Krogh; André Platzer; David Garlan (CDC/ECC, 2011)

Architecture-Based Run-Time Fault Diagnosis. - Paulo Casanova; Bradley R. Schmerl; David Garlan; Rui Abreu 001 (ECSA, 2011)

An Architectural Approach to End User Orchestrations. - Vishal Dwivedi; Perla Velasco Elizondo; José Maria Fernandes; David Garlan; Bradley R. Schmerl (ECSA, 2011)

View Consistency in Architectures for Cyber-Physical Systems. - Ajinkya Bhave; Bruce H. Krogh; David Garlan; Bradley R. Schmerl (ICCPS, 2011)

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 (ICSE, 2011)

Software architecture: reflections on an evolving discipline. - David Garlan; Mary Shaw (SIGSOFT FSE, 2011)

Invited Talk - Engineering Self-Healing and Self-Improving Systems. - David Garlan (SSIRI (Companion), 2011)

Foundations and Tools for End-User Architecting. - David Garlan; Vishal Dwivedi; Ivan Ruchkin; Bradley R. Schmerl (Monterey Workshop, 2012)

Stitch: A language for architecture-based self-adaptation. - Shang-Wen Cheng; David Garlan (J. Syst. Softw., 2012)

Analyzing Self-Adaptation Via Model Checking of Stochastic Games. - Javier Cámara 001; David Garlan; Gabriel A. Moreno; Bradley R. Schmerl (Software Engineering for Self-Adaptive Systems, 2013)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Danny Weyns; Luciano Baresi; Nelly Bencomo; Yuriy Brun; Javier Cámara 001; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Challenges in developing a software architecture evolution tool as a plug-in. - Jeffrey M. Barnes; David Garlan (TOPI@ICSE, 2013)

Evolving an adaptive industrial software system to use architecture-based self-adaptation. - Javier Cámara 001; Pedro Correia; Rogério de Lemos; David Garlan; Pedro Gomes; Bradley R. Schmerl; Rafael Ventura (SEAMS, 2013)

Diagnosing architectural run-time failures. - Paulo Casanova; David Garlan; Bradley R. Schmerl; Rui Abreu 001 (SEAMS, 2013)

A 10-year perspective on software engineering self-adaptive systems (keynote). - David Garlan (SEAMS, 2013)

Resolving Data Mismatches in End-User Compositions. - Perla Velasco Elizondo; Vishal Dwivedi; David Garlan; Bradley R. Schmerl; José Maria Fernandes (IS-EUD, 2013)

Automated planning for software architecture evolution. - Jeffrey M. Barnes; Ashutosh Pandey 002; David Garlan (ASE, 2013)

Architecture-based self-protecting software systems. - Eric Yuan; Sam Malek; Bradley R. Schmerl; David Garlan; Jeff Gennari (QoSA, 2013)

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese (Dagstuhl Reports, 2013)

Contract-based integration of cyber-physical analyses. - Ivan Ruchkin; Dionisio de Niz; Sagar Chaki; David Garlan (EMSOFT, 2014)

Impact Models for Architecture-Based Self-adaptive Systems. - Javier Cámara Moreno; Antónia Lopes; David Garlan; Bradley R. Schmerl (FACS, 2014)

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. - Bradley R. Schmerl; Javier Cámara 001; Jeffrey Gennari; David Garlan; Paulo Casanova; Gabriel A. Moreno; Thomas J. Glazier; Jeffrey M. Barnes (HotSoS, 2014)

Stochastic game analysis and latency awareness for proactive self-adaptation. - Javier Cámara 001; Gabriel A. Moreno; David Garlan (SEAMS, 2014)

Diagnosing unobserved components in self-adaptive systems. - Paulo Casanova; David Garlan; Bradley R. Schmerl; Rui Abreu 001 (SEAMS, 2014)

Software architecture: a travelogue. - David Garlan (FOSE, 2014)

Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions. - Vishal Dwivedi; David Garlan; Jürgen Pfeffer; Bradley R. Schmerl (ITNG, 2014)

Architecture-Based Planning of Software Evolution. - Sungwon Kang; David Garlan (Int. J. Softw. Eng. Knowl. Eng., 2014)

Evolution styles: foundations and models for software architecture evolution. - Jeffrey M. Barnes; David Garlan; Bradley R. Schmerl (Softw. Syst. Model., 2014)

Supporting Heterogeneity in Cyber-Physical Systems Architectures. - Akshay Rajhans; Ajinkya Bhave; Ivan Ruchkin; Bruce H. Krogh; David Garlan; André Platzer; Bradley R. Schmerl (IEEE Trans. Autom. Control., 2014)

Architectural Abstractions for Hybrid Programs. - Ivan Ruchkin; Bradley R. Schmerl; David Garlan (CBSE, 2015)

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. - Ivan Ruchkin; Ashwini Rao; Dionisio de Niz; Sagar Chaki; David Garlan (CPS-SPC@CCS, 2015)

Detecting insider threats in software systems using graph models of behavioral paths. - Hemank Lamba; Thomas J. Glazier; Bradley R. Schmerl; Jürgen Pfeffer; David Garlan (HotSoS, 2015)

An architecture style for Android security analysis: poster. - Bradley R. Schmerl; Jeffrey Gennari; David Garlan (HotSoS, 2015)

Reasoning about Human Participation in Self-Adaptive Systems. - Javier Cámara 001; Gabriel A. Moreno; David Garlan (SEAMS@ICSE, 2015)

SASS: Self-Adaptation Using Stochastic Search. - Zack Coker; David Garlan; Claire Le Goues (SEAMS@ICSE, 2015)

Modeling Challenges for CPS Systems. - David Garlan (SEsCPS@ICSE, 2015)

Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. - Ivan Ruchkin; Bradley R. Schmerl; David Garlan (ACES-MB&WUCOR@MoDELS, 2015)

Optimal planning for architecture-based self-adaptation via model checking of stochastic games. - Javier Cámara 001; David Garlan; Bradley R. Schmerl; Ashutosh Pandey 002 (SAC, 2015)

Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. - Thomas J. Glazier; Javier Cámara 001; Bradley R. Schmerl; David Garlan (SASO Workshops, 2015)

Task Planning of Cyber-Human Systems. - Roykrong Sukkerd; David Garlan; Reid G. Simmons (SEFM, 2015)

Proactive self-adaptation under uncertainty: a probabilistic model checking approach. - Gabriel A. Moreno; Javier Cámara 001; David Garlan; Bradley R. Schmerl (ESEC/SIGSOFT FSE, 2015)

Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. - Tomás Bures; Danny Weyns; Christian Berger 001; Stefan Biffl; Marian Daun; Thomas Gabor; David Garlan; Ilias Gerostathopoulos; Christine Julien 001; Filip Krikava; Richard Mordinyi; Nikos Pronios (ACM SIGSOFT Softw. Eng. Notes, 2015)

Architecture Modeling and Analysis of Security in Android Systems. - Bradley R. Schmerl; Jeff Gennari; Alireza Sadeghi; Hamid Bagheri; Sam Malek; Javier Cámara 001; David Garlan (ECSA, 2016)

A model-based approach to anomaly detection in software architectures. - Hemank Lamba; Thomas J. Glazier; Bradley R. Schmerl; Javier Cámara 001; David Garlan; Jürgen Pfeffer (HotSoS, 2016)

Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. - Bradley R. Schmerl; Jeffrey Gennari; Javier Cámara 001; David Garlan (HotSoS, 2016)

Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. - Gabriel A. Moreno; Javier Cámara 001; David Garlan; Bradley R. Schmerl (ICAC, 2016)

Multiscale time abstractions for long-range planning under uncertainty. - Roykrong Sukkerd; Javier Cámara 001; David Garlan; Reid G. Simmons (SEsCPS@ICSE, 2016)

Hybrid Planning for Decision Making in Self-Adaptive Systems. - Ashutosh Pandey 002; Gabriel A. Moreno; Javier Cámara 001; David Garlan (SASO, 2016)

Challenges in physical modeling for adaptation of cyber-physical systems. - Ivan Ruchkin; Selva Samuel; Bradley R. Schmerl; Amanda Rico; David Garlan (WF-IoT, 2016)

Incorporating architecture-based self-adaptation into an adaptive industrial software system. - Javier Cámara 001; Pedro Correia; Rogério de Lemos; David Garlan; Pedro Gomes; Bradley R. Schmerl; Rafael Ventura (J. Syst. Softw., 2016)

Improving self-adaptation planning through software architecture-based stochastic modeling. - João Miguel Franco; Francisco Correia; Raul Barbosa; Mário Zenha Rela; Bradley R. Schmerl; David Garlan (J. Syst. Softw., 2016)

Adaptation impact and environment models for architecture-based self-adaptive systems. - Javier Cámara 001; Antónia Lopes; David Garlan; Bradley R. Schmerl (Sci. Comput. Program., 2016)

Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. - Javier Cámara 001; Gabriel A. Moreno; David Garlan; Bradley R. Schmerl (ACM Trans. Auton. Adapt. Syst., 2016)

Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software. - Hemank Lamba; Thomas J. Glazier; Javier Cámara 001; Bradley R. Schmerl; David Garlan; Jürgen Pfeffer (IWSPA@CODASPY, 2017)

Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. - Javier Cámara 001; David Garlan; Bradley R. Schmerl (ECSA, 2017)

What Ails End-User Composition: A Cross-Domain Qualitative Study. - Vishal Dwivedi; James D. Herbsleb; David Garlan (IS-EUD, 2017)

Instance-Based Learning for Hybrid Planning. - Ashutosh Pandey 002; Bradley R. Schmerl; David Garlan (FAS*W@SASO/ICCAC, 2017)

Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. - Javier Cámara 001; Wenxin Peng; David Garlan; Bradley R. Schmerl (SEFM Workshops, 2017)

Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. - Javier Cámara 001; Bashar Nuseibeh; David Garlan (Dagstuhl Artifacts Ser., 2017)

The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10). - David Garlan; Nicolás D'Ippolito; Kenji Tei (NII Shonan Meet. Rep., 2017)

Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. - Nabor C. Mendonça; David Garlan; Bradley R. Schmerl; Javier Cámara 001 (ECSA (Companion), 2018)

IPL: An Integration Property Language for Multi-model Cyber-physical Systems. - Ivan Ruchkin; Joshua Sunshine; Grant Iraci; Bradley R. Schmerl; David Garlan (FM, 2018)

Quantitative underpinnings of secure, graceful degradation: poster. - Ryan Wagner; David Garlan; Matt Fredrikson (HotSoS, 2018)

Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. - Cody Kinneer; Zack Coker; Jiacheng Wang; David Garlan; Claire Le Goues (SEAMS@ICSE, 2018)

Uncertainty reduction in self-adaptive systems. - Gabriel A. Moreno; Javier Cámara 001; David Garlan; Mark Klein 003 (SEAMS@ICSE, 2018)

SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. - Gabriel A. Moreno; Bradley R. Schmerl; David Garlan (SEAMS@ICSE, 2018)

Towards explainable multi-objective probabilistic planning. - Roykrong Sukkerd; Reid G. Simmons; David Garlan (SEsCPS@ICSE, 2018)

MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. - Javier Cámara 001; Bradley R. Schmerl; Gabriel A. Moreno; David Garlan (Autom. Softw. Eng., 2018)

Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. - Javier Cámara 001; Wenxin Peng; David Garlan; Bradley R. Schmerl (Sci. Comput. Program., 2018)

Half a Century of Software Engineering Education: The CMU Exemplar. - Nancy R. Mead; David Garlan; Mary Shaw (IEEE Softw., 2018)

Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. - Gabriel A. Moreno; Javier Cámara 001; David Garlan; Bradley R. Schmerl (ACM Trans. Auton. Adapt. Syst., 2018)

Kubow: an architecture-based self-adaptation service for cloud native applications. - Carlos M. Aderaldo; Nabor C. Mendonça; Bradley R. Schmerl; David Garlan (ECSA (Companion), 2019)

Trade-off-oriented development: making quality attribute trade-offs first-class. - Tobias Dürschmid; Eunsuk Kang; David Garlan (ICSE (NIER), 2019)

Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. - Pooyan Jamshidi; Javier Cámara 001; Bradley R. Schmerl; Christian Kästner; David Garlan (SEAMS@ICSE, 2019)

DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. - Gabriel A. Moreno; Cody Kinneer; Ashutosh Pandey 002; David Garlan (SEAMS@ICSE, 2019)

Modeling observability in adaptive systems to defend against advanced persistent threats. - Cody Kinneer; Ryan Wagner; Fei Fang 001; Claire Le Goues; David Garlan (MEMOCODE, 2019)

An Automated Approach to Management of a Collection of Autonomic Systems. - Thomas J. Glazier; David Garlan (FAS*W@SASO/ICAC, 2019)

Managing safety and mission completion via collective run-time adaptation. - Darko Bozhinoski; David Garlan; Ivano Malavolta; Patrizio Pelliccione (J. Syst. Archit., 2019)

Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. - Javier Cámara 001; David Garlan; Bradley R. Schmerl (J. Syst. Softw., 2019)

Model-Based Adaptation for Robotics Software. - Jonathan Aldrich; David Garlan; Christian Kästner; Claire Le Goues; Anahita Mohseni-Kabir; Ivan Ruchkin; Selva Samuel; Bradley R. Schmerl; Christopher Steven Timperley; Manuela Veloso; Ian Voysey; Joydeep Biswas; et al. (IEEE Softw., 2019)

Building Long-Lived Adaptive Systems. - Javier Cámara 001; David Garlan; Greg Eakman (IEEE Softw., 2019)

Hybrid Planning Using Learning and Model Checking for Autonomous Systems. - Ashutosh Pandey 002; Ivan Ruchkin; Bradley R. Schmerl; David Garlan (ACSOS, 2020)

Automated Management of Collections of Autonomic Systems. - Thomas J. Glazier; David Garlan; Bradley R. Schmerl (ACSOS, 2020)

Building Reusable Repertoires for Stochastic Self-* Planners. - Cody Kinneer; Rijnard van Tonder; David Garlan; Claire Le Goues (ACSOS, 2020)

Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. - Nianyu Li; Javier Cámara 001; David Garlan; Bradley R. Schmerl (ACSOS, 2020)

Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. - Maria Casimiro; Diego Didona; Paolo Romano 002; Luís E. T. Rodrigues; Willy Zwaenepoel; David Garlan (ICDCS, 2020)

Model-Based Analysis of Microservice Resiliency Patterns. - Nabor C. Mendonça; Carlos Mendes Aderaldo; Javier Cámara 001; David Garlan (ICSA, 2020)

Towards bridging the gap between control and self-adaptive system properties. - Javier Cámara 001; Alessandro Vittorio Papadopoulos; Thomas Vogel 001; Danny Weyns; David Garlan; Shihong Huang; Kenji Tei (SEAMS@ICSE, 2020)

Software architecture and task plan co-adaptation for mobile service robots. - Javier Cámara 001; Bradley R. Schmerl; David Garlan (SEAMS@ICSE, 2020)

Explanations for human-on-the-loop: a probabilistic model checking approach. - Nianyu Li; Sridhar Adepu; Eunsuk Kang; David Garlan (SEAMS@ICSE, 2020)

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 (ICSE (SEIP), 2020)

TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. - Pedro Mendes; Maria Casimiro; Paolo Romano 002; David Garlan (MASCOTS, 2020)

Tradeoff-Focused Contrastive Explanation for MDP Planning. - Roykrong Sukkerd; Reid G. Simmons; David Garlan (RO-MAN, 2020)

A behavioral notion of robustness for software systems. - Changjian Zhang; David Garlan; Eunsuk Kang (ESEC/SIGSOFT FSE, 2020)

Six Software Engineering Principles for Smarter Cyber-Physical Systems. - Danny Weyns; Tomás Bures; Radu Calinescu; Barnaby Craggs; John S. Fitzgerald; David Garlan; Bashar Nuseibeh; Liliana Pasquale; Awais Rashid; Ivan Ruchkin; Bradley R. Schmerl (ACSOS-C, 2021)

A Probabilistic Model for Personality Trait Focused Explainability. - Mohammed N. Alharbi; Shihong Huang; David Garlan (ECSA (Companion), 2021)

A Probabilistic Model for Effective Explainability Based on Personality Traits. - Mohammed N. Alharbi; Shihong Huang; David Garlan (ECSA (Tracks and Workshops), 2021)

Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. - Javier Cámara 001; Mariana Silva; David Garlan; Bradley R. Schmerl (ECSA, 2021)

Self-Adaptation for Machine Learning Based Systems. - Maria Casimiro; Paolo Romano 002; David Garlan; Gabriel A. Moreno; Eunsuk Kang; Mark Klein 003 (ECSA (Companion), 2021)

Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. - Maria Casimiro; Paolo Romano 002; David Garlan; Gabriel A. Moreno; Eunsuk Kang; Mark Klein 003 (ECSA (Tracks and Workshops), 2021)

Engineering Secure Self-Adaptive Systems with Bayesian Games. - Nianyu Li; Mingyue Zhang 002; Eunsuk Kang; David Garlan (FASE, 2021)

Defining Utility Functions for Multi-stakeholder Self-adaptive Systems. - Rebekka Wohlrab; David Garlan (REFSQ, 2021)

The Unknown Unknowns Are Not Totally Unknown. - David Garlan (SEAMS@ICSE, 2021)

Hey! Preparing Humans to do Tasks in Self-adaptive Systems. - Nianyu Li; Javier Cámara 001; David Garlan; Bradley R. Schmerl; Zhi Jin (SEAMS@ICSE, 2021)

A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. - Maria Casimiro; David Garlan; Javier Cámara 001; Luís Rodrigues 001; Paolo Romano 002 (SEFM Workshops, 2021)

AlloyMax: bringing maximum satisfaction to relational specifications. - Changjian Zhang; Ryan Wagner; Pedro Orvalho; David Garlan; Vasco Manquinho; Ruben Martins; Eunsuk Kang (ESEC/SIGSOFT FSE, 2021)

Mining guidelines for architecting robotics software. - Ivano Malavolta; Grace A. Lewis; Bradley R. Schmerl; Patricia Lago; David Garlan (J. Syst. Softw., 2021)

Developing Self-Adaptive Microservice Systems: Challenges and Directions. - Nabor Chagas Mendonça; Pooyan Jamshidi; David Garlan; Claus Pahl (IEEE Softw., 2021)

Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. - Cody Kinneer; David Garlan; Claire Le Goues (ACM Trans. Auton. Adapt. Syst., 2021)

Towards a Framework for Adapting Machine Learning Components. - Maria Casimiro; Paolo Romano 002; David Garlan; Luís Rodrigues 001 (ACSOS, 2022)

Making Architecture Optimization Transparent with Tactic-Based Explanations. - J. Andres Diaz-Pace; David Garlan (ICSA Companion, 2022)

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. - Christopher Steven Timperley; Tobias Dürschmid; Bradley R. Schmerl; David Garlan; Claire Le Goues (ICSA, 2022)

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. - Christopher Steven Timperley; Tobias Dürschmid; Bradley R. Schmerl; David Garlan; Claire Le Goues (ICSA Companion, 2022)

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. - Javier Cámara 001; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl; Javier Troya; Antonio Vallecillo (MoDELS, 2022)

The uncertainty interaction problem in self-adaptive systems. - Javier Cámara 001; Javier Troya; Antonio Vallecillo; Nelly Bencomo; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl (Softw. Syst. Model., 2022)

Modeling and Analysis of Explanation for Secure Industrial Control Systems. - Sridhar Adepu; Nianyu Li; Eunsuk Kang; David Garlan (ACM Trans. Auton. Adapt. Syst., 2022)

HyperJump: Accelerating HyperBand via Risk Modelling. - Pedro Mendes; Maria Casimiro; Paolo Romano 002; David Garlan (AAAI, 2023)

Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. - J. Andres Diaz-Pace; Rebekka Wohlrab; David Garlan (ECSA, 2023)

Fortis: A Tool for Analysis and Repair of Robust Software Systems. - Changjian Zhang; Ian Dardik; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (FMCAD, 2023)

Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. - Mohammad Reza Saleh Sedghpour; David Garlan; Bradley R. Schmerl; Cristian Klein; Johan Tordsson (IC2E, 2023)

Robustification of Behavioral Designs against Environmental Deviations. - Changjian Zhang; Tarang Saluja; Rômulo Meira-Góes; Matthew L. Bolton; David Garlan; Eunsuk Kang (ICSE, 2023)

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. - Simon Chu; Emma Shedden; Changjian Zhang; Rômulo Meira-Góes; Gabriel A. Moreno; David Garlan; Eunsuk Kang (SEAMS, 2023)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. - Changjian Zhang; Parv Kapoor; Romulo Meira Goes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (CoRR, 2023)

Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers. - Javier Cámara 001; David Garlan (IEEE Softw., 2023)

A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems. - Rebekka Wohlrab; David Garlan (Requir. Eng., 2023)

ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. - Javier Cámara 001; Rebekka Wohlrab; David Garlan; Bradley R. Schmerl (J. Syst. Softw., 2023)

Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. - Rebekka Wohlrab; Javier Cámara 001; David Garlan; Bradley R. Schmerl (J. Syst. Softw., 2023)

CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. - Md. Abir Hossen; Sonam Kharade; Bradley R. Schmerl; Javier Cámara 001; Jason M. O'Kane; Ellen C. Czaplinski; Katherine A. Dzurilla; David Garlan; Pooyan Jamshidi (IEEE Robotics Autom. Lett., 2023)

Hyper-parameter Tuning for Adversarially Robust Models. - Pedro Mendes; Paolo Romano 002; David Garlan (AISafety@IJCAI, 2024)

Error-Driven Uncertainty Aware Training. - Pedro Mendes; Paolo Romano 002; David Garlan (ECAI, 2024)

Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. - Changjian Zhang; Parv Kapoor; Rômulo Meira-Góes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (FM (2), 2024)

The Architect in the Maze: On the Effective Usage of Automated Design Exploration. - J. Andres Diaz-Pace; David Garlan (Designing@ICSE, 2024)

ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. - Tobias Dürschmid; Christopher Steven Timperley; David Garlan; Claire Le Goues (ICSE, 2024)

Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. - David Garlan; Bradley R. Schmerl; Rebekka Wohlrab; Javier Cámara 001 (Designing@ICSE, 2024)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. - Simon Chu; Justin Koe; David Garlan; Eunsuk Kang (SEAMS@ICSE, 2024)

MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. - Bruno Sousa; Duarte M. Dias; Nuno Antunes; Javier Cámara 001; Ryan Wagner; Bradley R. Schmerl; David Garlan; Pedro Fidalgo (Comput. Secur., 2024)

CURE: Simulation-Augmented Auto-Tuning in Robotics. - Md. Abir Hossen; Sonam Kharade; Jason M. O'Kane; Bradley R. Schmerl; David Garlan; Pooyan Jamshidi (CoRR, 2024)

Generative Manufacturing: A requirements and resource-driven approach to part making. - Hongrui Chen; Aditya Joglekar; Zack Rubinstein; Bradley R. Schmerl; Gary Fedder; Jan de Nijs; David Garlan; Stephen Smith; Levent Burak Kara (CoRR, 2024)

Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction. - Javier Cámara 001; Rebekka Wohlrab; David Garlan; Bradley R. Schmerl (IEEE Softw., 2024)

Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. - Maria Casimiro; Diogo Soares; David Garlan; Luís Rodrigues 001; Paolo Romano 002 (ACM Trans. Auton. Adapt. Syst., 2024)

Data-Driven Understanding of Design Decisions in Pattern-Based Microservices Architecture. - J. Andres Diaz-Pace; Catia Trubiani; David Garlan (ECSA, 2025)

Constrained LTL Specification Learning from Examples. - Changjian Zhang; Parv Kapoor; Ian Dardik; Leyi Cui; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (ICSE, 2025)

Flexico: Sustainable Machine Translation via Self-Adaptation. - Maria Casimiro; Paolo Romano 002; José G. C. De Souza; Amin M. Khan; David Garlan (SEAMS@ICSE, 2025)

Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement Learning. - Qi Duan; Ehab Al-Shaer; David Garlan (SEAMS@ICSE, 2025)

A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns. - Carlos M. Aderaldo; Thiago M. Costa; Davi M. Vasconcelos; Nabor C. Mendonça; Javier Cámara 001; David Garlan (Softw. Pract. Exp., 2025)

CURE: Simulation-Augmented Autotuning in Robotics. - Md. Abir Hossen; Sonam Kharade; Jason M. O'Kane; Bradley R. Schmerl; David Garlan; Pooyan Jamshidi (IEEE Trans. Robotics, 2025)

CLUE: Neural Networks Calibration via Learning Uncertainty-Error alignment. - Pedro Mendes; Paolo Romano 002; David Garlan (CoRR, 2025)

Uncertainty Estimation by Human Perception versus Neural Models. - Pedro Mendes; Paolo Romano 002; David Garlan (CoRR, 2025)