David Garlan - RankMe

329 papers A* 22A 19B 21C 8Misc 2Journal 90Unranked 156

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns. Softw. Pract. Exp. Carlos M. Aderaldo, Thiago M. Costa, Davi M. Vasconcelos, Nabor C. Mendonça, Javier Cámara, David Garlan
2025	J	`jnl`	CLUE: Neural Networks Calibration via Learning Uncertainty-Error alignment. CoRR Pedro Mendes, Paolo Romano, David Garlan
2025	J	`jnl`	CURE: Simulation-Augmented Autotuning in Robotics. IEEE Trans. Robotics Md. Abir Hossen, Sonam Kharade, Jason M. O'Kane, Bradley R. Schmerl, David Garlan, Pooyan Jamshidi
2025	A*	`conf`	Constrained LTL Specification Learning from Examples. ICSE Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2025	B	`conf`	Data-Driven Understanding of Design Decisions in Pattern-Based Microservices Architecture. ECSA J. Andres Diaz-Pace, Catia Trubiani, David Garlan
2025	—	`conf`	Flexico: Sustainable Machine Translation via Self-Adaptation. SEAMS@ICSE Maria Casimiro, Paolo Romano, José G. C. de Souza, Amin M. Khan, David Garlan
2025	B	`conf`	Resilience of Systems Under Maximum Component Deviations. SEFM Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan
2025	—	`conf`	Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement Learning. SEAMS@ICSE Qi Duan, Ehab Al-Shaer, David Garlan
2025	—	`conf`	Uncertainty Estimation by Human Perception versus Neural Models. PRICAI (4) Pedro Mendes, Paolo Romano, David Garlan
2025	J	`jnl`	Uncertainty Estimation by Human Perception versus Neural Models. CoRR Pedro Mendes, Paolo Romano, David Garlan
2024	J	`jnl`	CURE: Simulation-Augmented Auto-Tuning in Robotics. CoRR Md. Abir Hossen, Sonam Kharade, Jason M. O'Kane, Bradley R. Schmerl, David Garlan, Pooyan Jamshidi
2024	—	`conf`	Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. Designing@ICSE David Garlan, Bradley R. Schmerl, Rebekka Wohlrab, Javier Cámara
2024	J	`jnl`	Constrained LTL Specification Learning from Examples. CoRR Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira Goes, David Garlan, Eunsuk Kang
2024	A	`conf`	Error-Driven Uncertainty Aware Training. ECAI Pedro Mendes, Paolo Romano, David Garlan
2024	J	`jnl`	Error-Driven Uncertainty Aware Training. CoRR Pedro Mendes, Paolo Romano, David Garlan
2024	J	`jnl`	Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction. IEEE Softw. Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl
2024	J	`jnl`	Generative Manufacturing: A requirements and resource-driven approach to part making. CoRR Hongrui Chen, Aditya Joglekar, Zack Rubinstein, Bradley R. Schmerl, Gary Fedder, Jan de Nijs, David Garlan, Stephen Smith, Levent Burak Kara
2024	—	`conf`	Hyper-parameter Tuning for Adversarially Robust Models. AISafety@IJCAI Pedro Mendes, Paolo Romano, David Garlan
2024	—	`conf`	Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. SEAMS@ICSE Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
2024	J	`jnl`	Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. CoRR Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
2024	J	`jnl`	MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. Comput. Secur. Bruno Sousa, Duarte Dias, Nuno Antunes, Javier Cámara, Ryan Wagner, Bradley R. Schmerl, David Garlan, Pedro Fidalgo
2024	A*	`conf`	ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. ICSE Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues
2024	J	`jnl`	Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. ACM Trans. Auton. Adapt. Syst. Maria Casimiro, Diogo Soares, David Garlan, Luís Rodrigues, Paolo Romano
2024	—	`conf`	The Architect in the Maze: On the Effective Usage of Automated Design Exploration. Designing@ICSE J. Andres Diaz-Pace, David Garlan
2024	—	`conf`	Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. FM (2) Changjian Zhang, Parv Kapoor, Rômulo Meira-Góes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2024	J	`jnl`	Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. CoRR Changjian Zhang, Parv Kapoor, Eunsuk Kang, Romulo Meira Goes, David Garlan, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2023	J	`jnl`	A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems. Requir. Eng. Rebekka Wohlrab, David Garlan
2023	B	`conf`	Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. IC2E Mohammad Reza Saleh Sedghpour, David Garlan, Bradley R. Schmerl, Cristian Klein, Johan Tordsson
2023	J	`jnl`	CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. CoRR Md. Abir Hossen, Sonam Kharade, Bradley R. Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi
2023	J	`jnl`	CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. IEEE Robotics Autom. Lett. Md. Abir Hossen, Sonam Kharade, Bradley R. Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi
2023	J	`jnl`	ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl
2023	J	`jnl`	Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. J. Syst. Softw. Rebekka Wohlrab, Javier Cámara, David Garlan, Bradley R. Schmerl
2023	B	`conf`	Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2023	J	`jnl`	Hyper-parameter Tuning for Adversarially Robust Models. CoRR Pedro Mendes, Paolo Romano, David Garlan
2023	A*	`conf`	HyperJump: Accelerating HyperBand via Risk Modelling. AAAI Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan
2023	J	`jnl`	Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. CoRR Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2023	J	`jnl`	Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers. IEEE Softw. Javier Cámara, David Garlan
2023	A*	`conf`	Robustification of Behavioral Designs against Environmental Deviations. ICSE Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
2023	A	`conf`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023	J	`jnl`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023	B	`conf`	Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. ECSA J. Andres Diaz-Pace, Rebekka Wohlrab, David Garlan
2022	A	`conf`	Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
2022	—	`conf`	Making Architecture Optimization Transparent with Tactic-Based Explanations. ICSA Companion J. Andres Diaz-Pace, David Garlan
2022	J	`jnl`	Modeling and Analysis of Explanation for Secure Industrial Control Systems. ACM Trans. Auton. Adapt. Syst. Sridhar Adepu, Nianyu Li, Eunsuk Kang, David Garlan
2022	—	`conf`	ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. ICSA Companion Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues
2022	A	`conf`	ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. ICSA Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues
2022	J	`jnl`	The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
2022	—	`conf`	Towards a Framework for Adapting Machine Learning Components. ACSOS Maria Casimiro, Paolo Romano, David Garlan, Luís Rodrigues
2021	—	`conf`	A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. SEFM Workshops Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano
2021	—	`conf`	A Probabilistic Model for Effective Explainability Based on Personality Traits. ECSA (Tracks and Workshops) Mohammed N. Alharbi, Shihong Huang, David Garlan
2021	—	`conf`	A Probabilistic Model for Personality Trait Focused Explainability. ECSA (Companion) Mohammed N. Alharbi, Shihong Huang, David Garlan
2021	—	`conf`	AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
2021	J	`jnl`	Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. CoRR Rebekka Wohlrab, David Garlan
2021	B	`conf`	Defining Utility Functions for Multi-stakeholder Self-adaptive Systems. REFSQ Rebekka Wohlrab, David Garlan
2021	J	`jnl`	Developing Self-Adaptive Microservice Systems: Challenges and Directions. IEEE Softw. Nabor Chagas Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl
2021	B	`conf`	Engineering Secure Self-Adaptive Systems with Bayesian Games. FASE Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan
2021	B	`conf`	Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA Javier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl
2021	—	`conf`	Hey! Preparing Humans to do Tasks in Self-adaptive Systems. SEAMS@ICSE Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin
2021	J	`jnl`	Information Reuse and Stochastic Search: Managing Uncertainty in Self- ACM Trans. Auton. Adapt. Syst. Cody Kinneer, David Garlan, Claire Le Goues
2021	J	`jnl`	Mining guidelines for architecting robotics software. J. Syst. Softw. Ivano Malavolta, Grace A. Lewis, Bradley R. Schmerl, Patricia Lago, David Garlan
2021	—	`conf`	Self-Adaptation for Machine Learning Based Systems. ECSA (Companion) Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
2021	—	`conf`	Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. ECSA (Tracks and Workshops) Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
2021	—	`conf`	Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C 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
2021	—	`conf`	The Unknown Unknowns Are Not Totally Unknown. SEAMS@ICSE David Garlan
2020	—	`conf`	A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE Changjian Zhang, David Garlan, Eunsuk Kang
2020	—	`conf`	Automated Management of Collections of Autonomic Systems. ACSOS Thomas J. Glazier, David Garlan, Bradley R. Schmerl
2020	—	`conf`	Building Reusable Repertoires for Stochastic Self-* Planners. ACSOS Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues
2020	—	`conf`	Explanations for human-on-the-loop: a probabilistic model checking approach. SEAMS@ICSE Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan
2020	—	`conf`	How do you architect your robots?: state of the practice and guidelines for ROS-based systems. ICSE (SEIP) Ivano Malavolta, Grace A. Lewis, Bradley R. Schmerl, Patricia Lago, David Garlan
2020	—	`conf`	Hybrid Planning Using Learning and Model Checking for Autonomous Systems. ACSOS Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, David Garlan
2020	A	`conf`	Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. ICDCS Maria Casimiro, Diego Didona, Paolo Romano, Luís E. T. Rodrigues, Willy Zwaenepoel, David Garlan
2020	A	`conf`	Model-Based Analysis of Microservice Resiliency Patterns. ICSA Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan
2020	—	`conf`	Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl
2020	—	`conf`	Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE Javier Cámara, Bradley R. Schmerl, David Garlan
2020	J	`jnl`	Towards Bridging the Gap between Control and Self-Adaptive System Properties. CoRR Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
2020	—	`conf`	Towards bridging the gap between control and self-adaptive system properties. SEAMS@ICSE Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
2020	B	`conf`	Tradeoff-Focused Contrastive Explanation for MDP Planning. RO-MAN Roykrong Sukkerd, Reid G. Simmons, David Garlan
2020	J	`jnl`	Tradeoff-Focused Contrastive Explanation for MDP Planning. CoRR Roykrong Sukkerd, Reid G. Simmons, David Garlan
2020	B	`conf`	TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. MASCOTS Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan
2020	J	`jnl`	TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. CoRR Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan
2019	—	`conf`	An Automated Approach to Management of a Collection of Autonomic Systems. FAS*W@SASO/ICAC Thomas J. Glazier, David Garlan
2019	J	`jnl`	Building Long-Lived Adaptive Systems. IEEE Softw. Javier Cámara, David Garlan, Greg Eakman
2019	—	`conf`	DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. SEAMS@ICSE Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey, David Garlan
2019	J	`jnl`	Developing Self-Adaptive Microservice Systems: Challenges and Directions. CoRR Nabor C. Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl
2019	—	`conf`	Kubow: an architecture-based self-adaptation service for cloud native applications. ECSA (Companion) Carlos M. Aderaldo, Nabor C. Mendonça, Bradley R. Schmerl, David Garlan
2019	J	`jnl`	Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots. CoRR Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan
2019	—	`conf`	Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. SEAMS@ICSE Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan
2019	J	`jnl`	Managing safety and mission completion via collective run-time adaptation. J. Syst. Archit. Darko Bozhinoski, David Garlan, Ivano Malavolta, Patrizio Pelliccione
2019	J	`jnl`	Model-Based Adaptation for Robotics Software. IEEE Softw. 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, Pooyan Jamshidi
2019	C	`conf`	Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan
2019	J	`jnl`	Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. Javier Cámara, David Garlan, Bradley R. Schmerl
2019	—	`conf`	Trade-off-oriented development: making quality attribute trade-offs first-class. ICSE (NIER) Tobias Dürschmid, Eunsuk Kang, David Garlan
2018	J	`jnl`	Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. ACM Trans. Auton. Adapt. Syst. Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2018	—	`conf`	Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. ECSA (Companion) Nabor C. Mendonça, David Garlan, Bradley R. Schmerl, Javier Cámara
2018	J	`jnl`	Half a Century of Software Engineering Education: The CMU Exemplar. IEEE Softw. Nancy R. Mead, David Garlan, Mary Shaw
2018	B	`conf`	IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan
2018	J	`jnl`	MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. Autom. Softw. Eng. Javier Cámara, Bradley R. Schmerl, Gabriel A. Moreno, David Garlan
2018	—	`conf`	Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. SEAMS@ICSE Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues
2018	—	`conf`	Quantitative underpinnings of secure, graceful degradation: poster. HotSoS Ryan Wagner, David Garlan, Matt Fredrikson
2018	J	`jnl`	Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. Sci. Comput. Program. Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl
2018	—	`conf`	SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. SEAMS@ICSE Gabriel A. Moreno, Bradley R. Schmerl, David Garlan
2018	B	`ed.`	Software Architecture - 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings ECSA Carlos E. Cuesta, David Garlan, Jennifer Pérez
2018	—	`conf`	Towards explainable multi-objective probabilistic planning. SEsCPS@ICSE Roykrong Sukkerd, Reid G. Simmons, David Garlan
2018	—	`conf`	Uncertainty reduction in self-adaptive systems. SEAMS@ICSE Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein
2017	J	`jnl`	Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Javier Cámara, Bashar Nuseibeh, David Garlan
2017	—	`conf`	Instance-Based Learning for Hybrid Planning. FAS*W@SASO/ICCAC Ashutosh Pandey, Bradley R. Schmerl, David Garlan
2017	—	`conf`	Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software. IWSPA@CODASPY Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan, Jürgen Pfeffer
2017	—	`conf`	Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl
2017	—	`ed.`	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 Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
2017	B	`conf`	Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA Javier Cámara, David Garlan, Bradley R. Schmerl
2017	J	`jnl`	The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10). NII Shonan Meet. Rep. David Garlan, Nicolás D'Ippolito, Kenji Tei
2017	—	`conf`	What Ails End-User Composition: A Cross-Domain Qualitative Study. IS-EUD Vishal Dwivedi, James D. Herbsleb, David Garlan
2016	—	`conf`	A model-based approach to anomaly detection in software architectures. HotSoS Hemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Javier Cámara, David Garlan, Jürgen Pfeffer
2016	J	`jnl`	Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Program. Javier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl
2016	J	`jnl`	Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. ACM Trans. Auton. Adapt. Syst. Javier Cámara, Gabriel A. Moreno, David Garlan, Bradley R. Schmerl
2016	B	`conf`	Architecture Modeling and Analysis of Security in Android Systems. ECSA Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan
2016	—	`conf`	Challenges in physical modeling for adaptation of cyber-physical systems. WF-IoT Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan
2016	—	`conf`	Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2016	—	`conf`	Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan
2016	J	`jnl`	Improving self-adaptation planning through software architecture-based stochastic modeling. J. Syst. Softw. João Miguel Franco, Francisco Correia, Raul Barbosa, Mário Zenha Rela, Bradley R. Schmerl, David Garlan
2016	J	`jnl`	Incorporating architecture-based self-adaptation into an adaptive industrial software system. J. Syst. Softw. Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura
2016	—	`conf`	Multiscale time abstractions for long-range planning under uncertainty. SEsCPS@ICSE Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons
2016	—	`conf`	Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan
2015	—	`conf`	An architecture style for Android security analysis: poster. HotSoS Bradley R. Schmerl, Jeffrey Gennari, David Garlan
2015	—	`conf`	Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. ACES-MB&WUCOR@MoDELS Ivan Ruchkin, Bradley R. Schmerl, David Garlan
2015	—	`conf`	Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. SASO Workshops Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan
2015	—	`conf`	Architectural Abstractions for Hybrid Programs. CBSE Ivan Ruchkin, Bradley R. Schmerl, David Garlan
2015	—	`conf`	Detecting insider threats in software systems using graph models of behavioral paths. HotSoS Hemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Jürgen Pfeffer, David Garlan
2015	—	`conf`	Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan
2015	—	`conf`	Modeling Challenges for CPS Systems. SEsCPS@ICSE David Garlan
2015	Misc	`conf`	Optimal planning for architecture-based self-adaptation via model checking of stochastic games. SAC Javier Cámara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey
2015	—	`conf`	Proactive self-adaptation under uncertainty: a probabilistic model checking approach. ESEC/SIGSOFT FSE Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2015	—	`conf`	Reasoning about Human Participation in Self-Adaptive Systems. SEAMS@ICSE Javier Cámara, Gabriel A. Moreno, David Garlan
2015	—	`conf`	SASS: Self-Adaptation Using Stochastic Search. SEAMS@ICSE Zack Coker, David Garlan, Claire Le Goues
2015	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. ACM SIGSOFT Softw. Eng. Notes Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios
2015	B	`conf`	Task Planning of Cyber-Human Systems. SEFM Roykrong Sukkerd, David Garlan, Reid G. Simmons
2014	J	`jnl`	Architecture-Based Planning of Software Evolution. Int. J. Softw. Eng. Knowl. Eng. Sungwon Kang, David Garlan
2014	—	`conf`	Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. HotSoS Bradley R. Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes
2014	Misc	`conf`	Contract-based integration of cyber-physical analyses. EMSOFT Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan
2014	A	`conf`	Diagnosing unobserved components in self-adaptive systems. SEAMS Paulo Casanova, David Garlan, Bradley R. Schmerl, Rui Abreu
2014	J	`jnl`	Evolution styles: foundations and models for software architecture evolution. Softw. Syst. Model. Jeffrey M. Barnes, David Garlan, Bradley R. Schmerl
2014	—	`conf`	Impact Models for Architecture-Based Self-adaptive Systems. FACS Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl
2014	—	`conf`	Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions. ITNG Vishal Dwivedi, David Garlan, Jürgen Pfeffer, Bradley R. Schmerl
2014	—	`conf`	Software architecture: a travelogue. FOSE David Garlan
2014	A	`conf`	Stochastic game analysis and latency awareness for proactive self-adaptation. SEAMS Javier Cámara, Gabriel A. Moreno, David Garlan
2014	J	`jnl`	Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl
2013	A	`conf`	A 10-year perspective on software engineering self-adaptive systems (keynote). SEAMS David Garlan
2013	—	`conf`	Analyzing Self-Adaptation Via Model Checking of Stochastic Games. Software Engineering for Self-Adaptive Systems Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl
2013	—	`conf`	Architecture-based self-protecting software systems. QoSA Eric Yuan, Sam Malek, Bradley R. Schmerl, David Garlan, Jeff Gennari
2013	A*	`conf`	Automated planning for software architecture evolution. ASE Jeffrey M. Barnes, Ashutosh Pandey, David Garlan
2013	—	`conf`	Challenges in developing a software architecture evolution tool as a plug-in. TOPI@ICSE Jeffrey M. Barnes, David Garlan
2013	A	`conf`	Diagnosing architectural run-time failures. SEAMS Paulo Casanova, David Garlan, Bradley R. Schmerl, Rui Abreu
2013	A	`conf`	Evolving an adaptive industrial software system to use architecture-based self-adaptation. SEAMS Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura
2013	—	`conf`	Resolving Data Mismatches in End-User Compositions. IS-EUD Perla Velasco Elizondo, Vishal Dwivedi, David Garlan, Bradley R. Schmerl, José Maria Fernandes
2013	J	`jnl`	Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 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, 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, Franco Zambonelli
2012	J	`jnl`	Foundations and Tools for End-User Architecting CoRR David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl
2012	—	`conf`	Foundations and Tools for End-User Architecting. Monterey Workshop David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl
2012	—	`ed.`	Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers Monterey Workshop Radu Calinescu, David Garlan
2012	J	`jnl`	Stitch: A language for architecture-based self-adaptation. J. Syst. Softw. Shang-Wen Cheng, David Garlan
2011	B	`conf`	An Architectural Approach to End User Orchestrations. ECSA Vishal Dwivedi, Perla Velasco Elizondo, José Maria Fernandes, David Garlan, Bradley R. Schmerl
2011	B	`conf`	Architecture-Based Run-Time Fault Diagnosis. ECSA Paulo Casanova, Bradley R. Schmerl, David Garlan, Rui Abreu
2011	—	`conf`	Invited Talk - Engineering Self-Healing and Self-Improving Systems. SSIRI (Companion) David Garlan
2011	A*	`conf`	SORASCS: a case study in soa-based platform design for socio-cultural analysis. ICSE Bradley R. Schmerl, David Garlan, Vishal Dwivedi, Michael W. Bigrigg, Kathleen M. Carley
2011	—	`conf`	Software architecture: reflections on an evolving discipline. SIGSOFT FSE David Garlan, Mary Shaw
2011	—	`conf`	Using parameters in architectural views to support heterogeneous design and verification. CDC/ECC Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan
2011	—	`conf`	View Consistency in Architectures for Cyber-Physical Systems. ICCPS Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl
2010	J	`jnl`	Analyzing architectural styles. J. Syst. Softw. Jung Soo Kim, David Garlan
2010	—	`conf`	Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor
2010	—	`conf`	Software engineering in an uncertain world. FoSER David Garlan
2009	J	`jnl`	An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave
2009	J	`jnl`	Architectural Mismatch: Why Reuse Is Still So Hard. IEEE Softw. David Garlan, Robert Allen, John Ockerbloom
2009	A	`conf`	Evaluating the effectiveness of the Rainbow self-adaptive system. SEAMS Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
2009	—	`conf`	Evolution styles: Foundations and tool support for software architecture evolution. WICSA/ECSA David Garlan, Jeffrey M. Barnes, Bradley R. Schmerl, Orieta Celiku
2009	—	`conf`	Improving Architecture-Based Self-Adaptation through Resource Prediction. Software Engineering for Self-Adaptive Systems Shang-Wen Cheng, Vahe Poladian, David Garlan, Bradley R. Schmerl
2009	—	`conf`	Improving Architecture-Based Self-adaptation Using Preemption. SOAR Rahul Raheja, Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
2009	—	`conf`	Invited Talk: Rainbow: Engineering Support for Self-Healing Systems. SBES David Garlan
2009	—	`conf`	RAIDE for engineering architecture-based self-adaptive systems. ICSE Companion Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
2009	—	`conf`	SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2009	—	`ch.`	Software Architecture-Based Self-Adaptation. Autonomic Computing and Networking David Garlan, Bradley R. Schmerl, Shang-Wen Cheng
2009	—	`conf`	Towards engineered architecture evolution. MiSE@ICSE Sagar Chaki, J. Andrés Díaz Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya
2009	C	`conf`	Using Service-oriented Architectures for Socio-Cultural Analysis. SEKE David Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku
2009	A*	`conf`	Ævol: A tool for defining and planning architecture evolution. ICSE David Garlan, Bradley R. Schmerl
2008	A	`ed.`	2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008 SEAMS Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor
2008	—	`conf`	A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs. ICSOFT (Selected Papers) João Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan
2008	J	`jnl`	Differencing and merging of architectural views. Autom. Softw. Eng. Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
2008	—	`ch.`	Software Architecture. Wiley Encyclopedia of Computer Science and Engineering David Garlan
2008	—	`conf`	Software Architectures for Task-Oriented Computing. ACIS-ICIS David Garlan
2008	A	`conf`	Steps toward activity-oriented computing. IPDPS João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl, Peter Steenkiste
2008	—	`conf`	User Guidance of Resource-Adaptive Systems. ICSOFT (SE/MUSE/GSDCA) João Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan
2007	—	`conf`	Leveraging Resource Prediction for Anticipatory Dynamic Configuration. SASO Vahe Poladian, David Garlan, Mary Shaw, Mahadev Satyanarayanan, Bradley R. Schmerl, João Pedro Sousa
2007	—	`conf`	Program comprehension as fact finding. ESEC/SIGSOFT FSE Thomas D. LaToza, David Garlan, James D. Herbsleb, Brad A. Myers
2007	—	`conf`	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2007	A	`conf`	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2007	B	`conf`	Software Architectures for Task-Oriented Computing. ECSA David Garlan
2007	J	`jnl`	The Radar Architecture for Personal Cognitive Assistance. Int. J. Softw. Eng. Knowl. Eng. David Garlan, Bradley R. Schmerl
2006	C	`conf`	An Architecture for Personal Cognitive Assistance. SEKE David Garlan, Bradley R. Schmerl
2006	—	`conf`	Analyzing architectural styles with alloy. ROSATEA Jung Soo Kim, David Garlan
2006	—	`conf`	Architecture-based self-adaptation in the presence of multiple objectives. SEAMS@ICSE Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
2006	A	`conf`	Design fragments make using frameworks easier. OOPSLA George Fairbanks, David Garlan, William L. Scherlis
2006	—	`conf`	Design fragments make using frameworks easier. OOPSLA Companion George Fairbanks, David Garlan, William L. Scherlis
2006	J	`jnl`	Developing adaptive systems with synchronized architectures. J. Syst. Softw. Tiberiu Seceleanu, David Garlan
2006	A*	`conf`	Differencing and Merging of Architectural Views. ASE Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
2006	J	`jnl`	Discovering Architectures from Running Systems. IEEE Trans. Software Eng. Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan
2006	—	`ed.`	Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006 SEAMS@ICSE Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Jeff Magee, Hausi A. Müller, Richard Taylor
2006	A*	`conf`	Software engineering for adaptive and self-managing systems. ICSE Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller
2006	J	`jnl`	Task-based adaptation for ubiquitous computing. IEEE Trans. Syst. Man Cybern. Syst. João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl, Mary Shaw
2006	—	`conf`	Using framework interfaces with design fragments. OOPSLA Companion George Fairbanks, David Garlan, William L. Scherlis
2005	—	`conf`	Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. WICSA Massimo Tivoli, David Garlan
2005	C	`conf`	Bridging the Gap between Systems Design. SEW David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng
2005	—	`conf`	Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation. CAiSE Workshops (2) João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl
2005	J	`jnl`	Context is key. Commun. ACM Joëlle Coutaz, James L. Crowley, Simon Dobson, David Garlan
2005	A*	`conf`	DEAS 2005: workshop on the design and evolution of autonomic application software. ICSE David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Müller, Kenny Wong
2005	J	`jnl`	DEAS 2005: workshop on the design and evolution of autonomic application software. ACM SIGSOFT Softw. Eng. Notes David Garlan, Marin Litoiu, Hausi A. Müller, John Mylopoulos, Dennis B. Smith, Kenny Wong
2005	—	`conf`	Dynamically discovering architectures with DiscoTect. ESEC/SIGSOFT FSE Bradley R. Schmerl, David Garlan, Hong Yan
2005	—	`conf`	Improving system dependability by enforcing architectural intent. WADS@ICSE Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
2005	J	`jnl`	Improving system dependability by enforcing architectural intent. ACM SIGSOFT Softw. Eng. Notes Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
2005	—	`conf`	Making Self-Adaptation an Engineering Reality. Self-star Properties in Complex Information Systems Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
2005	A*	`conf`	Modeling and implementing software architecture with acme and archJava. ICSE Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
2005	—	`conf`	Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. WICSA Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas
2005	—	`conf`	Software Architecture Evaluation and Analysis Session Report. WICSA David Garlan
2005	—	`conf`	Synchronized Architectures for Adaptive Systems. COMPSAC (2) Tiberiu Seceleanu, David Garlan
2004	A*	`conf`	AcmeStudio: Supporting Style-Centered Architecture Development. ICSE Bradley R. Schmerl, David Garlan
2004	—	`conf`	An Architecture for Coordinating Multiple Self-Management Systems. WICSA Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley R. Schmerl, Peter Steenkiste
2004	A*	`conf`	DiscoTect: A System for Discovering Architectures from Running Systems. ICSE Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman
2004	A*	`conf`	Dynamic Configuration of Resource-Aware Services. ICSE Vahe Poladian, João Pedro Sousa, David Garlan, Mary Shaw
2004	—	`conf`	Modeling and implementing software architecture with acme and archJava. OOPSLA Companion Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
2004	—	`conf`	Modeling and implementing software architecture with acme and archJava. OOPSLA Companion Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
2004	—	`ed.`	Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004 WOSS David Garlan, Jeff Kramer, Alexander L. Wolf
2004	—	`conf`	Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. ICAC Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley R. Schmerl, Peter Steenkiste
2004	J	`jnl`	Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. Computer David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley R. Schmerl, Peter Steenkiste
2004	—	`conf`	Task-based self-adaptation. WOSS David Garlan, Vahe Poladian, Bradley R. Schmerl, João Pedro Sousa
2004	—	`conf`	Understanding Tradeoffs among Different Architectural Modeling Approaches. WICSA Roshanak Roshandel, Bradley R. Schmerl, Nenad Medvidovic, David Garlan, Dehua Zhang
2004	—	`conf`	Using Architectural Models at Runtime: Research Challenges. EWSA David Garlan, Bradley R. Schmerl
2004	—	`conf`	Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience. ISESE 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
2003	A*	`conf`	A Compositional Formalization of Connector Wrappers. ICSE Bridget Spitznagel, David Garlan
2003	A*	`conf`	Documenting Software Architectures: Views and Beyond. ICSE Paul C. Clements, David Garlan, Reed Little, Robert L. Nord, Judith A. Stafford
2003	—	`conf`	Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. SFM David Garlan
2003	—	`conf`	Model Checking Publish-Subscribe Systems. SPIN David Garlan, Serge Khersonsky, Jung Soo Kim
2002	—	`conf`	Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments. WICSA João Pedro Sousa, David Garlan
2002	C	`conf`	Bridging the HLA: Problems and Solutions. DS-RT Jürgen Dingel, David Garlan, Craig Damon
2002	C	`conf`	Exploiting architectural design knowledge to support self-repairing systems. SEKE Bradley R. Schmerl, David Garlan
2002	B	`conf`	Increasing System Dependability through Architecture-Based Self-Repair. WADS David Garlan, Shang-Wen Cheng, Bradley R. Schmerl
2002	—	`conf`	Model-based adaptation for self-healing systems. WOSS David Garlan, Bradley R. Schmerl
2002	—	`ed.`	Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002 WOSS David Garlan, Jeff Kramer, Alexander L. Wolf
2002	J	`jnl`	Project Aura: Toward Distraction-Free Pervasive Computing. IEEE Pervasive Comput. David Garlan, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste
2002	J	`jnl`	Reconciling the needs of architectural description with object-modeling notations. Sci. Comput. Program. David Garlan, Shang-Wen Cheng, Andrew Kompanek
2002	A	`conf`	Software Architecture-Based Adaptation for Grid Computing. HPDC Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, Peter Steenkiste, Ningning Hu
2002	—	`conf`	Software Architecture-Based Adaptation for Pervasive Systems. ARCS Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, João Pedro Sousa, Bridget Spitznagel, Peter Steenkiste, Ningning Hu
2002	—	`conf`	Software, Heal Thyself! UML David Garlan
2002	—	`conf`	Using Architectural Style as a Basis for System Self-repair. WICSA Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, João Pedro Sousa, Bridget Spitznagel, Peter Steenkiste
2001	—	`conf`	A Compositional Approach for Constructing Connectors. WICSA Bridget Spitznagel, David Garlan
2001	—	`conf`	Aura: Distraction-Free Ubiquitous Computing. EHCI David Garlan
2001	J	`jnl`	Formal modeling of the Enterprise JavaBeans(TM) component integration framework. Inf. Softw. Technol. João Pedro Sousa, David Garlan
2001	J	`jnl`	Guest Editors' Introduction: 1999 International Conference on Software Engineering. IEEE Trans. Software Eng. Jeff Kramer, David Garlan, David S. Rosenblum
2000	—	`conf`	Model Checking Implicit-Invocation Systems. IWSSD David Garlan, Serge Khersonsky
2000	—	`conf`	Modeling of Architectures with UML (Panel). UML Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic
2000	—	`conf`	Reconciling the Needs of Architectural Description with Object-Modeling Notations. UML David Garlan, Andrew Kompanek
2000	—	`conf`	Software architecture: a roadmap. ICSE - Future of SE Track David Garlan
1999	C	`conf`	Acme-Based Software Architecture Interchange. COORDINATION David Garlan, Zhenyu Wang
1999	—	`conf`	Formal Modeling of the Enterprise JavaBeans World Congress on Formal Methods João Pedro Sousa, David Garlan
1999	A*	`ed.`	Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999. ICSE Barry W. Boehm, David Garlan, Jeff Kramer
1998	J	`jnl`	Errata: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. Robert Allen, David Garlan
1998	—	`conf`	Formal Modeling and Analysis of the HLA Component Integration Standard. SIGSOFT FSE Robert J. Allen, David Garlan
1998	—	`conf`	Reasoning about Implicit Invocation. SIGSOFT FSE David Garlan, Somesh Jha, David Notkin
1998	B	`conf`	Specifying and Analyzing Dynamic Software Architectures. FASE Robert Allen, Rémi Douence, David Garlan
1998	J	`jnl`	Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. Jürgen Dingel, David Garlan, Somesh Jha, David Notkin
1997	J	`jnl`	A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. Robert Allen, David Garlan
1997	—	`conf`	Acme: an architecture description interchange language. CASCON David Garlan, Robert T. Monroe, David Wile
1997	J	`jnl`	Agents of Change: Educating Software Engineering Leaders. Computer David Garlan, David P. Gluch, James E. Tomayko
1997	J	`jnl`	Architectural Styles, Design Patterns, And Objects. IEEE Softw. Robert T. Monroe, Andrew Kompanek, Ralph E. Melton, David Garlan
1997	—	`conf`	Architectural unification. CASCON Ralph E. Melton, David Garlan
1997	C	`ed.`	Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings COORDINATION David Garlan, Daniel Le Métayer
1997	J	`jnl`	SIGSOFT'96 post mortem. ACM SIGSOFT Softw. Eng. Notes David Garlan
1996	—	`conf`	A Case Study in Architectural Modelling: The AEGIS System. IWSSD Robert Allen, David Garlan
1996	—	`ed.`	Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996 SIGSOFT FSE David Garlan
1996	—	`book`	Software architecture - perspectives on an emerging discipline. Mary Shaw, David Garlan
1996	—	`conf`	Style-based refinement for software architecture. ISAW/Viewpoints@FSE David Garlan
1996	B	`conf`	Style-based reuse for software architectures. ICSR Robert T. Monroe, David Garlan
1996	J	`jnl`	The Fourth Symposium on the Foundations of Software Engineering (FSE4). ACM SIGSOFT Softw. Eng. Notes David Garlan, Mark Morieoni
1995	A*	`conf`	Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. ICSE David Garlan, Robert Allen, John Ockerbloom
1995	J	`jnl`	Architectural Mismatch: Why Reuse Is So Hard. IEEE Softw. David Garlan, Robert Allen, John Ockerbloom
1995	J	`jnl`	First international workshop on architectures for software systems workshop summary. ACM SIGSOFT Softw. Eng. Notes David Garlan
1995	J	`jnl`	Formalizing Style to Understand Descriptions of Software Architecture. ACM Trans. Softw. Eng. Methodol. Gregory D. Abowd, Robert Allen, David Garlan
1995	—	`ch.`	Formulations and Formalisms in Software Architecture. Computer Science Today Mary Shaw, David Garlan
1995	J	`jnl`	Introduction to the Special Issue on Software Architecture. IEEE Trans. Software Eng. David Garlan, Dewayne E. Perry
1995	J	`jnl`	Making formal methods education effective for professional software engineers. Inf. Softw. Technol. David Garlan
1995	J	`jnl`	Research Directions on Software Architecture. ACM Comput. Surv. David Garlan
1995	—	`conf`	Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel). SIGSOFT FSE David Garlan
1995	J	`jnl`	Summary of the Dagstuhl workshop on software architecture. ACM SIGSOFT Softw. Eng. Notes David Garlan, Walter F. Tichy, Frances Paulisch
1995	—	`conf`	The CMU Master of Software Engineering Core Curriculum. CSEE David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing
1994	—	`conf`	Beyond Definition/Use: Architectural Interconnection. Workshop on Interface Definition Languages Robert Allen, David Garlan
1994	—	`conf`	Exploiting Style in Architectural Design Environments. SIGSOFT FSE David Garlan, Robert Allen, John Ockerbloom
1994	A*	`conf`	Formalizing Architectural Connection. ICSE Robert Allen, David Garlan
1994	—	`conf`	Integrating Formal Methods into a Professional Master of Software Engineering Program. Z User Workshop David Garlan
1994	A*	`conf`	Nico Habermann's Research: A Brief Retrospective. ICSE David Garlan, J. Frits Habermann, David Notkin
1994	A*	`conf`	Software Architecture: Practice, Potential, and Pitfalls. ICSE David Garlan, Dewayne E. Perry
1994	—	`conf`	The role of software architecture in requirements engineering. ICRE M. Chandra Shekaran, David Garlan, Michael Jackson, Nancy R. Mead, Colin Potts, Howard B. Reubenstein
1994	J	`jnl`	TransformGen: Automating the Maintenance of Structure-Oriented Environments. ACM Trans. Program. Lang. Syst. David Garlan, Charles W. Krueger, Barbara Staudt Lerner
1994	—	`conf`	Using Refinement to Understand Architectural Connection. Refine David Garlan
1993	—	`conf`	Adding Implicit Invocation to Languages: Three Approaches. ISOTAS David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan
1993	A*	`conf`	Adding Implicit Invocation to Rraditional Programming Languages. ICSE David Garlan, Curtis M. Scott
1993	—	`ch.`	An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering David Garlan, Mary Shaw
1993	—	`conf`	Formal Approaches to Software Architecture. ICSE Workshop on Studies of Software Design David Garlan
1993	A	`conf`	Should we specify systems or domain? RE D. Partridge, David Garlan, David R. Barstow, Jeff Kramer
1993	—	`conf`	Using Style to Understand Descriptions of Software Architecture. SIGSOFT FSE Gregory D. Abowd, Robert Allen, David Garlan
1992	—	`conf`	A Formal Approach to Software Architectures. IFIP Congress (1) Robert J. Allen, David Garlan
1992	—	`conf`	A transformational approach to generating application-specific environments. SDE David Garlan, Linxi Cai, Robert L. Nord
1992	—	`conf`	Development Environments for Software Architecture. IFIP Congress (1) David Garlan
1992	—	`conf`	Experience with a Course on Architectures for Software Systems. CSEE Roy F. Swonger, Curtis M. Scott, Chris Okasaki, Mary Shaw, David Garlan
1992	—	`conf`	Formal Methods for Software Engineers: Tradeoffs in Curriculum Design. CSEE David Garlan
1992	J	`jnl`	GENIE: Developing and Assessing State-of-the-Art Integrated Programming Environments. ACM SIGCHI Bull. Dennis R. Goldenson, Ravinder Chandhok, David Garlan, Glenn Meter, Philip L. Miller, John Pane, Jacobo Carrasquel, James A. Roberts, Edward Skwarecki
1992	J	`jnl`	Using Tool Abstraction to Compose Systems. Computer David Garlan, Gail E. Kaiser, David Notkin
1991	—	`conf`	Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM Europe (1) David Garlan, David Notkin
1991	—	`conf`	Preconditions for understanding. IWSSD David Garlan
1990	J	`jnl`	A Formal Specification of an Oscilloscope. IEEE Softw. Norman M. Delisle, David Garlan
1990	—	`conf`	Formal Specifications as Reusable Frameworks. VDM Europe David Garlan, Norman M. Delisle
1990	—	`conf`	Low-cost, adaptable tool integration policies for integrated environments. SDE David Garlan, Ehsan Ilias
1990	—	`conf`	The role of formal reusable frameworks. Formal Methods in Software Development David Garlan
1989	—	`conf`	Emerging issues (session summary). ISPW David Garlan
1989	—	`conf`	Formally specifying electronic instruments. IWSSD Norman M. Delisle, David Garlan
1989	—	`conf`	The role of formalized domain-specific software frameworks. ISPW David Garlan
1987	J	`jnl`	Extending IDL to Support Concurrent Views. ACM SIGPLAN Notices David Garlan
1987	A	`conf`	MELDing Data Flow and Object-Oriented Programming. OOPSLA Gail E. Kaiser, David Garlan
1987	J	`jnl`	Melding Software Systems from Reusable Building Blocks. IEEE Softw. Gail E. Kaiser, David Garlan
1986	—	`conf`	A structural approach to the maintenance of structure-oriented environments. SDE Barbara J. Staudt, Charles W. Krueger, David Garlan
1986	—	`conf`	Integrated programming environments based on structure editing (panel session). ACM Conference on Computer Science Dennis R. Goldenson, Ravinder Chandhok, David Garlan, Philip L. Miller, Mark C. Tucker
1986	—	`conf`	Views for Tools in Integrated Environments. Advanced Programming Environments David Garlan
1984	—	`conf`	GNOME: An Introductory Programming Environment Based on a Family of STructured Editors. Software Development Environments (SDE) David Garlan, Philip L. Miller