Ripple: A Long-Sighted Self-Adaptation Approach to Retrain Machine Learning-Enabled Systems.

David Garlan Carnegie Mellon University, Pittsburgh, USA http://www.cs.cmu.edu/~garlan/ https://scholar.google.com/citations?user=saLJmksAAAAJ https://dl.acm.org/profile/81452615764 https://en.wikipedia.org/wiki/David_Garlan https://orcid.org/0000-0002-6735-8301 https://www.wikidata.org/entity/Q29387138 https://d-nb.info/gnd/172092388 https://mathgenealogy.org/id.php?id=50227 Maria Casimiro Valentim Romão Paolo Romano 0002 Luís E. T. Rodrigues David Garlan Ripple: A Long-Sighted Self-Adaptation Approach to Retrain Machine Learning-Enabled Systems. 43-54 2026 SEAMS@ICSE https://doi.org/10.1145/3788550.3794867 conf/seams/2026 db/conf/seams/seams2026.html#CasimiroRRRG26 Genaína Nunes Rodrigues Betty H. C. Cheng David Garlan Paola Inverardi Jeff Kramer Sol Zilberman SEAMS 2026 Community Debate: How Ethical Can an Ethics-Aware Controller Be? Can we Trust it? 275-281 2026 SEAMS@ICSE https://doi.org/10.1145/3788550.3795539 conf/seams/2026 db/conf/seams/seams2026.html#RodriguesCGIKZ26

Carlos M. Aderaldo Thiago M. Costa Davi M. Vasconcelos Nabor C. Mendonça Javier Cámara 0001 David Garlan A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns. 170-192 2025 55 Softw. Pract. Exp. 1 https://doi.org/10.1002/spe.3368 db/journals/spe/spe55.html#AderaldoCVMCG25 streams/journals/spe

Md. Abir Hossen Sonam Kharade Jason M. O'Kane Bradley R. Schmerl David Garlan Pooyan Jamshidi CURE: Simulation-Augmented Autotuning in Robotics. 2825-2842 2025 41 IEEE Trans. Robotics https://doi.org/10.1109/TRO.2025.3548546 db/journals/trob/trob41.html#HossenKOSGJ25 streams/journals/trob

J. Andres Diaz-Pace Catia Trubiani David Garlan Data-Driven Understanding of Design Decisions in Pattern-Based Microservices Architecture. 276-293 2025 ECSA https://doi.org/10.1007/978-3-032-02138-0_18 conf/ecsa/2025 db/conf/ecsa/ecsa2025.html#DiazPaceTG25 streams/conf/ecsa Changjian Zhang Parv Kapoor Ian Dardik Leyi Cui 0001 Rômulo Meira-Góes David Garlan Eunsuk Kang Constrained LTL Specification Learning from Examples. 629-641 2025 ICSE https://doi.org/10.1109/ICSE55347.2025.00160 conf/icse/2025 db/conf/icse/icse2025.html#ZhangKDCMGK25 Pedro Mendes Paolo Romano 0002 David Garlan Uncertainty Estimation by Human Perception versus Neural Models. PRICAI (4) 2025 170-182 conf/pricai/2025-4 https://doi.org/10.1007/978-981-95-7081-2_11 db/conf/pricai/pricai2025-4.html#MendesRG25 streams/conf/pricai Qi Duan Ehab Al-Shaer David Garlan Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement Learning. 111-121 2025 SEAMS@ICSE https://doi.org/10.1109/SEAMS66627.2025.00020 conf/seams/2025 db/conf/seams/seams2025.html#DuanAG25 Maria Casimiro Paolo Romano 0002 José G. C. De Souza Amin M. Khan David Garlan Flexico: Sustainable Machine Translation via Self-Adaptation. 147-158 2025 SEAMS@ICSE https://doi.org/10.1109/SEAMS66627.2025.00024 conf/seams/2025 db/conf/seams/seams2025.html#Casimiro0SKG25 Abigail Hammer Changjian Zhang Vick Dini Ryan Wagner Bradley R. Schmerl Eunsuk Kang David Garlan Resilience of Systems Under Maximum Component Deviations. 52-70 2025 SEFM https://doi.org/10.1007/978-3-032-10444-1_4 conf/sefm/2025 db/conf/sefm/sefm2025.html#HammerZDWSKG25 streams/conf/sefm Jorge Andrés Díaz Pace Catia Trubiani David Garlan Replication package for: "Data-driven Understanding of Design Decisions in Pattern-based Microservices Architectures". 2025 May https://doi.org/10.5281/zenodo.15526563 Zenodo streams/repo/zenodo

Pedro Mendes Paolo Romano 0002 David Garlan CLUE: Neural Networks Calibration via Learning Uncertainty-Error alignment. 2025 May abs/2505.22803 CoRR https://doi.org/10.48550/arXiv.2505.22803 db/journals/corr/corr2505.html#abs-2505-22803 streams/journals/corr

Pedro Mendes Paolo Romano 0002 David Garlan Uncertainty Estimation by Human Perception versus Neural Models. 2025 June abs/2506.15850 CoRR https://doi.org/10.48550/arXiv.2506.15850 db/journals/corr/corr2506.html#abs-2506-15850 streams/journals/corr

Bruno Sousa Duarte Dias Nuno Antunes Javier Cámara 0001 Ryan Wagner Bradley R. Schmerl David Garlan Pedro Fidalgo MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. 103768 2024 140 Comput. Secur. https://doi.org/10.1016/j.cose.2024.103768 db/journals/compsec/compsec140.html#SousaDACWSGF24

Javier Cámara 0001 Rebekka Wohlrab David Garlan Bradley R. Schmerl Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction. 64-73 2024 January - February 41 IEEE Softw. 1 https://doi.org/10.1109/MS.2023.3320689 db/journals/software/software41.html#CamaraWGS24

Maria Casimiro Diogo Soares David Garlan Luís Rodrigues 0001 Paolo Romano 0002 Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. 18:1-18:30 2024 September 19 ACM Trans. Auton. Adapt. Syst. 3 https://doi.org/10.1145/3648682 https://www.wikidata.org/entity/Q130965869 db/journals/taas/taas19.html#CasimiroSGRR24 streams/journals/taas

Pedro Mendes Paolo Romano 0002 David Garlan Hyper-parameter Tuning for Adversarially Robust Models. 2024 AISafety@IJCAI https://ceur-ws.org/Vol-3856/paper_1.pdf conf/aisafety/2024 db/conf/aisafety/aisafety2024.html#Mendes0G24 Pedro Mendes Paolo Romano 0002 David Garlan Error-Driven Uncertainty Aware Training. 1736-1743 2024 ECAI https://doi.org/10.3233/FAIA240683 conf/ecai/2024 db/conf/ecai/ecai2024.html#Mendes0G24 Changjian Zhang Parv Kapoor Rômulo Meira-Góes David Garlan Eunsuk Kang Akila Ganlath Shatadal Mishra Nejib Ammar Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. 267-285 2024 FM (2) https://doi.org/10.1007/978-3-031-71177-0_17 conf/fm/2024-2 db/conf/fm/fm2024-2.html#ZhangKMGKGMA24 streams/conf/fm J. Andres Diaz-Pace David Garlan The Architect in the Maze: On the Effective Usage of Automated Design Exploration. 9-14 2024 Designing@ICSE https://ieeexplore.ieee.org/document/10669896 conf/icse/2024designing db/conf/icse/designing2024.html#DiazPaceG24 streams/conf/icse David Garlan Bradley R. Schmerl Rebekka Wohlrab Javier Cámara 0001 Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. 15-20 2024 Designing@ICSE https://ieeexplore.ieee.org/document/10669864 conf/icse/2024designing db/conf/icse/designing2024.html#GarlanSWC24 streams/conf/icse Tobias Dürschmid Christopher Steven Timperley David Garlan Claire Le Goues ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. 144:1-144:13 2024 ICSE https://doi.org/10.1145/3597503.3639206 https://www.wikidata.org/entity/Q130955118 conf/icse/2024 db/conf/icse/icse2024.html#DurschmidTGG24 Simon Chu Justin Koe David Garlan Eunsuk Kang Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. 122-132 2024 SEAMS@ICSE https://doi.org/10.1145/3643915.3644090 conf/seams/2024 db/conf/seams/seams2024.html#ChuKGK24

Simon Chu Justin Koe David Garlan Eunsuk Kang Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. 2024 abs/2401.09678 CoRR https://doi.org/10.48550/arXiv.2401.09678 db/journals/corr/corr2401.html#abs-2401-09678

Md. Abir Hossen Sonam Kharade Jason M. O'Kane Bradley R. Schmerl David Garlan Pooyan Jamshidi CURE: Simulation-Augmented Auto-Tuning in Robotics. 2024 abs/2402.05399 CoRR https://doi.org/10.48550/arXiv.2402.05399 db/journals/corr/corr2402.html#abs-2402-05399

Pedro Mendes Paolo Romano 0002 David Garlan Error-Driven Uncertainty Aware Training. 2024 abs/2405.01205 CoRR https://doi.org/10.48550/arXiv.2405.01205 db/journals/corr/corr2405.html#abs-2405-01205

Changjian Zhang Parv Kapoor Eunsuk Kang Romulo Meira Goes David Garlan Akila Ganlath Shatadal Mishra Nejib Ammar Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. 2024 abs/2406.17066 CoRR https://doi.org/10.48550/arXiv.2406.17066 db/journals/corr/corr2406.html#abs-2406-17066 streams/journals/corr

Hongrui Chen Aditya Joglekar Zack Rubinstein Bradley R. Schmerl Gary Fedder Jan de Nijs David Garlan Stephen Smith Levent Burak Kara Generative Manufacturing: A requirements and resource-driven approach to part making. 2024 abs/2409.03089 CoRR https://doi.org/10.48550/arXiv.2409.03089 db/journals/corr/corr2409.html#abs-2409-03089 streams/journals/corr

Changjian Zhang Parv Kapoor Ian Dardik Leyi Cui 0001 Romulo Meira Goes David Garlan Eunsuk Kang Constrained LTL Specification Learning from Examples. 2024 abs/2412.02905 CoRR https://doi.org/10.48550/arXiv.2412.02905 db/journals/corr/corr2412.html#abs-2412-02905 streams/journals/corr

Rebekka Wohlrab Javier Cámara 0001 David Garlan Bradley R. Schmerl Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. 111538 2023 April 198 J. Syst. Softw. https://doi.org/10.1016/j.jss.2022.111538 https://www.wikidata.org/entity/Q121088264 db/journals/jss/jss198.html#WohlrabCGS23

Javier Cámara 0001 Rebekka Wohlrab David Garlan Bradley R. Schmerl ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. 111578 2023 April 198 J. Syst. Softw. https://doi.org/10.1016/j.jss.2022.111578 db/journals/jss/jss198.html#CamaraWGS23

Md. Abir Hossen Sonam Kharade Bradley R. Schmerl Javier Cámara 0001 Jason M. O'Kane Ellen C. Czaplinski Katherine A. Dzurilla David Garlan Pooyan Jamshidi CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. 4115-4122 2023 July 8 IEEE Robotics Autom. Lett. 7 https://doi.org/10.1109/LRA.2023.3280810 db/journals/ral/ral8.html#HossenKSCOCDGJ23

Rebekka Wohlrab David Garlan A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems. 3-22 2023 March 28 Requir. Eng. 1 https://doi.org/10.1007/s00766-021-00368-y db/journals/re/re28.html#WohlrabG23

Javier Cámara 0001 David Garlan Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers. 95-101 2023 November - December 40 IEEE Softw. 6 https://doi.org/10.1109/MS.2023.3291400 db/journals/software/software40.html#CamaraG23

Pedro Mendes Maria Casimiro Paolo Romano 0002 David Garlan HyperJump: Accelerating HyperBand via Risk Modelling. 9143-9152 2023 AAAI https://doi.org/10.1609/aaai.v37i8.26097 conf/aaai/2023 db/conf/aaai/aaai2023.html#MendesC0G23 J. Andres Diaz-Pace Rebekka Wohlrab David Garlan Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. 3-19 2023 ECSA https://doi.org/10.1007/978-3-031-42592-9_1 conf/ecsa/2023 db/conf/ecsa/ecsa2023.html#DiazPaceWG23 Changjian Zhang Ian Dardik Rômulo Meira-Góes David Garlan Eunsuk Kang Fortis: A Tool for Analysis and Repair of Robust Software Systems. 1-9 2023 FMCAD https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_31 conf/fmcad/2023 db/conf/fmcad/fmcad2023.html#ZhangDMGK23 Mohammad Reza Saleh Sedghpour David Garlan Bradley R. Schmerl Cristian Klein Johan Tordsson Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. 32-42 2023 IC2E https://doi.org/10.1109/IC2E59103.2023.00012 conf/ic2e/2023 db/conf/ic2e/ic2e2023.html#SedghpourGSKT23 Changjian Zhang Tarang Saluja Rômulo Meira-Góes Matthew L. Bolton David Garlan Eunsuk Kang Robustification of Behavioral Designs against Environmental Deviations. 423-434 2023 ICSE https://doi.org/10.1109/ICSE48619.2023.00046 conf/icse/2023 db/conf/icse/icse2023.html#ZhangSMBGK23 Simon Chu Emma Shedden Changjian Zhang Rômulo Meira-Góes Gabriel A. Moreno David Garlan Eunsuk Kang Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. 115-125 2023 SEAMS https://doi.org/10.1109/SEAMS59076.2023.00025 conf/seams/2023 db/conf/seams/seams2023.html#ChuSZMMGK23

Md. Abir Hossen Sonam Kharade Bradley R. Schmerl Javier Cámara 0001 Jason M. O'Kane Ellen C. Czaplinski Katherine A. Dzurilla David Garlan Pooyan Jamshidi CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. 2023 abs/2301.07690 CoRR https://doi.org/10.48550/arXiv.2301.07690 db/journals/corr/corr2301.html#abs-2301-07690

Pedro Mendes Paolo Romano 0002 David Garlan Hyper-parameter Tuning for Adversarially Robust Models. 2023 abs/2304.02497 CoRR https://doi.org/10.48550/arXiv.2304.02497 db/journals/corr/corr2304.html#abs-2304-02497

Simon Chu Emma Shedden Changjian Zhang Rômulo Meira-Góes Gabriel A. Moreno David Garlan Eunsuk Kang Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. 2023 abs/2310.18217 CoRR https://doi.org/10.48550/arXiv.2310.18217 db/journals/corr/corr2310.html#abs-2310-18217

Changjian Zhang Parv Kapoor Romulo Meira Goes David Garlan Eunsuk Kang Akila Ganlath Shatadal Mishra Nejib Ammar Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. 2023 abs/2311.07462 CoRR https://doi.org/10.48550/arXiv.2311.07462 db/journals/corr/corr2311.html#abs-2311-07462

Javier Cámara 0001 Javier Troya Antonio Vallecillo Nelly Bencomo Radu Calinescu Betty H. C. Cheng David Garlan Bradley R. Schmerl The uncertainty interaction problem in self-adaptive systems. 1277-1294 2022 21 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-022-01037-6 https://www.wikidata.org/entity/Q113904704 db/journals/sosym/sosym21.html#CamaraTVBCCGS22

Sridhar Adepu Nianyu Li Eunsuk Kang David Garlan Modeling and Analysis of Explanation for Secure Industrial Control Systems. 1-26 2022 December 17 ACM Trans. Auton. Adapt. Syst. 3-4 https://doi.org/10.1145/3557898 https://www.wikidata.org/entity/Q131119879 db/journals/taas/taas17.html#AdepuLKG22

Maria Casimiro Paolo Romano 0002 David Garlan Luís Rodrigues 0001 Towards a Framework for Adapting Machine Learning Components. 131-140 2022 ACSOS https://doi.org/10.1109/ACSOS55765.2022.00031 conf/acsos/2022 db/conf/acsos/acsos2022.html#CasimiroRGR22 J. Andres Diaz-Pace David Garlan Making Architecture Optimization Transparent with Tactic-Based Explanations. 5-9 2022 ICSA Companion https://doi.org/10.1109/ICSA-C54293.2022.00008 conf/icsa/2022c db/conf/icsa/icsa2022c.html#Diaz-PaceG22 Christopher Steven Timperley Tobias Dürschmid Bradley R. Schmerl David Garlan Claire Le Goues ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. 56 2022 ICSA Companion https://doi.org/10.1109/ICSA-C54293.2022.00055 conf/icsa/2022c db/conf/icsa/icsa2022c.html#TimperleyDSGG22a Christopher Steven Timperley Tobias Dürschmid Bradley R. Schmerl David Garlan Claire Le Goues ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. 112-123 2022 ICSA https://doi.org/10.1109/ICSA53651.2022.00019 conf/icsa/2022 db/conf/icsa/icsa2022.html#TimperleyDSGG22 Javier Cámara 0001 Radu Calinescu Betty H. C. Cheng David Garlan Bradley R. Schmerl Javier Troya Antonio Vallecillo Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. 24-30 2022 MoDELS https://doi.org/10.1145/3550355.3552438 conf/models/2022 db/conf/models/models2022.html#CamaraCCGSTV22

Ivano Malavolta Grace A. Lewis Bradley R. Schmerl Patricia Lago David Garlan Mining guidelines for architecting robotics software. 110969 2021 178 J. Syst. Softw. https://doi.org/10.1016/j.jss.2021.110969 db/journals/jss/jss178.html#MalavoltaLSLG21

Nabor Chagas Mendonça Pooyan Jamshidi David Garlan Claus Pahl Developing Self-Adaptive Microservice Systems: Challenges and Directions. 70-79 2021 38 IEEE Softw. 2 https://doi.org/10.1109/MS.2019.2955937 db/journals/software/software38.html#MendoncaJGP21

Cody Kinneer David Garlan Claire Le Goues Information Reuse and Stochastic Search: Managing Uncertainty in Self-<sup>*</sup> Systems. 3:1-3:36 2021 15 ACM Trans. Auton. Adapt. Syst. 1 https://doi.org/10.1145/3440119 db/journals/taas/taas15.html#KinneerGG21

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 Six Software Engineering Principles for Smarter Cyber-Physical Systems. 198-203 2021 ACSOS-C https://doi.org/10.1109/ACSOS-C52956.2021.00058 conf/acsos/2021c db/conf/acsos/acsos2021c.html#WeynsBCCFGNPRRS21 Mohammed N. Alharbi Shihong Huang David Garlan A Probabilistic Model for Personality Trait Focused Explainability. 2021 ECSA (Companion) https://ceur-ws.org/Vol-2978/casa-paper5.pdf conf/ecsa/2021c db/conf/ecsa/ecsa2021c.html#AlharbiHG21 Javier Cámara 0001 Mariana Silva David Garlan Bradley R. Schmerl Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. 49-65 2021 ECSA https://doi.org/10.1007/978-3-030-86044-8_4 conf/ecsa/2021 db/conf/ecsa/ecsa2021.html#CamaraSGS21 Maria Casimiro Paolo Romano 0002 David Garlan Gabriel A. Moreno Eunsuk Kang Mark Klein 0003 Self-Adaptation for Machine Learning Based Systems. 2021 ECSA (Companion) https://ceur-ws.org/Vol-2978/saml-paper6.pdf conf/ecsa/2021c db/conf/ecsa/ecsa2021c.html#Casimiro0GMKK21 Maria Casimiro Paolo Romano 0002 David Garlan Gabriel A. Moreno Eunsuk Kang Mark Klein 0003 Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. 133-155 2021 ECSA (Tracks and Workshops) https://doi.org/10.1007/978-3-031-15116-3_7 conf/ecsa/2021w db/conf/ecsa/ecsa2021w.html#CasimiroRGMKK21 Mohammed N. Alharbi Shihong Huang David Garlan A Probabilistic Model for Effective Explainability Based on Personality Traits. 205-225 2021 ECSA (Tracks and Workshops) https://doi.org/10.1007/978-3-031-15116-3_10 conf/ecsa/2021w db/conf/ecsa/ecsa2021w.html#AlharbiHG21a Nianyu Li Mingyue Zhang 0002 Eunsuk Kang David Garlan Engineering Secure Self-Adaptive Systems with Bayesian Games. 130-151 2021 FASE https://doi.org/10.1007/978-3-030-71500-7_7 conf/fase/2021 db/conf/fase/fase2021.html#LiZKG21 Rebekka Wohlrab David Garlan Defining Utility Functions for Multi-stakeholder Self-adaptive Systems. 116-122 2021 REFSQ https://doi.org/10.1007/978-3-030-73128-1_8 conf/refsq/2021 db/conf/refsq/refsq2021.html#WohlrabG21 Nianyu Li Javier Cámara 0001 David Garlan Bradley R. Schmerl Zhi Jin 0001 Hey! Preparing Humans to do Tasks in Self-adaptive Systems. 48-58 2021 SEAMS@ICSE https://doi.org/10.1109/SEAMS51251.2021.00017 conf/seams/2021 db/conf/seams/seams2021.html#LiCGSJ21 David Garlan The Unknown Unknowns Are Not Totally Unknown. 264-265 2021 SEAMS@ICSE https://doi.org/10.1109/SEAMS51251.2021.00047 conf/seams/2021 db/conf/seams/seams2021.html#Garlan21 Maria Casimiro David Garlan Javier Cámara 0001 Luís Rodrigues 0001 Paolo Romano 0002 A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. 317-332 2021 SEFM Workshops https://doi.org/10.1007/978-3-031-12429-7_23 conf/sefm/2021w db/conf/sefm/sefm2021w.html#CasimiroGCRR21 Changjian Zhang Ryan Wagner Pedro Orvalho David Garlan Vasco Manquinho Ruben Martins Eunsuk Kang AlloyMax: bringing maximum satisfaction to relational specifications. 155-167 2021 ESEC/SIGSOFT FSE https://doi.org/10.1145/3468264.3468587 conf/sigsoft/2021 db/conf/sigsoft/fse2021.html#ZhangWOGMMK21

Rebekka Wohlrab David Garlan Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. 2021 abs/2103.10101 CoRR https://arxiv.org/abs/2103.10101 db/journals/corr/corr2103.html#abs-2103-10101

Ashutosh Pandey 0002 Ivan Ruchkin Bradley R. Schmerl David Garlan Hybrid Planning Using Learning and Model Checking for Autonomous Systems. 55-64 2020 ACSOS https://doi.org/10.1109/ACSOS49614.2020.00026 conf/acsos/2020 db/conf/acsos/acsos2020.html#0002RSG20 Thomas J. Glazier David Garlan Bradley R. Schmerl Automated Management of Collections of Autonomic Systems. 82-91 2020 ACSOS https://doi.org/10.1109/ACSOS49614.2020.00029 conf/acsos/2020 db/conf/acsos/acsos2020.html#GlazierGS20 Nianyu Li Javier Cámara 0001 David Garlan Bradley R. Schmerl Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. 195-204 2020 ACSOS https://doi.org/10.1109/ACSOS49614.2020.00042 conf/acsos/2020 db/conf/acsos/acsos2020.html#LiCGS20 Cody Kinneer Rijnard van Tonder David Garlan Claire Le Goues Building Reusable Repertoires for Stochastic Self-* Planners. 222-231 2020 ACSOS https://doi.org/10.1109/ACSOS49614.2020.00045 conf/acsos/2020 db/conf/acsos/acsos2020.html#KinneerTGG20 Maria Casimiro Diego Didona Paolo Romano 0002 Luís E. T. Rodrigues Willy Zwaenepoel David Garlan Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. 56-66 2020 ICDCS https://doi.org/10.1109/ICDCS47774.2020.00047 conf/icdcs/2020 db/conf/icdcs/icdcs2020.html#CasimiroD0RZG20 Nabor C. Mendonça Carlos Mendes Aderaldo Javier Cámara 0001 David Garlan Model-Based Analysis of Microservice Resiliency Patterns. 114-124 2020 ICSA https://doi.org/10.1109/ICSA47634.2020.00019 conf/icsa/2020 db/conf/icsa/icsa2020.html#MendoncaACG20 Ivano Malavolta Grace A. Lewis Bradley R. Schmerl Patricia Lago David Garlan How do you architect your robots?: state of the practice and guidelines for ROS-based systems. 31-40 2020 ICSE (SEIP) https://doi.org/10.1145/3377813.3381358 https://ieeexplore.ieee.org/document/9276566 conf/icse/2020seip db/conf/icse/seip2020.html#MalavoltaLSLG20 Javier Cámara 0001 Alessandro Vittorio Papadopoulos Thomas Vogel 0001 Danny Weyns David Garlan Shihong Huang Kenji Tei Towards bridging the gap between control and self-adaptive system properties. 78-84 2020 SEAMS@ICSE https://doi.org/10.1145/3387939.3391568 conf/icse/2020seams db/conf/icse/seams2020.html#CamaraP0WGHT20 Javier Cámara 0001 Bradley R. Schmerl David Garlan Software architecture and task plan co-adaptation for mobile service robots. 125-136 2020 SEAMS@ICSE https://doi.org/10.1145/3387939.3391591 conf/icse/2020seams db/conf/icse/seams2020.html#CamaraSG20 Nianyu Li Sridhar Adepu Eunsuk Kang David Garlan Explanations for human-on-the-loop: a probabilistic model checking approach. 181-187 2020 SEAMS@ICSE https://doi.org/10.1145/3387939.3391592 conf/icse/2020seams db/conf/icse/seams2020.html#LiAKG20 Pedro Mendes Maria Casimiro Paolo Romano 0002 David Garlan TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. 1-8 2020 MASCOTS https://doi.org/10.1109/MASCOTS50786.2020.9285971 conf/mascots/2020 db/conf/mascots/mascots2020.html#MendesCRG20 Roykrong Sukkerd Reid G. Simmons David Garlan Tradeoff-Focused Contrastive Explanation for MDP Planning. 1041-1048 2020 RO-MAN https://doi.org/10.1109/RO-MAN47096.2020.9223614 conf/ro-man/2020 db/conf/ro-man/ro-man2020.html#SukkerdSG20 Changjian Zhang David Garlan Eunsuk Kang A behavioral notion of robustness for software systems. 1-12 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3409753 https://www.wikidata.org/entity/Q130892536 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#ZhangGK20

Javier Cámara 0001 Alessandro Vittorio Papadopoulos Thomas Vogel 0001 Danny Weyns David Garlan Shihong Huang Kenji Tei Towards Bridging the Gap between Control and Self-Adaptive System Properties. 2020 abs/2004.11846 CoRR https://arxiv.org/abs/2004.11846 db/journals/corr/corr2004.html#abs-2004-11846

Roykrong Sukkerd Reid G. Simmons David Garlan Tradeoff-Focused Contrastive Explanation for MDP Planning. 2020 abs/2004.12960 CoRR https://arxiv.org/abs/2004.12960 db/journals/corr/corr2004.html#abs-2004-12960

Pedro Mendes Maria Casimiro Paolo Romano 0002 David Garlan TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. 2020 abs/2011.04726 CoRR https://arxiv.org/abs/2011.04726 db/journals/corr/corr2011.html#abs-2011-04726

Darko Bozhinoski David Garlan Ivano Malavolta Patrizio Pelliccione Managing safety and mission completion via collective run-time adaptation. 19-35 2019 95 J. Syst. Archit. https://doi.org/10.1016/j.sysarc.2019.02.018 db/journals/jsa/jsa95.html#BozhinoskiGMP19

Javier Cámara 0001 David Garlan Bradley R. Schmerl Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. 33-49 2019 152 J. Syst. Softw. https://doi.org/10.1016/j.jss.2019.02.055 db/journals/jss/jss152.html#CamaraGS19

Javier Cámara 0001 David Garlan Greg Eakman Building Long-Lived Adaptive Systems. 70-72 2019 36 IEEE Softw. 2 https://doi.org/10.1109/MS.2018.2885993 https://www.wikidata.org/entity/Q128333472 db/journals/software/software36.html#CamaraGE19

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 Arjun Guha Jarrett Holtz Javier Cámara 0001 Pooyan Jamshidi Model-Based Adaptation for Robotics Software. 83-90 2019 36 IEEE Softw. 2 https://doi.org/10.1109/MS.2018.2885058 https://www.wikidata.org/entity/Q128386144 db/journals/software/software36.html#AldrichGKGMRSST19

Carlos M. Aderaldo Nabor C. Mendonça Bradley R. Schmerl David Garlan Kubow: an architecture-based self-adaptation service for cloud native applications. 42-45 2019 ECSA (Companion) https://doi.org/10.1145/3344948.3344963 conf/ecsa/2019c db/conf/ecsa/ecsa2019c.html#AderaldoMSG19 Pooyan Jamshidi Javier Cámara 0001 Bradley R. Schmerl Christian Kästner David Garlan Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. 39-50 2019 SEAMS@ICSE https://doi.org/10.1109/SEAMS.2019.00015 https://dl.acm.org/citation.cfm?id=3341534 conf/icse/2019seams db/conf/icse/seams2019.html#JamshidiCSKG19 Tobias Dürschmid Eunsuk Kang David Garlan Trade-off-oriented development: making quality attribute trade-offs first-class. 109-112 2019 ICSE (NIER) https://doi.org/10.1109/ICSE-NIER.2019.00036 https://dl.acm.org/citation.cfm?id=3339180 conf/icse/2019nier db/conf/icse/nier2019.html#DurschmidKG19 Gabriel A. Moreno Cody Kinneer Ashutosh Pandey 0002 David Garlan DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. 181-187 2019 SEAMS@ICSE https://doi.org/10.1109/SEAMS.2019.00031 https://dl.acm.org/citation.cfm?id=3341554 conf/icse/2019seams db/conf/icse/seams2019.html#MorenoK0G19 Cody Kinneer Ryan Wagner Fei Fang 0001 Claire Le Goues David Garlan Modeling observability in adaptive systems to defend against advanced persistent threats. 10:1-10:11 2019 MEMOCODE https://doi.org/10.1145/3359986.3361208 conf/memocode/2019 db/conf/memocode/memocode2019.html#KinneerWFGG19 Thomas J. Glazier David Garlan An Automated Approach to Management of a Collection of Autonomic Systems. 110-115 2019 FAS*W@SASO/ICAC https://doi.org/10.1109/FAS-W.2019.00038 conf/saso/2019fasw db/conf/saso/fasw2019.html#GlazierG19

Pooyan Jamshidi Javier Cámara 0001 Bradley R. Schmerl Christian Kästner David Garlan Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots. 2019 abs/1903.03920 CoRR http://arxiv.org/abs/1903.03920 db/journals/corr/corr1903.html#abs-1903-03920

Nabor C. Mendonça Pooyan Jamshidi David Garlan Claus Pahl Developing Self-Adaptive Microservice Systems: Challenges and Directions. 2019 abs/1910.07660 CoRR http://arxiv.org/abs/1910.07660 db/journals/corr/corr1910.html#abs-1910-07660

Javier Cámara 0001 Bradley R. Schmerl Gabriel A. Moreno David Garlan MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. 595-626 2018 25 Autom. Softw. Eng. 3 https://doi.org/10.1007/s10515-018-0234-9 https://www.wikidata.org/entity/Q129861270 db/journals/ase/ase25.html#CamaraSMG18

Javier Cámara 0001 Wenxin Peng David Garlan Bradley R. Schmerl Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. 51-69 2018 167 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2018.07.002 db/journals/scp/scp167.html#CamaraPGS18

Nancy R. Mead David Garlan Mary Shaw Half a Century of Software Engineering Education: The CMU Exemplar. 25-31 2018 35 IEEE Softw. 5 https://doi.org/10.1109/MS.2018.290110743 http://doi.ieeecomputersociety.org/10.1109/MS.2018.290110743 db/journals/software/software35.html#MeadGS18

Gabriel A. Moreno Javier Cámara 0001 David Garlan Bradley R. Schmerl Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. 3:1-3:36 2018 13 ACM Trans. Auton. Adapt. Syst. 1 https://doi.org/10.1145/3149180 db/journals/taas/taas13.html#MorenoCGS18

Nabor C. Mendonça David Garlan Bradley R. Schmerl Javier Cámara 0001 Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. 18:1-18:6 2018 ECSA (Companion) https://doi.org/10.1145/3241403.3241423 conf/ecsa/2018c db/conf/ecsa/ecsa2018c.html#MendoncaGSC18 Ivan Ruchkin Joshua Sunshine Grant Iraci Bradley R. Schmerl David Garlan IPL: An Integration Property Language for Multi-model Cyber-physical Systems. 165-184 2018 FM https://doi.org/10.1007/978-3-319-95582-7_10 conf/fm/2018 db/conf/fm/fm2018.html#RuchkinSISG18 Ryan Wagner David Garlan Matt Fredrikson Quantitative underpinnings of secure, graceful degradation: poster. 25:1 2018 HotSoS https://doi.org/10.1145/3190619.3191695 conf/hotsos/2018 db/conf/hotsos/hotsos2018.html#WagnerGF18 Roykrong Sukkerd Reid G. Simmons David Garlan Towards explainable multi-objective probabilistic planning. 19-25 2018 SEsCPS@ICSE https://doi.org/10.1145/3196478.3196488 https://ieeexplore.ieee.org/document/8445074 conf/icse/2018sescps db/conf/icse/sescps2018.html#SukkerdSG18 Cody Kinneer Zack Coker Jiacheng Wang David Garlan Claire Le Goues Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. 40-50 2018 SEAMS@ICSE https://doi.org/10.1145/3194133.3194145 https://ieeexplore.ieee.org/document/8595379 conf/icse/2018seams db/conf/icse/seams2018.html#KinneerCWGG18 Gabriel A. Moreno Javier Cámara 0001 David Garlan Mark Klein 0003 Uncertainty reduction in self-adaptive systems. 51-57 2018 SEAMS@ICSE https://doi.org/10.1145/3194133.3194144 https://ieeexplore.ieee.org/document/8595380 conf/icse/2018seams db/conf/icse/seams2018.html#MorenoCGK18 Gabriel A. Moreno Bradley R. Schmerl David Garlan SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. 137-143 2018 SEAMS@ICSE https://doi.org/10.1145/3194133.3194163 https://ieeexplore.ieee.org/document/8595390 conf/icse/2018seams db/conf/icse/seams2018.html#MorenoSG18 Carlos E. Cuesta David Garlan Jennifer Pérez Software Architecture - 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings ECSA Springer 2018 Lecture Notes in Computer Science 11048 978-3-030-00760-7 978-3-030-00761-4 https://doi.org/10.1007/978-3-030-00761-4 db/conf/ecsa/ecsa2018.html

Javier Cámara 0001 Bashar Nuseibeh David Garlan Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:-1-00:-12 2017 3 Dagstuhl Artifacts Ser. 1 https://doi.org/10.4230/DARTS.3.1.0 db/journals/darts/darts3.html#CamaraNG17

Hemank Lamba Thomas J. Glazier Javier Cámara 0001 Bradley R. Schmerl David Garlan Jürgen Pfeffer Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software. 17-22 2017 IWSPA@CODASPY https://doi.org/10.1145/3041008.3041014 conf/codaspy/2017iwspa db/conf/codaspy/iwspa2017.html#LambaGCSGP17 Javier Cámara 0001 David Garlan Bradley R. Schmerl Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. 3-21 2017 ECSA https://doi.org/10.1007/978-3-319-65831-5_1 conf/ecsa/2017 db/conf/ecsa/ecsa2017.html#CamaraGS17 Vishal Dwivedi James D. Herbsleb David Garlan What Ails End-User Composition: A Cross-Domain Qualitative Study. 66-83 2017 IS-EUD https://doi.org/10.1007/978-3-319-58735-6_5 conf/iseud/2017 db/conf/iseud/iseud2017.html#DwivediHG17 Ashutosh Pandey 0002 Bradley R. Schmerl David Garlan Instance-Based Learning for Hybrid Planning. 64-69 2017 FAS*W@SASO/ICCAC https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.122 conf/saso/2017fasw db/conf/saso/fasw2017.html#0002SG17 Javier Cámara 0001 Wenxin Peng David Garlan Bradley R. Schmerl Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. 523-540 2017 SEFM Workshops https://doi.org/10.1007/978-3-319-74781-1_35 conf/sefm/2017w db/conf/sefm/sefm2017w.html#CamaraPGS17 Rogério de Lemos David Garlan Carlo Ghezzi Holger Giese Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers Software Engineering for Self-Adaptive Systems Springer 2017 Lecture Notes in Computer Science 9640 978-3-319-74182-6 978-3-319-74183-3 https://doi.org/10.1007/978-3-319-74183-3 db/conf/dagstuhl/adaptive2013.html

David Garlan Nicolás D'Ippolito Kenji Tei The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10). 2017 2017 NII Shonan Meet. Rep. https://shonan.nii.ac.jp/seminars/110/ db/journals/shonan-reports/shonan-reports2017.html#GarlanDT17

João Miguel Franco Francisco Correia Raul Barbosa Mário Zenha Rela Bradley R. Schmerl David Garlan Improving self-adaptation planning through software architecture-based stochastic modeling. 42-60 2016 115 J. Syst. Softw. https://doi.org/10.1016/j.jss.2016.01.026 db/journals/jss/jss115.html#FrancoCBRSG16

Javier Cámara 0001 Pedro Correia Rogério de Lemos David Garlan Pedro Gomes Bradley R. Schmerl Rafael Ventura Incorporating architecture-based self-adaptation into an adaptive industrial software system. 507-523 2016 122 J. Syst. Softw. https://doi.org/10.1016/j.jss.2015.09.021 db/journals/jss/jss122.html#CamaraCLGGSV16

Javier Cámara 0001 Antónia Lopes David Garlan Bradley R. Schmerl Adaptation impact and environment models for architecture-based self-adaptive systems. 50-75 2016 127 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2015.12.006 db/journals/scp/scp127.html#CamaraLGS16

Javier Cámara 0001 Gabriel A. Moreno David Garlan Bradley R. Schmerl Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. 23:1-23:28 2016 10 ACM Trans. Auton. Adapt. Syst. 4 https://doi.org/10.1145/2774222 db/journals/taas/taas10.html#CamaraMGS16

Bradley R. Schmerl Jeff Gennari Alireza Sadeghi Hamid Bagheri Sam Malek Javier Cámara 0001 David Garlan Architecture Modeling and Analysis of Security in Android Systems. 274-290 2016 ECSA https://doi.org/10.1007/978-3-319-48992-6_21 conf/ecsa/2016 db/conf/ecsa/ecsa2016.html#SchmerlGSBMCG16 Hemank Lamba Thomas J. Glazier Bradley R. Schmerl Javier Cámara 0001 David Garlan Jürgen Pfeffer A model-based approach to anomaly detection in software architectures. 69-71 2016 HotSoS https://doi.org/10.1145/2898375.2898401 conf/hotsos/2016 db/conf/hotsos/hotsos2016.html#LambaGSCGP16 Bradley R. Schmerl Jeffrey Gennari Javier Cámara 0001 David Garlan Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. 115-117 2016 HotSoS https://doi.org/10.1145/2898375.2898389 https://www.wikidata.org/entity/Q130929107 conf/hotsos/2016 db/conf/hotsos/hotsos2016.html#SchmerlGCG16 Gabriel A. Moreno Javier Cámara 0001 David Garlan Bradley R. Schmerl Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. 147-156 2016 ICAC https://doi.org/10.1109/ICAC.2016.59 https://doi.ieeecomputersociety.org/10.1109/ICAC.2016.59 conf/icac/2016 db/conf/icac/icac2016.html#MorenoCGS16 Roykrong Sukkerd Javier Cámara 0001 David Garlan Reid G. Simmons Multiscale time abstractions for long-range planning under uncertainty. 15-21 2016 SEsCPS@ICSE https://doi.org/10.1145/2897035.2897044 https://doi.ieeecomputersociety.org/10.1109/SEsCPS.2016.011 conf/icse/2016sescps db/conf/icse/sescps2016.html#SukkerdCGS16 Ashutosh Pandey 0002 Gabriel A. Moreno Javier Cámara 0001 David Garlan Hybrid Planning for Decision Making in Self-Adaptive Systems. 130-139 2016 SASO https://doi.org/10.1109/SASO.2016.19 https://doi.ieeecomputersociety.org/10.1109/SASO.2016.19 conf/saso/2016 db/conf/saso/saso2016.html#0002MCG16 Ivan Ruchkin Selva Samuel Bradley R. Schmerl Amanda Rico David Garlan Challenges in physical modeling for adaptation of cyber-physical systems. 210-215 2016 WF-IoT https://doi.org/10.1109/WF-IoT.2016.7845513 https://doi.ieeecomputersociety.org/10.1109/WF-IoT.2016.7845513 conf/wf-iot/2016 db/conf/wf-iot/wf-iot2016.html#RuchkinSSRG16

Tomás Bures Danny Weyns Christian Berger 0001 Stefan Biffl Marian Daun Thomas Gabor David Garlan Ilias Gerostathopoulos Christine Julien 0001 Filip Krikava Richard Mordinyi Nikos Pronios Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. 28-32 2015 40 ACM SIGSOFT Softw. Eng. Notes 6 https://doi.org/10.1145/2830719.2830736 db/journals/sigsoft/sigsoft40.html#BuresWBBDGGGJKM15

Ivan Ruchkin Bradley R. Schmerl David Garlan Architectural Abstractions for Hybrid Programs. 65-74 2015 CBSE https://doi.org/10.1145/2737166.2737167 conf/cbse/2015 db/conf/cbse/cbse2015.html#RuchkinSG15 Ivan Ruchkin Ashwini Rao Dionisio de Niz Sagar Chaki David Garlan Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. 11-22 2015 CPS-SPC@CCS https://doi.org/10.1145/2808705.2808714 https://www.wikidata.org/entity/Q130921775 conf/ccs/2015cpsspc db/conf/ccs/cpsspc2015.html#RuchkinRNCG15 Bradley R. Schmerl Jeffrey Gennari David Garlan An architecture style for Android security analysis: poster. 15:1-15:2 2015 HotSoS https://doi.org/10.1145/2746194.2746209 conf/hotsos/2015 db/conf/hotsos/hotsos2015.html#SchmerlGG15 Hemank Lamba Thomas J. Glazier Bradley R. Schmerl Jürgen Pfeffer David Garlan Detecting insider threats in software systems using graph models of behavioral paths. 20:1-20:2 2015 HotSoS https://doi.org/10.1145/2746194.2746214 conf/hotsos/2015 db/conf/hotsos/hotsos2015.html#LambaGSPG15 David Garlan Modeling Challenges for CPS Systems. 1 2015 SEsCPS@ICSE https://doi.org/10.1109/SEsCPS.2015.8 https://doi.ieeecomputersociety.org/10.1109/SEsCPS.2015.8 http://dl.acm.org/citation.cfm?id=2821406 conf/icse/2015sescps db/conf/icse/sescps2015.html#Garlan15 Javier Cámara 0001 Gabriel A. Moreno David Garlan Reasoning about Human Participation in Self-Adaptive Systems. 146-156 2015 SEAMS@ICSE https://doi.org/10.1109/SEAMS.2015.14 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2015.14 http://dl.acm.org/citation.cfm?id=2821384 conf/icse/2015seams db/conf/icse/seams2015.html#CamaraMG15 Zack Coker David Garlan Claire Le Goues SASS: Self-Adaptation Using Stochastic Search. 168-174 2015 SEAMS@ICSE https://doi.org/10.1109/SEAMS.2015.16 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2015.16 http://dl.acm.org/citation.cfm?id=2821386 conf/icse/2015seams db/conf/icse/seams2015.html#CokerGG15 Ivan Ruchkin Bradley R. Schmerl David Garlan Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. 3-10 2015 ACES-MB&WUCOR@MoDELS https://ceur-ws.org/Vol-1508/paper2.pdf conf/models/2015acesmb db/conf/models/acesmb2015.html#RuchkinSG15 Javier Cámara 0001 David Garlan Bradley R. Schmerl Ashutosh Pandey 0002 Optimal planning for architecture-based self-adaptation via model checking of stochastic games. 428-435 2015 SAC https://doi.org/10.1145/2695664.2695680 conf/sac/2015 db/conf/sac/sac2015.html#CamaraGS015 Thomas J. Glazier Javier Cámara 0001 Bradley R. Schmerl David Garlan Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. 55-60 2015 SASO Workshops https://doi.org/10.1109/SASOW.2015.14 https://doi.ieeecomputersociety.org/10.1109/SASOW.2015.14 conf/saso/2015w db/conf/saso/saso2015w.html#GlazierCSG15 Roykrong Sukkerd David Garlan Reid G. Simmons Task Planning of Cyber-Human Systems. 293-309 2015 SEFM https://doi.org/10.1007/978-3-319-22969-0_21 conf/sefm/2015 db/conf/sefm/sefm2015.html#SukkerdGS15 Gabriel A. Moreno Javier Cámara 0001 David Garlan Bradley R. Schmerl Proactive self-adaptation under uncertainty: a probabilistic model checking approach. 1-12 2015 ESEC/SIGSOFT FSE https://doi.org/10.1145/2786805.2786853 conf/sigsoft/2015 db/conf/sigsoft/fse2015.html#MorenoCGS15

Sungwon Kang David Garlan Architecture-Based Planning of Software Evolution. 211-242 2014 24 Int. J. Softw. Eng. Knowl. Eng. 2 https://doi.org/10.1142/S0218194014500090 db/journals/ijseke/ijseke24.html#KangG14

Jeffrey M. Barnes David Garlan Bradley R. Schmerl Evolution styles: foundations and models for software architecture evolution. 649-678 2014 13 Softw. Syst. Model. 2 https://doi.org/10.1007/s10270-012-0301-9 db/journals/sosym/sosym13.html#BarnesGS14

Akshay Rajhans Ajinkya Bhave Ivan Ruchkin Bruce H. Krogh David Garlan André Platzer Bradley R. Schmerl Supporting Heterogeneity in Cyber-Physical Systems Architectures. 3178-3193 2014 59 IEEE Trans. Autom. Control. 12 https://doi.org/10.1109/TAC.2014.2351672 db/journals/tac/tac59.html#RajhansBRKGPS14

Ivan Ruchkin Dionisio de Niz Sagar Chaki David Garlan Contract-based integration of cyber-physical analyses. 23:1-23:10 2014 EMSOFT https://doi.org/10.1145/2656045.2656052 conf/emsoft/2014 db/conf/emsoft/emsoft2014.html#RuchkinNCG14 Javier Cámara Moreno Antónia Lopes David Garlan Bradley R. Schmerl Impact Models for Architecture-Based Self-adaptive Systems. 89-107 2014 FACS https://doi.org/10.1007/978-3-319-15317-9_6 conf/facs2/2014 db/conf/facs2/facs2014.html#MorenoLGS14 Bradley R. Schmerl Javier Cámara 0001 Jeffrey Gennari David Garlan Paulo Casanova Gabriel A. Moreno Thomas J. Glazier Jeffrey M. Barnes Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. 2 2014 HotSoS https://doi.org/10.1145/2600176.2600181 conf/hotsos/2014 db/conf/hotsos/hotsos2014.html#SchmerlCGGCMGB14 David Garlan Software architecture: a travelogue. 29-39 2014 FOSE https://doi.org/10.1145/2593882.2593886 conf/icse/2014fose db/conf/icse/fose2014.html#Garlan14 Paulo Casanova David Garlan Bradley R. Schmerl Rui Abreu 0001 Diagnosing unobserved components in self-adaptive systems. 75-84 2014 SEAMS https://doi.org/10.1145/2593929.2593946 conf/icse/2014seams db/conf/icse/seams2014.html#CasanovaGSA14 Javier Cámara 0001 Gabriel A. Moreno David Garlan Stochastic game analysis and latency awareness for proactive self-adaptation. 155-164 2014 SEAMS https://doi.org/10.1145/2593929.2593933 conf/icse/2014seams db/conf/icse/seams2014.html#CamaraMG14 Vishal Dwivedi David Garlan Jürgen Pfeffer Bradley R. Schmerl Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions. 235-240 2014 ITNG https://doi.org/10.1109/ITNG.2014.107 https://doi.ieeecomputersociety.org/10.1109/ITNG.2014.107 conf/itng/2014 db/conf/itng/itng2014.html#DwivediGPS14 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 0001 Radu Calinescu Myra B. Cohen Alessandra Gorla Vincenzo Grassi Lars Grunske Paola Inverardi Jean-Marc Jézéquel Sam Malek Raffaela Mirandola Marco Mori Hausi A. Müller Romain Rouvoy Cecília M. F. Rubira Éric Rutten Mary Shaw Giordano Tamburrelli Gabriel Tamura Norha M. Villegas Thomas Vogel 0001 Franco Zambonelli Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. 3-30 2013 Software Engineering for Self-Adaptive Systems https://doi.org/10.1007/978-3-319-74183-3_1 conf/dagstuhl/2013adaptive db/conf/dagstuhl/adaptive2013.html#LemosGGGALSWBBB13 Javier Cámara 0001 David Garlan Gabriel A. Moreno Bradley R. Schmerl Analyzing Self-Adaptation Via Model Checking of Stochastic Games. 154-187 2013 Software Engineering for Self-Adaptive Systems https://doi.org/10.1007/978-3-319-74183-3_6 conf/dagstuhl/2013adaptive db/conf/dagstuhl/adaptive2013.html#CamaraGMS13 David Garlan A 10-year perspective on software engineering self-adaptive systems (keynote). 2 2013 SEAMS https://doi.org/10.1109/SEAMS.2013.6595486 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2013.6595486 http://dl.acm.org/citation.cfm?id=2663549 conf/icse/2013seams db/conf/icse/seams2013.html#Garlan13 Jeffrey M. Barnes David Garlan Challenges in developing a software architecture evolution tool as a plug-in. 13-18 2013 TOPI@ICSE https://doi.org/10.1109/TOPI.2013.6597188 https://doi.ieeecomputersociety.org/10.1109/TOPI.2013.6597188 conf/icse/2013topi db/conf/icse/topi2013.html#BarnesG13 Javier Cámara 0001 Pedro Correia Rogério de Lemos David Garlan Pedro Gomes Bradley R. Schmerl Rafael Ventura Evolving an adaptive industrial software system to use architecture-based self-adaptation. 13-22 2013 SEAMS https://doi.org/10.1109/SEAMS.2013.6595488 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2013.6595488 http://dl.acm.org/citation.cfm?id=2663552 https://www.wikidata.org/entity/Q62040633 conf/icse/2013seams db/conf/icse/seams2013.html#CamaraCLGGSV13 Paulo Casanova David Garlan Bradley R. Schmerl Rui Abreu 0001 Diagnosing architectural run-time failures. 103-112 2013 SEAMS https://doi.org/10.1109/SEAMS.2013.6595497 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2013.6595497 http://dl.acm.org/citation.cfm?id=2663564 conf/icse/2013seams db/conf/icse/seams2013.html#CasanovaGSA13 Perla Velasco Elizondo Vishal Dwivedi David Garlan Bradley R. Schmerl José Maria Fernandes Resolving Data Mismatches in End-User Compositions. 120-136 2013 IS-EUD https://doi.org/10.1007/978-3-642-38706-7_10 conf/iseud/2013 db/conf/iseud/iseud2013.html#ElizondoDGSF13 Jeffrey M. Barnes Ashutosh Pandey 0002 David Garlan Automated planning for software architecture evolution. 213-223 2013 ASE https://doi.org/10.1109/ASE.2013.6693081 conf/kbse/2013 db/conf/kbse/ase2013.html#BarnesPG13 Eric Yuan Sam Malek Bradley R. Schmerl David Garlan Jeff Gennari Architecture-based self-protecting software systems. 33-42 2013 QoSA https://doi.org/10.1145/2465478.2465479 conf/qosa/2013 db/conf/qosa/qosa2013.html#YuanMSGG13

Rogério de Lemos David Garlan Carlo Ghezzi Holger Giese Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). 67-96 2013 3 Dagstuhl Reports 12 https://doi.org/10.4230/DagRep.3.12.67 db/journals/dagstuhl-reports/dagstuhl-reports3.html#LemosGGG13

Shang-Wen Cheng David Garlan Stitch: A language for architecture-based self-adaptation. 2860-2875 2012 85 J. Syst. Softw. 12 https://doi.org/10.1016/j.jss.2012.02.060 db/journals/jss/jss85.html#ChengG12

David Garlan Vishal Dwivedi Ivan Ruchkin Bradley R. Schmerl Foundations and Tools for End-User Architecting. 157-182 2012 Monterey Workshop https://doi.org/10.1007/978-3-642-34059-8_9 conf/monterey/2012 db/conf/monterey/monterey2012.html#GarlanDRS12 Radu Calinescu David Garlan Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers 7539 2012 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-34059-8 978-3-642-34058-1 Monterey Workshop db/conf/monterey/monterey2012.html

David Garlan Vishal Dwivedi Ivan Ruchkin Bradley R. Schmerl Foundations and Tools for End-User Architecting http://arxiv.org/abs/1210.4981 2012 CoRR abs/1210.4981 db/journals/corr/corr1210.html#abs-1210-4981

Akshay Rajhans Ajinkya Bhave Sarah M. Loos Bruce H. Krogh André Platzer David Garlan Using parameters in architectural views to support heterogeneous design and verification. 2705-2710 2011 CDC/ECC https://doi.org/10.1109/CDC.2011.6161408 conf/cdc/2011 db/conf/cdc/cdc2011.html#RajhansBLKPG11 Paulo Casanova Bradley R. Schmerl David Garlan Rui Abreu 0001 Architecture-Based Run-Time Fault Diagnosis. 261-277 2011 ECSA https://doi.org/10.1007/978-3-642-23798-0_29 conf/ecsa/2011 db/conf/ecsa/ecsa2011.html#CasanovaSGA11 Vishal Dwivedi Perla Velasco Elizondo José Maria Fernandes David Garlan Bradley R. Schmerl An Architectural Approach to End User Orchestrations. 370-378 2011 ECSA https://doi.org/10.1007/978-3-642-23798-0_39 conf/ecsa/2011 db/conf/ecsa/ecsa2011.html#DwivediEFGS11 Ajinkya Bhave Bruce H. Krogh David Garlan Bradley R. Schmerl View Consistency in Architectures for Cyber-Physical Systems. 151-160 2011 ICCPS https://doi.org/10.1109/ICCPS.2011.17 https://doi.ieeecomputersociety.org/10.1109/ICCPS.2011.17 conf/iccps/2011 db/conf/iccps/iccps2011.html#BhaveKGS11 Bradley R. Schmerl David Garlan Vishal Dwivedi Michael W. Bigrigg Kathleen M. Carley SORASCS: a case study in soa-based platform design for socio-cultural analysis. 643-652 2011 ICSE https://doi.org/10.1145/1985793.1985883 https://www.wikidata.org/entity/Q63170117 conf/icse/2011 db/conf/icse/icse2011.html#SchmerlGDBC11 David Garlan Mary Shaw Software architecture: reflections on an evolving discipline. 2 2011 SIGSOFT FSE https://doi.org/10.1145/2025113.2025116 https://www.wikidata.org/entity/Q60197925 conf/sigsoft/2011 db/conf/sigsoft/fse2011.html#GarlanS11 David Garlan Invited Talk - Engineering Self-Healing and Self-Improving Systems. 207 2011 SSIRI (Companion) https://doi.org/10.1109/SSIRI-C.2011.35 https://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2011.35 conf/ssiri/2011c db/conf/ssiri/ssiri2011c.html#Garlan11

Jung Soo Kim David Garlan Analyzing architectural styles. 1216-1235 2010 83 J. Syst. Softw. 7 https://doi.org/10.1016/j.jss.2010.01.049 db/journals/jss/jss83.html#KimG10

Betty H. C. Cheng Rogério de Lemos David Garlan Holger Giese Marin Litoiu Jeff Magee Hausi A. Müller Mauro Pezzè Richard Taylor 0001 Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). 447-448 2010 ICSE (2) https://doi.org/10.1145/1810295.1810422 https://www.wikidata.org/entity/Q62040651 conf/icse/2010-2 db/conf/icse/icse2010-2.html#ChengLGGLMMPT10 David Garlan Software engineering in an uncertain world. 125-128 2010 FoSER https://doi.org/10.1145/1882362.1882389 conf/sigsoft/2010foser db/conf/sigsoft/foser2010.html#Garlan10

Akshay Rajhans Shang-Wen Cheng Bradley R. Schmerl David Garlan Bruce H. Krogh Clarence Agbi Ajinkya Bhave An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. 2009 21 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.21.286 db/journals/eceasst/eceasst21.html#RajhansCSGKAB09

David Garlan Robert Allen John Ockerbloom Architectural Mismatch: Why Reuse Is Still So Hard. 66-69 2009 26 IEEE Softw. 4 https://doi.org/10.1109/MS.2009.86 http://doi.ieeecomputersociety.org/10.1109/MS.2009.86 https://www.wikidata.org/entity/Q59256396 db/journals/software/software26.html#GarlanAO09

Shang-Wen Cheng Vahe Poladian David Garlan Bradley R. Schmerl Improving Architecture-Based Self-Adaptation through Resource Prediction. 71-88 2009 Software Engineering for Self-Adaptive Systems https://doi.org/10.1007/978-3-642-02161-9_4 conf/dagstuhl/2009adaptive db/conf/dagstuhl/adaptive2009.html#ChengPGS09 Sagar Chaki J. Andrés Díaz Pace David Garlan Arie Gurfinkel Ipek Ozkaya Towards engineered architecture evolution. 1-6 2009 MiSE@ICSE https://doi.org/10.1109/MISE.2009.5069889 https://doi.ieeecomputersociety.org/10.1109/MISE.2009.5069889 conf/icse/2009mise db/conf/icse/mise2009.html#ChakiPGGO09 Shang-Wen Cheng David Garlan Bradley R. Schmerl Evaluating the effectiveness of the Rainbow self-adaptive system. 132-141 2009 SEAMS https://doi.org/10.1109/SEAMS.2009.5069082 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2009.5069082 conf/icse/2009seams db/conf/icse/seams2009.html#ChengGS09a Shang-Wen Cheng David Garlan Bradley R. Schmerl RAIDE for engineering architecture-based self-adaptive systems. 435-436 2009 ICSE Companion https://doi.org/10.1109/ICSE-COMPANION.2009.5071049 https://doi.ieeecomputersociety.org/10.1109/ICSE-COMPANION.2009.5071049 conf/icse/2009c db/conf/icse/icse2009c.html#ChengGS09 Betty H. C. Cheng Rogério de Lemos David Garlan Holger Giese Marin Litoiu Jeff Magee Hausi A. Müller Richard Taylor 0001 SEAMS 2009: Software engineering for adaptive and self-managing systems. 463-464 2009 ICSE Companion https://doi.org/10.1109/ICSE-COMPANION.2009.5071063 https://doi.ieeecomputersociety.org/10.1109/ICSE-COMPANION.2009.5071063 https://www.wikidata.org/entity/Q62040665 conf/icse/2009c db/conf/icse/icse2009c.html#ChengLGGLMMT09 David Garlan Bradley R. Schmerl Ævol: A tool for defining and planning architecture evolution. 591-594 2009 ICSE https://doi.org/10.1109/ICSE.2009.5070563 https://doi.ieeecomputersociety.org/10.1109/ICSE.2009.5070563 http://dl.acm.org/citation.cfm?id=1555081 conf/icse/2009 db/conf/icse/icse2009.html#GarlanS09 David Garlan Invited Talk: Rainbow: Engineering Support for Self-Healing Systems. 2009 SBES https://doi.org/10.1109/SBES.2009.35 https://doi.ieeecomputersociety.org/10.1109/SBES.2009.35 conf/sbes/2009 db/conf/sbes/sbes2009.html#Garlan09 David Garlan Kathleen M. Carley Bradley R. Schmerl Michael W. Bigrigg Orieta Celiku Using Service-oriented Architectures for Socio-Cultural Analysis. 370-375 2009 SEKE conf/seke/2009 db/conf/seke/seke2009.html#GarlanCSBC09 Rahul Raheja Shang-Wen Cheng David Garlan Bradley R. Schmerl Improving Architecture-Based Self-adaptation Using Preemption. 21-37 2009 SOAR https://doi.org/10.1007/978-3-642-14412-7_2 conf/wicsa/2009soar db/conf/wicsa/soar2009.html#RahejaCGS09 David Garlan Jeffrey M. Barnes Bradley R. Schmerl Orieta Celiku Evolution styles: Foundations and tool support for software architecture evolution. 131-140 2009 WICSA/ECSA https://doi.org/10.1109/WICSA.2009.5290799 https://doi.ieeecomputersociety.org/10.1109/WICSA.2009.5290799 conf/wicsa/2009 db/conf/wicsa/wicsa2009.html#GarlanBSC09 David Garlan Bradley R. Schmerl Shang-Wen Cheng Software Architecture-Based Self-Adaptation. 31-55 2009 Autonomic Computing and Networking https://doi.org/10.1007/978-0-387-89828-5_2 books/daglib/0032130 db/books/collections/DYZ2009.html#GarlanSC09

Marwan Abi-Antoun Jonathan Aldrich Nagi H. Nahas Bradley R. Schmerl David Garlan Differencing and merging of architectural views. 35-74 2008 15 Autom. Softw. Eng. 1 https://doi.org/10.1007/s10515-007-0023-3 db/journals/ase/ase15.html#Abi-AntounANSG08

David Garlan Software Architectures for Task-Oriented Computing. 3 2008 ACIS-ICIS https://doi.org/10.1109/ICIS.2008.114 https://doi.ieeecomputersociety.org/10.1109/ICIS.2008.114 conf/ACISicis/2008 db/conf/ACISicis/ACISicis2008.html#Garlan08 João Pedro Sousa Rajesh Krishna Balan Vahe Poladian David Garlan Mahadev Satyanarayanan User Guidance of Resource-Adaptive Systems. 36-44 2008 ICSOFT (SE/MUSE/GSDCA) conf/icsoft/2008-2 db/conf/icsoft/icsoft2008-2.html#SousaBPGS08 João Pedro Sousa Rajesh Krishna Balan Vahe Poladian David Garlan Mahadev Satyanarayanan A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs. 48-61 2008 ICSOFT (Selected Papers) https://doi.org/10.1007/978-3-642-05201-9_5 https://www.wikidata.org/entity/Q57392799 conf/icsoft/2008s db/conf/icsoft/icsoft2008s.html#SousaBPGS08a João Pedro Sousa Vahe Poladian David Garlan Bradley R. Schmerl Peter Steenkiste Steps toward activity-oriented computing. 1-5 2008 IPDPS https://doi.org/10.1109/IPDPS.2008.4536432 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2008.4536432 conf/ipps/2008 db/conf/ipps/ipdps2008.html#SousaPGSS08 David Garlan Software Architecture. 2008 Wiley Encyclopedia of Computer Science and Engineering https://doi.org/10.1002/9780470050118.ecse375 reference/wiley/2008 db/reference/wiley/wiley2008.html#Garlan08 Betty H. C. Cheng Rogério de Lemos David Garlan Holger Giese Marin Litoiu Jeff Magee Hausi A. Müller Richard N. Taylor 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008 2008 978-1-60558-037-1 http://dl.acm.org/citation.cfm?id=1370018 SEAMS ACM db/conf/icse/seams2008.html

David Garlan Bradley R. Schmerl The Radar Architecture for Personal Cognitive Assistance. 171-190 2007 17 Int. J. Softw. Eng. Knowl. Eng. 2 https://doi.org/10.1142/S0218194007003033 db/journals/ijseke/ijseke17.html#GarlanS07

David Garlan Software Architectures for Task-Oriented Computing. 1 2007 conf/ecsa/2007 ECSA https://doi.org/10.1007/978-3-540-75132-8_1 db/conf/ecsa/ecsa2007.html#Garlan07 Betty H. C. Cheng Rogério de Lemos Stephen Fickas David Garlan Marin Litoiu Jeff Magee Hausi A. Müller Richard Taylor 0001 SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. 1 2007 SEAMS https://doi.org/10.1109/SEAMS.2007.18 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2007.18 http://dl.acm.org/citation.cfm?id=1270314 https://www.wikidata.org/entity/Q62040690 conf/icse/2007seams db/conf/icse/seams2007.html#ChengLFGLMMT07a Betty H. C. Cheng Rogério de Lemos Stephen Fickas David Garlan Marin Litoiu Jeff Magee Hausi A. Müller Richard Taylor 0001 SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. 152-153 2007 conf/icse/2007c ICSE Companion https://doi.org/10.1109/ICSECOMPANION.2007.64 https://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.64 https://www.wikidata.org/entity/Q62040692 db/conf/icse/icsec2007.html#ChengLFGLMMT07 Vahe Poladian David Garlan Mary Shaw Mahadev Satyanarayanan Bradley R. Schmerl João Pedro Sousa Leveraging Resource Prediction for Anticipatory Dynamic Configuration. 214-223 2007 conf/saso/2007 SASO https://doi.org/10.1109/SASO.2007.35 https://doi.ieeecomputersociety.org/10.1109/SASO.2007.35 https://www.wikidata.org/entity/Q57392815 db/conf/saso/saso2007.html#PoladianGSSSS07 Thomas D. LaToza David Garlan James D. Herbsleb Brad A. Myers Program comprehension as fact finding. 361-370 2007 conf/sigsoft/2007 ESEC/SIGSOFT FSE https://doi.org/10.1145/1287624.1287675 db/conf/sigsoft/fse2007.html#LaTozaGHM07

Tiberiu Seceleanu David Garlan Developing adaptive systems with synchronized architectures. 1514-1526 2006 79 J. Syst. Softw. 11 https://doi.org/10.1016/j.jss.2006.03.047 db/journals/jss/jss79.html#SeceleanuG06

Bradley R. Schmerl Jonathan Aldrich David Garlan Rick Kazman Hong Yan 0002 Discovering Architectures from Running Systems. 454-466 2006 32 IEEE Trans. Software Eng. 7 https://doi.org/10.1109/TSE.2006.66 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.66 db/journals/tse/tse32.html#SchmerlAGKY06

João Pedro Sousa Vahe Poladian David Garlan Bradley R. Schmerl Mary Shaw Task-based adaptation for ubiquitous computing. 328-340 2006 36 IEEE Trans. Syst. Man Cybern. Syst. 3 https://doi.org/10.1109/TSMCC.2006.871588 db/journals/tsmc/tsmcc36.html#SousaPGSS06

Shang-Wen Cheng David Garlan Bradley R. Schmerl Architecture-based self-adaptation in the presence of multiple objectives. 2-8 2006 SEAMS@ICSE https://doi.org/10.1145/1137677.1137679 conf/icse/2006seams db/conf/icse/seams2006.html#ChengGS06 Betty H. C. Cheng David Garlan Rogério de Lemos Jeff Magee Richard Taylor 0001 Stephen Fickas Hausi A. Müller Software engineering for adaptive and self-managing systems. 1015-1016 2006 conf/icse/2006 ICSE https://doi.org/10.1145/1134285.1134480 db/conf/icse/icse2006.html#ChengGLMTFM06 Jung Soo Kim David Garlan Analyzing architectural styles with alloy. 70-80 2006 ROSATEA https://doi.org/10.1145/1147249.1147259 conf/issta/2006r db/conf/issta/rosatea2006.html#KimG06 Marwan Abi-Antoun Jonathan Aldrich Nagi H. Nahas Bradley R. Schmerl David Garlan Differencing and Merging of Architectural Views. 47-58 2006 conf/kbse/2006 ASE https://doi.org/10.1109/ASE.2006.33 https://doi.ieeecomputersociety.org/10.1109/ASE.2006.33 db/conf/kbse/ase2006.html#Abi-AntounANSG06 George Fairbanks David Garlan William L. Scherlis Design fragments make using frameworks easier. 75-88 2006 conf/oopsla/2006 OOPSLA https://doi.org/10.1145/1167473.1167480 https://doi.org/10.1145/1167515.1167480 db/conf/oopsla/oopsla2006.html#FairbanksGS06 George Fairbanks David Garlan William L. Scherlis Using framework interfaces with design fragments. 718 2006 conf/oopsla/2006c OOPSLA Companion https://doi.org/10.1145/1176617.1176690 db/conf/oopsla/oopsla2006c.html#FairbanksGS06a George Fairbanks David Garlan William L. Scherlis Design fragments make using frameworks easier. 762-763 2006 conf/oopsla/2006c OOPSLA Companion https://doi.org/10.1145/1176617.1176713 db/conf/oopsla/oopsla2006c.html#FairbanksGS06b David Garlan Bradley R. Schmerl An Architecture for Personal Cognitive Assistance. 91-97 2006 conf/seke/2006 SEKE db/conf/seke/seke2006.html#GarlanS06 Betty H. C. Cheng Rogério de Lemos Stephen Fickas David Garlan Jeff Magee Hausi A. Müller Richard Taylor 0001 Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006 ACM SEAMS@ICSE 2006 1-59593-403-0 http://dl.acm.org/citation.cfm?id=1137677 db/conf/icse/seams2006.html

Joëlle Coutaz James L. Crowley Simon Dobson David Garlan Context is key. 49-53 2005 48 Commun. ACM 3 https://doi.org/10.1145/1047671.1047703 db/journals/cacm/cacm48.html#CoutazCDG05

Marwan Abi-Antoun Jonathan Aldrich David Garlan Bradley R. Schmerl Nagi H. Nahas Tony Tseng Improving system dependability by enforcing architectural intent. 1-7 2005 30 ACM SIGSOFT Softw. Eng. Notes 4 https://doi.org/10.1145/1082983.1083218 db/journals/sigsoft/sigsoft30.html#Abi-AntounAGSNT05

David Garlan Marin Litoiu Hausi A. Müller John Mylopoulos Dennis B. Smith Kenny Wong DEAS 2005: workshop on the design and evolution of autonomic application software. 1 2005 30 ACM SIGSOFT Softw. Eng. Notes 4 https://doi.org/10.1145/1082983.1083064 db/journals/sigsoft/sigsoft30.html#GarlanLMMSW05

Shang-Wen Cheng David Garlan Bradley R. Schmerl Making Self-Adaptation an Engineering Reality. 158-173 2005 conf/bertinoro/2005 Self-star Properties in Complex Information Systems https://doi.org/10.1007/11428589_11 db/conf/bertinoro/selfstar2005.html#ChengGS05 João Pedro Sousa Vahe Poladian David Garlan Bradley R. Schmerl Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation. 83-96 2005 conf/caise/2005w2 CAiSE Workshops (2) db/conf/caise/caise2005w-2.html#SousaPGS05 Tiberiu Seceleanu David Garlan Synchronized Architectures for Adaptive Systems. 146-151 2005 conf/compsac/2005-2 COMPSAC (2) https://doi.org/10.1109/COMPSAC.2005.149 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.149 db/conf/compsac/compsac2005-2.html#SeceleanuG05 Marwan Abi-Antoun Jonathan Aldrich David Garlan Bradley R. Schmerl Nagi H. Nahas Tony Tseng Improving system dependability by enforcing architectural intent. 1:1-1:7 2005 WADS@ICSE https://doi.org/10.1145/1083217.1083218 conf/icse/2005wads db/conf/icse/wads2005.html#Abi-AntounAGSNT05a Marwan Abi-Antoun Jonathan Aldrich David Garlan Bradley R. Schmerl Nagi H. Nahas Tony Tseng Modeling and implementing software architecture with acme and archJava. 676-677 2005 conf/icse/2005 ICSE https://doi.org/10.1145/1062455.1062604 https://doi.org/10.1109/ICSE.2005.1553649 https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553649 db/conf/icse/icse2005.html#Abi-AntounAGSNT05 David Garlan John Mylopoulos Marin Litoiu Dennis B. Smith Hausi A. Müller Kenny Wong DEAS 2005: workshop on the design and evolution of autonomic application software. 699 2005 conf/icse/2005 ICSE https://doi.org/10.1145/1062455.1062624 https://doi.org/10.1109/ICSE.2005.1553669 https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553669 db/conf/icse/icse2005.html#GarlanMLSMW05 David Garlan William K. Reinholtz Bradley R. Schmerl Nicholas D. Sherman Tony Tseng Bridging the Gap between Systems Design. 34-46 2005 conf/sew/2005 SEW https://doi.org/10.1109/SEW.2005.21 https://doi.ieeecomputersociety.org/10.1109/SEW.2005.21 db/conf/sew/sew2005.html#GarlanRSST05 Bradley R. Schmerl David Garlan Hong Yan 0002 Dynamically discovering architectures with DiscoTect. 103-106 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE https://doi.org/10.1145/1081706.1081724 db/conf/sigsoft/fse2005.html#SchmerlGY05 David Garlan Software Architecture Evaluation and Analysis Session Report. 227-228 2005 conf/wicsa/2005 WICSA https://doi.org/10.1109/WICSA.2005.64 https://doi.ieeecomputersociety.org/10.1109/WICSA.2005.64 db/conf/wicsa/wicsa2005.html#Garlan05 Marwan Abi-Antoun Jonathan Aldrich David Garlan Bradley R. Schmerl Nagi H. Nahas Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. 265-268 2005 conf/wicsa/2005 WICSA https://doi.org/10.1109/WICSA.2005.59 https://doi.ieeecomputersociety.org/10.1109/WICSA.2005.59 db/conf/wicsa/wicsa2005.html#Abi-AntounAGSN05 Massimo Tivoli David Garlan Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. 276-277 2005 conf/wicsa/2005 WICSA https://doi.org/10.1109/WICSA.2005.9 https://doi.ieeecomputersociety.org/10.1109/WICSA.2005.9 https://www.wikidata.org/entity/Q124326919 db/conf/wicsa/wicsa2005.html#TivoliG05

David Garlan Shang-Wen Cheng An-Cheng Huang Bradley R. Schmerl Peter Steenkiste Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. 46-54 2004 37 Computer 10 https://doi.org/10.1109/MC.2004.175 http://doi.ieeecomputersociety.org/10.1109/MC.2004.175 db/journals/computer/computer37.html#GarlanCHSS04

David Garlan Bradley R. Schmerl Using Architectural Models at Runtime: Research Challenges. 200-205 https://doi.org/10.1007/978-3-540-24769-2_15 2004 conf/ewsa/2004 EWSA db/conf/ewsa/ewsa2004.html#GarlanS04 Shang-Wen Cheng An-Cheng Huang David Garlan Bradley R. Schmerl Peter Steenkiste Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. 276-277 2004 conf/icac/2004 ICAC https://doi.ieeecomputersociety.org/10.1109/ICAC.2004.46 db/conf/icac/icac2004.html#ChengHGSS04 Hong Yan 0002 David Garlan Bradley R. Schmerl Jonathan Aldrich Rick Kazman DiscoTect: A System for Discovering Architectures from Running Systems. 470-479 2004 conf/icse/2004 ICSE https://doi.org/10.1109/ICSE.2004.1317469 https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317469 http://dl.acm.org/citation.cfm?id=999450 db/conf/icse/icse2004.html#YanGSAK04 Vahe Poladian João Pedro Sousa David Garlan Mary Shaw Dynamic Configuration of Resource-Aware Services. 604-613 2004 conf/icse/2004 ICSE https://doi.org/10.1109/ICSE.2004.1317482 https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317482 http://dl.acm.org/citation.cfm?id=999464 db/conf/icse/icse2004.html#PoladianSGS04 Bradley R. Schmerl David Garlan AcmeStudio: Supporting Style-Centered Architecture Development. 704-705 2004 conf/icse/2004 ICSE https://doi.org/10.1109/ICSE.2004.1317497 https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317497 http://dl.acm.org/citation.cfm?id=999479 db/conf/icse/icse2004.html#SchmerlG04 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 Roshanak Roshandel Nicolas Rouquette Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience. 117-126 2004 conf/isese/2004 ISESE https://doi.org/10.1109/ISESE.2004.33 db/conf/isese/isese2004.html#BoehmBGGHLMMMMPRRR04 Jonathan Aldrich David Garlan Bradley R. Schmerl Tony Tseng Modeling and implementing software architecture with acme and archJava. 6-7 2004 conf/oopsla/2004 OOPSLA Companion https://doi.org/10.1145/1028664.1028668 db/conf/oopsla/oopsla2004.html#AldrichGST04 Jonathan Aldrich David Garlan Bradley R. Schmerl Tony Tseng Modeling and implementing software architecture with acme and archJava. 156-157 2004 conf/oopsla/2004 OOPSLA Companion https://doi.org/10.1145/1028664.1028727 db/conf/oopsla/oopsla2004.html#AldrichGST04a Roshanak Roshandel Bradley R. Schmerl Nenad Medvidovic David Garlan Dehua Zhang Understanding Tradeoffs among Different Architectural Modeling Approaches. 47-56 2004 conf/wicsa/2004 WICSA https://doi.org/10.1109/WICSA.2004.1310689 https://doi.ieeecomputersociety.org/10.1109/WICSA.2004.1310689 db/conf/wicsa/wicsa2004.html#RoshandelSMGZ04 Shang-Wen Cheng An-Cheng Huang David Garlan Bradley R. Schmerl Peter Steenkiste An Architecture for Coordinating Multiple Self-Management Systems. 243-254 2004 conf/wicsa/2004 WICSA https://doi.org/10.1109/WICSA.2004.1310707 https://doi.ieeecomputersociety.org/10.1109/WICSA.2004.1310707 db/conf/wicsa/wicsa2004.html#ChengHGSS04 David Garlan Vahe Poladian Bradley R. Schmerl João Pedro Sousa Task-based self-adaptation. 54-57 2004 conf/woss/2004 WOSS https://doi.org/10.1145/1075405.1075416 db/conf/woss/woss2004.html#GarlanPSS04 David Garlan Jeff Kramer Alexander L. Wolf Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004 1-58113-989-6 WOSS ACM 2004 db/conf/woss/woss2004.html Bridget Spitznagel David Garlan A Compositional Formalization of Connector Wrappers. 374-384 2003 conf/icse/2003 ICSE https://doi.org/10.1109/ICSE.2003.1201216 https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201216 http://dl.acm.org/citation.cfm?id=776862 db/conf/icse/icse2003.html#SpitznagelG03 Paul C. Clements David Garlan Reed Little Robert L. Nord Judith A. Stafford Documenting Software Architectures: Views and Beyond. 740-741 2003 conf/icse/2003 ICSE https://doi.org/10.1109/ICSE.2003.1201264 https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201264 http://dl.acm.org/citation.cfm?id=776928 db/conf/icse/icse2003.html#ClementsGLNS03 David Garlan Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. 1-24 https://doi.org/10.1007/978-3-540-39800-4_1 2003 conf/sfm/2003 SFM db/conf/sfm/sfm2003.html#Garlan03 David Garlan Serge Khersonsky Jung Soo Kim Model Checking Publish-Subscribe Systems. 166-180 2003 conf/spin/2003 SPIN https://doi.org/10.1007/3-540-44829-2_11 db/conf/spin/spin2003.html#GarlanKK03

David Garlan Daniel P. Siewiorek Asim Smailagic Peter Steenkiste Project Aura: Toward Distraction-Free Pervasive Computing. 22-31 2002 1 IEEE Pervasive Comput. 2 https://doi.org/10.1109/MPRV.2002.1012334 http://doi.ieeecomputersociety.org/10.1109/MPRV.2002.1012334 db/journals/pervasive/pervasive1.html#GarlanSSS02

David Garlan Shang-Wen Cheng Andrew Kompanek Reconciling the needs of architectural description with object-modeling notations. 23-49 2002 44 Sci. Comput. Program. 1 https://doi.org/10.1016/S0167-6423(02)00031-X db/journals/scp/scp44.html#GarlanCK02

Shang-Wen Cheng David Garlan Bradley R. Schmerl João Pedro Sousa Bridget Spitznagel Peter Steenkiste Ningning Hu Software Architecture-Based Adaptation for Pervasive Systems. 67-82 2002 conf/arcs/2002 ARCS https://doi.org/10.1007/3-540-45997-9_7 db/conf/arcs/arcs2002.html#ChengGSSSSH02 Jürgen Dingel David Garlan Craig Damon Bridging the HLA: Problems and Solutions. 33-42 2002 conf/dsrt/2002 DS-RT https://doi.org/10.1109/DISRTA.2002.1166886 https://doi.ieeecomputersociety.org/10.1109/DISRTA.2002.1166886 db/conf/dsrt/dsrt2002.html#DingelGD02 Shang-Wen Cheng David Garlan Bradley R. Schmerl Peter Steenkiste Ningning Hu Software Architecture-Based Adaptation for Grid Computing. 389-398 2002 conf/hpdc/2002 HPDC https://doi.org/10.1109/HPDC.2002.1029939 https://doi.ieeecomputersociety.org/10.1109/HPDC.2002.1029939 db/conf/hpdc/hpdc2002.html#ChengGSSH02 David Garlan Shang-Wen Cheng Bradley R. Schmerl Increasing System Dependability through Architecture-Based Self-Repair. 61-89 2002 conf/icse/2002wads WADS https://doi.org/10.1007/3-540-45177-3_3 db/conf/icse/wads2002.html#GarlanCS02 Bradley R. Schmerl David Garlan Exploiting architectural design knowledge to support self-repairing systems. 241-248 2002 conf/seke/2002 SEKE https://doi.org/10.1145/568760.568804 db/conf/seke/seke2002.html#SchmerlG02 David Garlan Software, Heal Thyself! 351 2002 conf/uml/2002 UML https://doi.org/10.1007/3-540-45800-X_27 db/conf/uml/uml2002.html#Garlan02 João Pedro Sousa David Garlan Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments. 29-43 2002 conf/wicsa/2002 WICSA db/conf/wicsa/wicsa2002.html#SousaG02 https://doi.org/10.1007/978-0-387-35607-5_2 Shang-Wen Cheng David Garlan Bradley R. Schmerl João Pedro Sousa Bridget Spitznagel Peter Steenkiste Using Architectural Style as a Basis for System Self-repair. 45-59 2002 conf/wicsa/2002 WICSA db/conf/wicsa/wicsa2002.html#ChengGSSSS02 https://doi.org/10.1007/978-0-387-35607-5_3 David Garlan Bradley R. Schmerl Model-based adaptation for self-healing systems. 27-32 2002 conf/woss/2002 WOSS https://doi.org/10.1145/582128.582134 db/conf/woss/woss2002.html#GarlanS02 David Garlan Jeff Kramer Alexander L. Wolf Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002 1-58113-609-9 WOSS ACM 2002 db/conf/woss/woss2002.html

João Pedro Sousa David Garlan Formal modeling of the Enterprise JavaBeans(TM) component integration framework. 171-188 2001 43 Inf. Softw. Technol. 3 db/journals/infsof/infsof43.html#SousaG01 https://doi.org/10.1016/S0950-5849(00)00157-9

Jeff Kramer David Garlan David S. Rosenblum Guest Editors' Introduction: 1999 International Conference on Software Engineering. 97-98 2001 27 IEEE Trans. Software Eng. 2 https://doi.org/10.1109/TSE.2001.908956 http://doi.ieeecomputersociety.org/10.1109/TSE.2001.908956 db/journals/tse/tse27.html#KramerGR01

David Garlan Aura: Distraction-Free Ubiquitous Computing. 1-2 2001 conf/ehci/2001 EHCI https://doi.org/10.1007/3-540-45348-2_1 db/conf/ehci/ehci2001.html#Garlan01 Bridget Spitznagel David Garlan A Compositional Approach for Constructing Connectors. 148-157 2001 conf/wicsa/2001 WICSA https://doi.org/10.1109/WICSA.2001.948424 https://doi.ieeecomputersociety.org/10.1109/WICSA.2001.948424 db/conf/wicsa/wicsa2001.html#SpitznagelG01 David Garlan Software architecture: a roadmap. 91-101 2000 conf/icse/2000future ICSE - Future of SE Track https://doi.org/10.1145/336512.336537 db/conf/icse/future2000.html#Garlan00 David Garlan Serge Khersonsky Model Checking Implicit-Invocation Systems. 23-30 2000 conf/iwssd/2000 IWSSD https://dl.acm.org/doi/10.5555/857171.857224 db/conf/iwssd/iwssd2000.html#GarlanK00 David Garlan Andrew Kompanek Reconciling the Needs of Architectural Description with Object-Modeling Notations. 498-512 https://doi.org/10.1007/3-540-40011-7_37 2000 conf/uml/2000 UML db/conf/uml/uml2000.html#GarlanK00 Thomas Weigert David Garlan John Knapman Birger Møller-Pedersen Bran Selic Modeling of Architectures with UML (Panel). 556-569 https://doi.org/10.1007/3-540-40011-7_41 2000 conf/uml/2000 UML db/conf/uml/uml2000.html#WeigertGKMS00 David Garlan Zhenyu Wang Acme-Based Software Architecture Interchange. 340-354 https://doi.org/10.1007/3-540-48919-3_24 1999 conf/coordination/1999 COORDINATION db/conf/coordination/coordination1999.html#GarlanW99 João Pedro Sousa David Garlan Formal Modeling of the Enterprise JavaBeans<sup>TM</sup> Component Integration Framework. 1281-1300 1999 conf/fm/1999-2 World Congress on Formal Methods https://doi.org/10.1007/3-540-48118-4_18 db/conf/fm/fm1999-2.html#SousaG99 Barry W. Boehm David Garlan Jeff Kramer Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999. ICSE ACM 1999 1-58113-074-0 db/conf/icse/icse99.html http://dl.acm.org/citation.cfm?id=302405

Jürgen Dingel David Garlan Somesh Jha David Notkin Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. 193-213 1998 10 Formal Aspects Comput. 3 https://doi.org/10.1007/s001650050011 db/journals/fac/fac10.html#DingelGJN98

Robert Allen David Garlan Errata: A Formal Basis for Architectural Connection. 333-334 1998 7 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/287000.287031 db/journals/tosem/tosem7.html#AllenG98

Robert Allen Rémi Douence David Garlan Specifying and Analyzing Dynamic Software Architectures. 21-37 https://doi.org/10.1007/BFb0053581 1998 conf/fase/1998 FASE db/conf/fase/fase98.html#AllenDG98 Robert J. Allen David Garlan Formal Modeling and Analysis of the HLA Component Integration Standard. 70-79 1998 conf/sigsoft/1998 SIGSOFT FSE https://doi.org/10.1145/288195.288251 https://doi.org/10.1145/291252.288251 db/conf/sigsoft/fse98.html#AllenG98 David Garlan Somesh Jha David Notkin Reasoning about Implicit Invocation. 209-221 1998 conf/sigsoft/1998 SIGSOFT FSE https://doi.org/10.1145/288195.288312 https://doi.org/10.1145/291252.288312 db/conf/sigsoft/fse98.html#GarlanJN98

David Garlan David P. Gluch James E. Tomayko Agents of Change: Educating Software Engineering Leaders. 59-65 1997 30 Computer 11 db/journals/computer/computer30.html#GarlanGT97 https://doi.org/10.1109/2.634865 http://doi.ieeecomputersociety.org/10.1109/2.634865

David Garlan SIGSOFT'96 post mortem. 23 1997 22 ACM SIGSOFT Softw. Eng. Notes 1 https://doi.org/10.1145/251759.251812 db/journals/sigsoft/sigsoft22.html#Garlan97

Robert T. Monroe Andrew Kompanek Ralph E. Melton David Garlan Architectural Styles, Design Patterns, And Objects. 43-52 1997 14 IEEE Softw. 1 db/journals/software/software14.html#MonroeKMG97 https://doi.org/10.1109/52.566427 http://doi.ieeecomputersociety.org/10.1109/52.566427

Robert Allen David Garlan A Formal Basis for Architectural Connection. 213-249 1997 6 ACM Trans. Softw. Eng. Methodol. 3 db/journals/tosem/tosem6.html#AllenG97 https://doi.org/10.1145/258077.258078 https://www.wikidata.org/entity/Q56572018

David Garlan Robert T. Monroe David Wile Acme: an architecture description interchange language. 7 1997 conf/cascon/1997 CASCON https://dl.acm.org/citation.cfm?id=782017 db/conf/cascon/cascon1997.html#GarlanMW97 Ralph E. Melton David Garlan Architectural unification. 18 1997 conf/cascon/1997 CASCON https://dl.acm.org/citation.cfm?id=782028 db/conf/cascon/cascon1997.html#MeltonG97 David Garlan Daniel Le Métayer Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings COORDINATION Lecture Notes in Computer Science 1282 Springer 1997 3-540-63383-9 https://doi.org/10.1007/3-540-63383-9 db/conf/coordination/coordination1997.html Mary Shaw David Garlan Software architecture - perspectives on an emerging discipline. I-XXI, 1-262 Prentice Hall 1996 978-0-13-182957-2

David Garlan Mark Morieoni The Fourth Symposium on the Foundations of Software Engineering (FSE4). 4 1996 21 ACM SIGSOFT Softw. Eng. Notes 5 https://doi.org/10.1145/235969.773580 db/journals/sigsoft/sigsoft21.html#GarlanM96

Robert T. Monroe David Garlan Style-based reuse for software architectures. 84-93 1996 ICSR https://doi.org/10.1109/ICSR.1996.496116 https://doi.ieeecomputersociety.org/10.1109/ICSR.1996.496116 conf/icsr/1996 db/conf/icsr/icsr1996.html#MonroeG96 Robert Allen David Garlan A Case Study in Architectural Modelling: The AEGIS System. 6 1996 IWSSD https://dl.acm.org/doi/10.5555/857204.858260 conf/iwssd/1996 db/conf/iwssd/iwssd1996.html#AllenG96 David Garlan Style-based refinement for software architecture. 72-75 1996 ISAW/Viewpoints@FSE https://doi.org/10.1145/243327.243607 conf/sigsoft/1996isaw db/conf/sigsoft/isaw1996.html#Garlan96 David Garlan Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996 SIGSOFT FSE ACM 1996 978-0-89791-797-1 https://doi.org/10.1145/239098 https://doi.org/10.1145/250707 db/conf/sigsoft/fse96.html

David Garlan Research Directions on Software Architecture. 257-261 1995 27 ACM Comput. Surv. 2 db/journals/csur/csur27.html#Garlan95 https://doi.org/10.1145/210376.210388

David Garlan Making formal methods education effective for professional software engineers. 261-268 1995 37 Inf. Softw. Technol. 5-6 https://doi.org/10.1016/0950-5849(95)99361-P db/journals/infsof/infsof37.html#Garlan95

David Garlan Walter F. Tichy Frances Paulisch Summary of the Dagstuhl workshop on software architecture. 63-83 1995 20 ACM SIGSOFT Softw. Eng. Notes 3 https://doi.org/10.1145/219308.219320 db/journals/sigsoft/sigsoft20.html#GarlanTP95

David Garlan First international workshop on architectures for software systems workshop summary. 84-89 1995 20 ACM SIGSOFT Softw. Eng. Notes 3 https://doi.org/10.1145/219308.219322 db/journals/sigsoft/sigsoft20.html#Garlan95

David Garlan Robert Allen John Ockerbloom Architectural Mismatch: Why Reuse Is So Hard. 17-26 1995 12 IEEE Softw. 6 https://doi.org/10.1109/52.469757 http://doi.ieeecomputersociety.org/10.1109/52.469757 https://www.wikidata.org/entity/Q59261802 db/journals/software/software12.html#GarlanAO95

Gregory D. Abowd Robert Allen David Garlan Formalizing Style to Understand Descriptions of Software Architecture. 319-364 1995 4 ACM Trans. Softw. Eng. Methodol. 4 db/journals/tosem/tosem4.html#AbowdAG95 https://doi.org/10.1145/226241.226244

David Garlan Dewayne E. Perry Introduction to the Special Issue on Software Architecture. 269-274 http://doi.ieeecomputersociety.org/10.1109/TSE.1995.10003 1995 21 IEEE Trans. Software Eng. 4 db/journals/tse/tse21.html#GarlanP95

David Garlan Alan W. Brown Daniel Jackson 0001 James E. Tomayko Jeannette M. Wing The CMU Master of Software Engineering Core Curriculum. 65-86 1995 conf/csee/1995 CSEE db/conf/csee/csee1995.html#GarlanBJTW95 https://doi.org/10.1007/3-540-58951-1_93 David Garlan Robert Allen John Ockerbloom Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. 179-185 1995 conf/icse/1995 ICSE https://doi.org/10.1145/225014.225031 https://www.wikidata.org/entity/Q59261803 db/conf/icse/icse95.html#GarlanAO95 David Garlan Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel). 5 1995 conf/sigsoft/1995 SIGSOFT FSE https://doi.org/10.1145/222124.222134 https://doi.org/10.1145/222132.222134 db/conf/sigsoft/fse95.html#Garlan95 Mary Shaw David Garlan Formulations and Formalisms in Software Architecture. 307-323 1995 books/sp/CStoday1995 Computer Science Today db/books/collections/CStoday.html#ShawG95 https://doi.org/10.1007/BFb0015251 https://www.wikidata.org/entity/Q60198086

David Garlan Charles W. Krueger Barbara Staudt Lerner TransformGen: Automating the Maintenance of Structure-Oriented Environments. 727-774 1994 16 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/177492.177697 db/journals/toplas/toplas16.html#GarlanKL94

Robert Allen David Garlan Formalizing Architectural Connection. 71-80 1994 conf/icse/1994 ICSE https://dl.acm.org/citation.cfm?id=257745 db/conf/icse/icse94.html#AllenG94 David Garlan J. Frits Habermann David Notkin Nico Habermann's Research: A Brief Retrospective. 149-153 1994 conf/icse/1994 ICSE http://portal.acm.org/citation.cfm?id=257734.257755 db/conf/icse/icse94.html#GarlanHR94 David Garlan Dewayne E. Perry Software Architecture: Practice, Potential, and Pitfalls. 363-364 1994 conf/icse/1994 ICSE http://portal.acm.org/citation.cfm?id=257734.257806 db/conf/icse/icse94.html#GarlanA94 Robert Allen David Garlan Beyond Definition/Use: Architectural Interconnection. 35-45 1994 conf/idl/1994 Workshop on Interface Definition Languages db/conf/idl/idl94.html#AllenG94 https://doi.org/10.1145/185084.185101 https://doi.org/10.1145/185087.185101 M. Chandra Shekaran David Garlan Michael Jackson 0001 Nancy R. Mead Colin Potts Howard B. Reubenstein The role of software architecture in requirements engineering. 239-245 1994 ICRE https://doi.org/10.1109/ICRE.1994.292379 https://doi.ieeecomputersociety.org/10.1109/ICRE.1994.292379 https://www.wikidata.org/entity/Q56083392 conf/re/1994 db/conf/re/icre1994.html#ShekaranGJMPR94 David Garlan Using Refinement to Understand Architectural Connection. 3-13 1994 Refine https://doi.org/10.1007/978-1-4471-3240-0_1 conf/refine/1994 db/conf/refine/refine1994.html#Garlan94 David Garlan Robert Allen John Ockerbloom Exploiting Style in Architectural Design Environments. 175-188 1994 conf/sigsoft/1994 SIGSOFT FSE https://doi.org/10.1145/193173.195404 https://doi.org/10.1145/195274.195404 https://www.wikidata.org/entity/Q59261804 db/conf/sigsoft/fse94.html#GarlanAO94 David Garlan Integrating Formal Methods into a Professional Master of Software Engineering Program. 71-85 1994 conf/zum/1994 Z User Workshop db/conf/zum/zum1994.html#Garlan94 https://doi.org/10.1007/978-1-4471-3452-7_5 David Garlan Formal Approaches to Software Architecture. 64-76 1993 ICSE Workshop on Studies of Software Design db/conf/icse/design1993.html#Garlan93 conf/icse/1993w https://doi.org/10.1007/BFb0030520 David Garlan Curtis M. Scott Adding Implicit Invocation to Rraditional Programming Languages. 447-455 1993 conf/icse/1993 ICSE http://portal.acm.org/citation.cfm?id=257572.257673 db/conf/icse/icse93.html#GarlanS93 David Notkin David Garlan William G. Griswold Kevin J. Sullivan Adding Implicit Invocation to Languages: Three Approaches. 489-510 1993 conf/isotas/1993 ISOTAS db/conf/isotas/isotas1993.html#NotkinGGS93 https://doi.org/10.1007/3-540-57342-9_91 D. Partridge David Garlan David R. Barstow Jeff Kramer Should we specify systems or domain? 77-80 1993 RE https://doi.org/10.1109/ISRE.1993.324833 https://doi.ieeecomputersociety.org/10.1109/ISRE.1993.324833 conf/re/1993i db/conf/re/icre1993.html#PartridgeGBK93 Gregory D. Abowd Robert Allen David Garlan Using Style to Understand Descriptions of Software Architecture. 9-20 1993 conf/sigsoft/1993 SIGSOFT FSE https://doi.org/10.1145/256428.167055 https://doi.org/10.1145/167049.167055 https://www.wikidata.org/entity/Q111900059 db/conf/sigsoft/fse93.html#AbowdAG93 David Garlan Mary Shaw An Introduction to Software Architecture. 1-39 1993 Advances in Software Engineering and Knowledge Engineering https://doi.org/10.1142/9789812798039_0001 https://www.wikidata.org/entity/Q60198092 books/ws/93/AT1993 db/books/collections/AT1993.html#GarlanS93

David Garlan Gail E. Kaiser David Notkin Using Tool Abstraction to Compose Systems. 30-38 1992 25 Computer 6 db/journals/computer/computer25.html#GarlanKN92 https://doi.org/10.1109/2.153255 http://doi.ieeecomputersociety.org/10.1109/2.153255

Dennis R. Goldenson Ravinder Chandhok David Garlan Glenn Meter Philip L. Miller John Pane Jacobo Carrasquel James A. Roberts Edward Skwarecki GENIE: Developing and Assessing State-of-the-Art Integrated Programming Environments. 39-40 1992 24 ACM SIGCHI Bull. 2 https://doi.org/10.1145/142386.1055544 db/journals/sigchi/sigchi24.html#GoldensonCGMMPC92

Roy F. Swonger Curtis M. Scott Chris Okasaki Mary Shaw David Garlan Experience with a Course on Architectures for Software Systems. 23-43 1992 conf/csee/1992 CSEE db/conf/csee/csee1992.html#SwongerSOSG92 https://doi.org/10.1007/3-540-55963-9_38 https://www.wikidata.org/entity/Q60198100 David Garlan Formal Methods for Software Engineers: Tradeoffs in Curriculum Design. 131-142 1992 conf/csee/1992 CSEE db/conf/csee/csee1992.html#Garlan92 https://doi.org/10.1007/3-540-55963-9_45 Robert J. Allen David Garlan A Formal Approach to Software Architectures. 134-141 1992 conf/ifip/1992-1 IFIP Congress (1) db/conf/ifip/ifip92-1.html#AllenG92 David Garlan Development Environments for Software Architecture. 217 1992 conf/ifip/1992-1 IFIP Congress (1) db/conf/ifip/ifip92-1.html#Garlan92 David Garlan Linxi Cai Robert L. Nord A transformational approach to generating application-specific environments. 68-77 1992 SDE https://doi.org/10.1145/142868.142917 https://doi.org/10.1145/142882.142917 conf/sde/1992 db/conf/sde/sde1992.html#GarlanCN92 David Garlan David Notkin Formalizing Design Spaces: Implicit Invocation Mechanisms. 31-44 1991 conf/fm/1991-1 VDM Europe (1) db/conf/fm/vdme1991-1.html#GarlanN91 https://doi.org/10.1007/3-540-54834-3_5 David Garlan Preconditions for understanding. 242-245 1991 IWSSD https://dl.acm.org/doi/10.5555/952786.952823 conf/iwssd/1991 db/conf/iwssd/iwssd1991.html#Garlan91

Norman M. Delisle David Garlan A Formal Specification of an Oscilloscope. 29-36 1990 7 IEEE Softw. 5 db/journals/software/software7.html#DeliseG90 https://doi.org/10.1109/52.57890 http://doi.ieeecomputersociety.org/10.1109/52.57890

David Garlan Norman M. Delisle Formal Specifications as Reusable Frameworks. 150-163 1990 conf/fm/1990 VDM Europe db/conf/fm/vdme1990.html#GarlanD90 https://doi.org/10.1007/3-540-52513-0_9 David Garlan The role of formal reusable frameworks. 42-44 1990 Formal Methods in Software Development https://doi.org/10.1145/99569.99812 https://doi.org/10.1145/99571.99812 conf/fmsd/1990 db/conf/fmsd/fmsd1990.html#Garlan90 David Garlan Ehsan Ilias Low-cost, adaptable tool integration policies for integrated environments. 1-10 1990 SDE https://doi.org/10.1145/99277.99279 https://doi.org/10.1145/99278.99279 https://www.wikidata.org/entity/Q113434031 conf/sde/1990 db/conf/sde/sde1990.html#GarlanI90 David Garlan Emerging issues (session summary). 33-38 1989 ISPW https://dl.acm.org/doi/10.5555/317498.317692 conf/ispw/1989 db/conf/ispw/ispw1989.html#Garlan89a David Garlan The role of formalized domain-specific software frameworks. 64-66 1989 conf/ispw/1989 ISPW db/conf/ispw/ispw1989.html#Garlan89 https://doi.org/10.1109/ISPW.1989.690419 https://doi.ieeecomputersociety.org/10.1109/ISPW.1989.690419 https://dl.acm.org/doi/10.5555/317498.317705 Norman M. Delisle David Garlan Formally specifying electronic instruments. 242-248 1989 IWSSD https://doi.org/10.1145/75199.75236 https://doi.org/10.1145/75200.75236 conf/iwssd/1989 db/conf/iwssd/iwssd1989.html#DelisleG89

David Garlan Extending IDL to Support Concurrent Views. 95-110 1987 22 ACM SIGPLAN Notices 11 db/journals/sigplan/sigplan22.html#Garlan87 https://doi.org/10.1145/39305.39315

Gail E. Kaiser David Garlan Melding Software Systems from Reusable Building Blocks. 17-24 1987 4 IEEE Softw. 4 db/journals/software/software4.html#KaiserG87 https://doi.org/10.1109/MS.1987.231059 http://doi.ieeecomputersociety.org/10.1109/MS.1987.231059

Gail E. Kaiser David Garlan MELDing Data Flow and Object-Oriented Programming. 254-267 1987 conf/oopsla/1987 OOPSLA db/conf/oopsla/oopsla87.html#KaiserG87 https://doi.org/10.1145/38765.38830 https://doi.org/10.1145/38807.38830 https://www.wikidata.org/entity/Q130977079 Dennis R. Goldenson Ravinder Chandhok David Garlan Philip L. Miller Mark C. Tucker Integrated programming environments based on structure editing (panel session). 385 1986 conf/acm/1986 ACM Conference on Computer Science https://doi.org/10.1145/324634.325459 db/conf/acm/csc1986.html#GoldensonCGMT86 David Garlan Views for Tools in Integrated Environments. 314-343 1986 conf/ifip/1986ape Advanced Programming Environments db/conf/ifip/ape86.html#Garlan86 https://doi.org/10.1007/3-540-17189-4_105 Barbara J. Staudt Charles W. Krueger David Garlan A structural approach to the maintenance of structure-oriented environments. 160-170 1986 SDE https://doi.org/10.1145/24208.24227 https://doi.org/10.1145/390012.24227 conf/sde/1986 db/conf/sde/sde1986.html#StaudtKG86 David Garlan Philip L. Miller GNOME: An Introductory Programming Environment Based on a Family of STructured Editors. 65-72 1984 conf/sde/1984 Software Development Environments (SDE) db/conf/sde/sde84.html#GarlanM84 https://doi.org/10.1145/800020.808250 https://doi.org/10.1145/390010.808250 https://doi.org/10.1145/390011.808250 Marwan Abi-Antoun Gregory D. Abowd Rui Abreu 0001 Sridhar Adepu Carlos M. AderaldoCarlos Mendes Aderaldo Clarence Agbi Ehab Al-Shaer Jonathan Aldrich Mohammed N. Alharbi Robert Allen Robert J. Allen Nejib Ammar Jesper Andersson Nuno Antunes Hamid Bagheri Rajesh Krishna Balan Raul Barbosa Luciano Baresi Jeffrey M. Barnes David R. Barstow Nelly Bencomo Christian Berger 0001 Ajinkya Bhave Jesal Bhuta Stefan Biffl Michael W. Bigrigg Joydeep Biswas Barry W. Boehm Matthew L. Bolton Darko Bozhinoski Alan W. Brown Yuriy Brun Tomás Bures Linxi Cai Radu Calinescu Javier Cámara 0001Javier Cámara Moreno Kathleen M. Carley Jacobo Carrasquel Paulo Casanova Maria Casimiro Orieta Celiku Sagar Chaki Ravinder Chandhok Hongrui Chen Betty H. C. Cheng Shang-Wen Cheng Simon Chu Paul C. Clements Myra B. Cohen Zack Coker Francisco Correia Pedro Correia Thiago M. Costa Joëlle Coutaz Barnaby Craggs James L. Crowley Carlos E. Cuesta Leyi Cui 0001 Ellen C. Czaplinski Craig Damon Ian Dardik Marian Daun Norman M. Delisle Duarte Dias Diego Didona Jürgen Dingel Vick Dini Nicolás D'Ippolito Simon A. DobsonSimon Dobson Rémi Douence Qi Duan Tobias Dürschmid Vishal Dwivedi Katherine A. Dzurilla Gregory EakmanGreg Eakman George Fairbanks Fei Fang 0001 Gary Fedder José Maria Fernandes Stephen Fickas Pedro Fidalgo John S. Fitzgerald João Miguel Franco Matt Fredrikson Thomas Gabor Akila Ganlath Jeffrey GennariJeff Gennari Ilias Gerostathopoulos Carlo Ghezzi Holger Giese Thomas J. Glazier David P. Gluch Romulo Meira GoesRômulo Meira-Góes Dennis R. Goldenson Pedro Gomes Alessandra Gorla Claire Le Goues Eric Gradman Vincenzo Grassi William G. Griswold Lars Grunske Arjun Guha Arie Gurfinkel J. Frits Habermann Abigail Hammer James D. Herbsleb Jarrett Holtz Md. Abir Hossen Ningning Hu An-Cheng Huang LiGuo Huang Shihong Huang Ehsan Ilias Paola Inverardi Grant Iraci Daniel Jackson 0001 Michael Jackson 0001 Pooyan Jamshidi Jean-Marc Jézéquel Somesh Jha Zhi Jin 0001 Aditya Joglekar Christine Julien 0001 Gail E. Kaiser Eunsuk Kang Sungwon Kang Parv Kapoor Levent Burak Kara Christian Kästner Rick Kazman Amin M. Khan Sonam Kharade Serge Khersonsky Jung Soo Kim Cody Kinneer Cristian Klein Mark Klein 0003 John Knapman Justin Koe Andrew Kompanek Jeff Kramer Filip Krikava Bruce H. Krogh Charles W. Krueger Patricia Lago Alexander Lam Hemank Lamba Thomas D. LaToza Rogério de Lemos Barbara LernerBarbara Staudt LernerBarbara J. Staudt Grace A. Lewis Nianyu Li Marin Litoiu Reed Little Sarah M. Loos Antónia Lopes Raymond J. Madachy Jeff Magee Ivano Malavolta Sam Malek Vasco Manquinho Ruben Martins Nancy R. Mead Nenad Medvidovic Ralph E. Melton Pedro Mendes Nabor das Chagas MendonçaNabor Chagas MendonçaNabor C. Mendonça Daniel Le Métayer Glenn Meter Kenneth Meyer Steven Meyers Philip Miller 0001Philip L. Miller Raffaela Mirandola Shatadal Mishra Anahita Mohseni-Kabir Birger Møller-Pedersen Robert T. Monroe Richard Mordinyi Gabriel A. Moreno Marco Mori Mark Morieoni Hausi A. Müller Brad A. Myers John Mylopoulos Nagi H. Nahas Jan de Nijs Dionisio de Niz Robert L. Nord David Notkin Bashar Nuseibeh John Ockerbloom Jason M. O'Kane Chris Okasaki Pedro Orvalho Ipek Ozkaya Jorge Andrés Díaz PaceJ. Andrés Díaz PaceJ. Andres Diaz-Pace Claus Pahl Ashutosh Pandey 0002 John Pane Alessandro Vittorio Papadopoulos D. Partridge Liliana Pasquale Frances Paulisch Patrizio Pelliccione Wenxin Peng Gustavo Pérez Jennifer Pérez Dewayne E. Perry Mauro Pezzè Jürgen Pfeffer André Platzer Vahe Poladian Colin Potts Nikos Pronios Rahul Raheja Akshay Rajhans Ashwini Rao Awais Rashid Kirk Reinholtz William K. Reinholtz Mário Zenha Rela Howard B. Reubenstein Amanda Rico James A. Roberts Genaína Nunes Rodrigues Luís E. T. RodriguesLuís Rodrigues 0001 Paolo Romano 0002 Valentim Romão David S. Rosenblum Roshanak Roshandel Nicolas Rouquette Romain Rouvoy Zack Rubinstein Cecília M. F. Rubira Ivan Ruchkin Éric Rutten Alireza Sadeghi Tarang Saluja Selva Samuel Mahadev Satyanarayanan William L. Scherlis Bradley R. Schmerl Curtis M. Scott Tiberiu Seceleanu Mohammad Reza Saleh Sedghpour Bran Selic Mary Shaw Emma Shedden M. Chandra Shekaran Nicholas D. Sherman Daniel P. Siewiorek Mariana Silva Reid G. Simmons Edward Skwarecki Asim Smailagic Dennis B. Smith Stephen Smith Diogo Soares Bruno Sousa João Pedro Sousa José G. C. De Souza Bridget Spitznagel Judith A. Stafford Peter Steenkiste Roykrong Sukkerd Kevin J. Sullivan Joshua Sunshine Roy F. Swonger Giordano Tamburrelli Gabriel Tamura Richard N. TaylorRichard Taylor 0001 Kenji Tei Walter F. Tichy Christopher Steven Timperley Massimo Tivoli James E. Tomayko Rijnard van Tonder Johan Tordsson Javier Troya Catia Trubiani Tony Tseng Mark C. Tucker Antonio Vallecillo Davi M. Vasconcelos Perla Velasco-ElizondoPerla Velasco Elizondo Manuela M. VelosoManuela Veloso Rafael Ventura Norha M. Villegas Thomas Vogel 0001 Ian Voysey Ryan Wagner Jiacheng Wang Zhenyu Wang Thomas Weigert Danny Weyns David S. WileDavid Wile Jeannette M. Wing Rebekka Wohlrab Alexander L. Wolf Kenny Wong Hong Yan 0002 Eric Yuan Franco Zambonelli Changjian Zhang Dehua Zhang Mingyue Zhang 0002 Sol Zilberman Willy Zwaenepoel