David Garlan

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 103

Top Venues

Publications

Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. CoRR (2024)
Bruno Sousa, Duarte Dias, Nuno Antunes, Javier Cámara, Ryan Wagner, Bradley R. Schmerl, David Garlan, Pedro Fidalgo
MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. Comput. Secur. 140 (2024)
Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. ICSE (2024)
Md. Abir Hossen, Sonam Kharade, Jason M. O'Kane, Bradley R. Schmerl, David Garlan, Pooyan Jamshidi
CURE: Simulation-Augmented Auto-Tuning in Robotics. CoRR (2024)
Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl
Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction. IEEE Softw. 41 (1) (2024)
Pedro Mendes, Paolo Romano, David Garlan
Error-Driven Uncertainty Aware Training. CoRR (2024)
Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. SEAMS@ICSE (2024)
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. CoRR (2024)
Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan
HyperJump: Accelerating HyperBand via Risk Modelling. AAAI (2023)
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. CoRR (2023)
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
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. IEEE Robotics Autom. Lett. 8 (7) (2023)
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD (2023)
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. SEAMS (2023)
Rebekka Wohlrab, Javier Cámara, David Garlan, Bradley R. Schmerl
Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. J. Syst. Softw. 198 (2023)
Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. 198 (2023)
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. CoRR (2023)
Javier Cámara, David Garlan
Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers. IEEE Softw. 40 (6) (2023)
J. Andres Diaz-Pace, Rebekka Wohlrab, David Garlan
Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. ECSA (2023)
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
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. CoRR (2023)
Rebekka Wohlrab, David Garlan
A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems. Requir. Eng. 28 (1) (2023)
Pedro Mendes, Paolo Romano, David Garlan
Hyper-parameter Tuning for Adversarially Robust Models. CoRR (2023)
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
Robustification of Behavioral Designs against Environmental Deviations. ICSE (2023)
Mohammad Reza Saleh Sedghpour, David Garlan, Bradley R. Schmerl, Cristian Klein, Johan Tordsson
Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. IC2E (2023)
Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. ICSA (2022)
Javier Cámara, 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. Softw. Syst. Model. 21 (4) (2022)
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. ICSA Companion (2022)
Sridhar Adepu, Nianyu Li, Eunsuk Kang, David Garlan
Modeling and Analysis of Explanation for Secure Industrial Control Systems. ACM Trans. Auton. Adapt. Syst. 17 (3-4) (2022)
J. Andres Diaz-Pace, David Garlan
Making Architecture Optimization Transparent with Tactic-Based Explanations. ICSA Companion (2022)
Javier Cámara, 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. MoDELS (2022)
Maria Casimiro, Paolo Romano, David Garlan, Luís Rodrigues
Towards a Framework for Adapting Machine Learning Components. ACSOS (2022)
Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
Self-Adaptation for Machine Learning Based Systems. ECSA (Companion) (2021)
Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. SEFM Workshops (2021)
Rebekka Wohlrab, David Garlan
Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. CoRR (2021)
Ivano Malavolta, Grace A. Lewis, Bradley R. Schmerl, Patricia Lago, David Garlan
Mining guidelines for architecting robotics software. J. Syst. Softw. 178 (2021)
Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin
Hey! Preparing Humans to do Tasks in Self-adaptive Systems. SEAMS@ICSE (2021)
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. ACSOS-C (2021)
Nabor Chagas Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl
Developing Self-Adaptive Microservice Systems: Challenges and Directions. IEEE Softw. 38 (2) (2021)
Cody Kinneer, David Garlan, Claire Le Goues
Systems. ACM Trans. Auton. Adapt. Syst. 15 (1) (2021)
Javier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl
Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA (2021)
Mohammed N. Alharbi, Shihong Huang, David Garlan
A Probabilistic Model for Effective Explainability Based on Personality Traits. ECSA (Tracks and Workshops) (2021)
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE (2021)
Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. ECSA (Tracks and Workshops) (2021)
David Garlan
The Unknown Unknowns Are Not Totally Unknown. SEAMS@ICSE (2021)
Rebekka Wohlrab, David Garlan
Defining Utility Functions for Multi-stakeholder Self-adaptive Systems. REFSQ (2021)
Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan
Engineering Secure Self-Adaptive Systems with Bayesian Games. FASE (2021)
Mohammed N. Alharbi, Shihong Huang, David Garlan
A Probabilistic Model for Personality Trait Focused Explainability. ECSA (Companion) (2021)
Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
Towards Bridging the Gap between Control and Self-Adaptive System Properties. CoRR (2020)
Maria Casimiro, Diego Didona, Paolo Romano, Luís E. T. Rodrigues, Willy Zwaenepoel, David Garlan
Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. ICDCS (2020)
Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan
Explanations for human-on-the-loop: a probabilistic model checking approach. SEAMS@ICSE (2020)
Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
Towards bridging the gap between control and self-adaptive system properties. SEAMS@ICSE (2020)
Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS (2020)
Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. MASCOTS (2020)
Thomas J. Glazier, David Garlan, Bradley R. Schmerl
Automated Management of Collections of Autonomic Systems. ACSOS (2020)
Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, David Garlan
Hybrid Planning Using Learning and Model Checking for Autonomous Systems. ACSOS (2020)
Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues
Building Reusable Repertoires for Stochastic Self-* Planners. ACSOS (2020)
Changjian Zhang, David Garlan, Eunsuk Kang
A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE (2020)
Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. CoRR (2020)
Javier Cámara, Bradley R. Schmerl, David Garlan
Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE (2020)
Roykrong Sukkerd, Reid G. Simmons, David Garlan
Tradeoff-Focused Contrastive Explanation for MDP Planning. RO-MAN (2020)
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. ICSE (SEIP) (2020)
Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan
Model-Based Analysis of Microservice Resiliency Patterns. ICSA (2020)
Roykrong Sukkerd, Reid G. Simmons, David Garlan
Tradeoff-Focused Contrastive Explanation for MDP Planning. CoRR (2020)
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
Model-Based Adaptation for Robotics Software. IEEE Softw. 36 (2) (2019)
Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan
Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. SEAMS@ICSE (2019)
Carlos M. Aderaldo, Nabor C. Mendonça, Bradley R. Schmerl, David Garlan
Kubow: an architecture-based self-adaptation service for cloud native applications. ECSA (Companion) (2019)
Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey, David Garlan
DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. SEAMS@ICSE (2019)
Thomas J. Glazier, David Garlan
An Automated Approach to Management of a Collection of Autonomic Systems. FAS*W@SASO/ICAC (2019)
Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots. CoRR (2019)
Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan
Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE (2019)
Tobias Dürschmid, Eunsuk Kang, David Garlan
Trade-off-oriented development: making quality attribute trade-offs first-class. ICSE (NIER) (2019)
Nabor C. Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl
Developing Self-Adaptive Microservice Systems: Challenges and Directions. CoRR (2019)
Javier Cámara, David Garlan, Bradley R. Schmerl
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. 152 (2019)
Javier Cámara, David Garlan, Greg Eakman
Building Long-Lived Adaptive Systems. IEEE Softw. 36 (2) (2019)
Darko Bozhinoski, David Garlan, Ivano Malavolta, Patrizio Pelliccione
Managing safety and mission completion via collective run-time adaptation. J. Syst. Archit. 95 (2019)
Gabriel A. Moreno, Bradley R. Schmerl, David Garlan
SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. SEAMS@ICSE (2018)
Javier Cámara, Bradley R. Schmerl, Gabriel A. Moreno, David Garlan
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. Autom. Softw. Eng. 25 (3) (2018)
Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl
Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. Sci. Comput. Program. 167 (2018)
Ryan Wagner, David Garlan, Matt Fredrikson
Quantitative underpinnings of secure, graceful degradation: poster. HotSoS (2018)
Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan
IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM (2018)
Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein
Uncertainty reduction in self-adaptive systems. SEAMS@ICSE (2018)
Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. ACM Trans. Auton. Adapt. Syst. 13 (1) (2018)
Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues
Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. SEAMS@ICSE (2018)
Nancy R. Mead, David Garlan, Mary Shaw
Half a Century of Software Engineering Education: The CMU Exemplar. IEEE Softw. 35 (5) (2018)
Roykrong Sukkerd, Reid G. Simmons, David Garlan
Towards explainable multi-objective probabilistic planning. SEsCPS@ICSE (2018)
Nabor C. Mendonça, David Garlan, Bradley R. Schmerl, Javier Cámara
Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. ECSA (Companion) (2018)
Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops (2017)
Javier Cámara, David Garlan, Bradley R. Schmerl
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA (2017)
Vishal Dwivedi, James D. Herbsleb, David Garlan
What Ails End-User Composition: A Cross-Domain Qualitative Study. IS-EUD (2017)
Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan, Jürgen Pfeffer
Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software. IWSPA@CODASPY (2017)
David Garlan, Nicolás D'Ippolito, Kenji Tei
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10). NII Shonan Meet. Rep. 2017 (2017)
Ashutosh Pandey, Bradley R. Schmerl, David Garlan
Instance-Based Learning for Hybrid Planning. FAS*W@SASO/ICCAC (2017)
Javier Cámara, Bashar Nuseibeh, David Garlan
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3 (1) (2017)
Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan
Challenges in physical modeling for adaptation of cyber-physical systems. WF-IoT (2016)
Javier Cámara, 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. J. Syst. Softw. 122 (2016)
Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC (2016)
Javier Cámara, Gabriel A. Moreno, David Garlan, Bradley R. Schmerl
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. ACM Trans. Auton. Adapt. Syst. 10 (4) (2016)
Javier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl
Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Program. 127 (2016)
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. J. Syst. Softw. 115 (2016)
Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan
Architecture Modeling and Analysis of Security in Android Systems. ECSA (2016)
Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan
Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO (2016)

David Garlan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Garlan