default search action
David Garlan
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1996
- [b1]Mary Shaw, David Garlan:
Software architecture - perspectives on an emerging discipline. Prentice Hall 1996, ISBN 978-0-13-182957-2, pp. I-XXI, 1-262
Journal Articles
- 2024
- [j67]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: 103768 (2024) - [j66]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): 64-73 (2024) - [j65]Maria Casimiro, Diogo Soares, David Garlan, Luís Rodrigues, Paolo Romano:
Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. ACM Trans. Auton. Adapt. Syst. 19(3): 18:1-18:30 (2024) - 2023
- [j64]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: 111538 (2023) - [j63]Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl:
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. 198: 111578 (2023) - [j62]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): 4115-4122 (2023) - [j61]Rebekka Wohlrab, David Garlan:
A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems. Requir. Eng. 28(1): 3-22 (2023) - [j60]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): 95-101 (2023) - 2022
- [j59]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): 1277-1294 (2022) - [j58]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): 1-26 (2022) - 2021
- [j57]Ivano Malavolta, Grace A. Lewis, Bradley R. Schmerl, Patricia Lago, David Garlan:
Mining guidelines for architecting robotics software. J. Syst. Softw. 178: 110969 (2021) - [j56]Nabor Chagas Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl:
Developing Self-Adaptive Microservice Systems: Challenges and Directions. IEEE Softw. 38(2): 70-79 (2021) - [j55]Cody Kinneer, David Garlan, Claire Le Goues:
Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. ACM Trans. Auton. Adapt. Syst. 15(1): 3:1-3:36 (2021) - 2019
- [j54]Darko Bozhinoski, David Garlan, Ivano Malavolta, Patrizio Pelliccione:
Managing safety and mission completion via collective run-time adaptation. J. Syst. Archit. 95: 19-35 (2019) - [j53]Javier Cámara, David Garlan, Bradley R. Schmerl:
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. 152: 33-49 (2019) - [j52]Javier Cámara, David Garlan, Greg Eakman:
Building Long-Lived Adaptive Systems. IEEE Softw. 36(2): 70-72 (2019) - [j51]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): 83-90 (2019) - 2018
- [j50]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): 595-626 (2018) - [j49]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: 51-69 (2018) - [j48]Nancy R. Mead, David Garlan, Mary Shaw:
Half a Century of Software Engineering Education: The CMU Exemplar. IEEE Softw. 35(5): 25-31 (2018) - [j47]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): 3:1-3:36 (2018) - 2017
- [j46]Javier Cámara, Bashar Nuseibeh, David Garlan:
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3(1): 00:-1-00:-12 (2017) - 2016
- [j45]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: 42-60 (2016) - [j44]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: 507-523 (2016) - [j43]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: 50-75 (2016) - [j42]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): 23:1-23:28 (2016) - 2015
- [j41]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:
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 40(6): 28-32 (2015) - 2014
- [j40]Sungwon Kang, David Garlan:
Architecture-Based Planning of Software Evolution. Int. J. Softw. Eng. Knowl. Eng. 24(2): 211-242 (2014) - [j39]Jeffrey M. Barnes, David Garlan, Bradley R. Schmerl:
Evolution styles: foundations and models for software architecture evolution. Softw. Syst. Model. 13(2): 649-678 (2014) - [j38]Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl:
Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. 59(12): 3178-3193 (2014) - 2012
- [j37]Shang-Wen Cheng, David Garlan:
Stitch: A language for architecture-based self-adaptation. J. Syst. Softw. 85(12): 2860-2875 (2012) - 2010
- [j36]Jung Soo Kim, David Garlan:
Analyzing architectural styles. J. Syst. Softw. 83(7): 1216-1235 (2010) - 2009
- [j35]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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j34]David Garlan, Robert Allen, John Ockerbloom:
Architectural Mismatch: Why Reuse Is Still So Hard. IEEE Softw. 26(4): 66-69 (2009) - 2008
- [j33]Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan:
Differencing and merging of architectural views. Autom. Softw. Eng. 15(1): 35-74 (2008) - 2007
- [j32]David Garlan, Bradley R. Schmerl:
The Radar Architecture for Personal Cognitive Assistance. Int. J. Softw. Eng. Knowl. Eng. 17(2): 171-190 (2007) - 2006
- [j31]Tiberiu Seceleanu, David Garlan:
Developing adaptive systems with synchronized architectures. J. Syst. Softw. 79(11): 1514-1526 (2006) - [j30]Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan:
Discovering Architectures from Running Systems. IEEE Trans. Software Eng. 32(7): 454-466 (2006) - [j29]João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl, Mary Shaw:
Task-based adaptation for ubiquitous computing. IEEE Trans. Syst. Man Cybern. Syst. 36(3): 328-340 (2006) - 2005
- [j28]Joëlle Coutaz, James L. Crowley, Simon Dobson, David Garlan:
Context is key. Commun. ACM 48(3): 49-53 (2005) - [j27]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
Improving system dependability by enforcing architectural intent. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j26]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. ACM SIGSOFT Softw. Eng. Notes 30(4): 1 (2005) - 2004
- [j25]David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley R. Schmerl, Peter Steenkiste:
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. Computer 37(10): 46-54 (2004) - 2002
- [j24]David Garlan, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste:
Project Aura: Toward Distraction-Free Pervasive Computing. IEEE Pervasive Comput. 1(2): 22-31 (2002) - [j23]David Garlan, Shang-Wen Cheng, Andrew Kompanek:
Reconciling the needs of architectural description with object-modeling notations. Sci. Comput. Program. 44(1): 23-49 (2002) - 2001
- [j22]João Pedro Sousa, David Garlan:
Formal modeling of the Enterprise JavaBeans(TM) component integration framework. Inf. Softw. Technol. 43(3): 171-188 (2001) - [j21]Jeff Kramer, David Garlan, David S. Rosenblum:
Guest Editors' Introduction: 1999 International Conference on Software Engineering. IEEE Trans. Software Eng. 27(2): 97-98 (2001) - 1998
- [j20]Jürgen Dingel, David Garlan, Somesh Jha, David Notkin:
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. 10(3): 193-213 (1998) - [j19]Robert Allen, David Garlan:
Errata: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. 7(3): 333-334 (1998) - 1997
- [j18]David Garlan, David P. Gluch, James E. Tomayko:
Agents of Change: Educating Software Engineering Leaders. Computer 30(11): 59-65 (1997) - [j17]David Garlan:
SIGSOFT'96 post mortem. ACM SIGSOFT Softw. Eng. Notes 22(1): 23 (1997) - [j16]Robert T. Monroe, Andrew Kompanek, Ralph E. Melton, David Garlan:
Architectural Styles, Design Patterns, And Objects. IEEE Softw. 14(1): 43-52 (1997) - [j15]Robert Allen, David Garlan:
A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. 6(3): 213-249 (1997) - 1996
- [j14]David Garlan, Mark Morieoni:
The Fourth Symposium on the Foundations of Software Engineering (FSE4). ACM SIGSOFT Softw. Eng. Notes 21(5): 4 (1996) - 1995
- [j13]David Garlan:
Research Directions on Software Architecture. ACM Comput. Surv. 27(2): 257-261 (1995) - [j12]David Garlan:
Making formal methods education effective for professional software engineers. Inf. Softw. Technol. 37(5-6): 261-268 (1995) - [j11]David Garlan, Walter F. Tichy, Frances Paulisch:
Summary of the Dagstuhl workshop on software architecture. ACM SIGSOFT Softw. Eng. Notes 20(3): 63-83 (1995) - [j10]David Garlan:
First international workshop on architectures for software systems workshop summary. ACM SIGSOFT Softw. Eng. Notes 20(3): 84-89 (1995) - [j9]David Garlan, Robert Allen, John Ockerbloom:
Architectural Mismatch: Why Reuse Is So Hard. IEEE Softw. 12(6): 17-26 (1995) - [j8]Gregory D. Abowd, Robert Allen, David Garlan:
Formalizing Style to Understand Descriptions of Software Architecture. ACM Trans. Softw. Eng. Methodol. 4(4): 319-364 (1995) - [j7]David Garlan, Dewayne E. Perry:
Introduction to the Special Issue on Software Architecture. IEEE Trans. Software Eng. 21(4): 269-274 (1995) - 1994
- [j6]David Garlan, Charles W. Krueger, Barbara Staudt Lerner:
TransformGen: Automating the Maintenance of Structure-Oriented Environments. ACM Trans. Program. Lang. Syst. 16(3): 727-774 (1994) - 1992
- [j5]David Garlan, Gail E. Kaiser, David Notkin:
Using Tool Abstraction to Compose Systems. Computer 25(6): 30-38 (1992) - [j4]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. ACM SIGCHI Bull. 24(2): 39-40 (1992) - 1990
- [j3]Norman M. Delisle, David Garlan:
A Formal Specification of an Oscilloscope. IEEE Softw. 7(5): 29-36 (1990) - 1987
- [j2]David Garlan:
Extending IDL to Support Concurrent Views. ACM SIGPLAN Notices 22(11): 95-110 (1987) - [j1]Gail E. Kaiser, David Garlan:
Melding Software Systems from Reusable Building Blocks. IEEE Softw. 4(4): 17-24 (1987)
Conference and Workshop Papers
- 2024
- [c217]Pedro Mendes, Paolo Romano, David Garlan:
Error-Driven Uncertainty Aware Training. ECAI 2024: 1736-1743 - [c216]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. FM (2) 2024: 267-285 - [c215]J. Andres Diaz-Pace, David Garlan:
The Architect in the Maze: On the Effective Usage of Automated Design Exploration. Designing@ICSE 2024: 9-14 - [c214]David Garlan, Bradley R. Schmerl, Rebekka Wohlrab, Javier Cámara:
Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. Designing@ICSE 2024: 15-20 - [c213]Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues:
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. ICSE 2024: 144:1-144:13 - [c212]Simon Chu, Justin Koe, David Garlan, Eunsuk Kang:
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. SEAMS@ICSE 2024: 122-132 - 2023
- [c211]Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan:
HyperJump: Accelerating HyperBand via Risk Modelling. AAAI 2023: 9143-9152 - [c210]J. Andres Diaz-Pace, Rebekka Wohlrab, David Garlan:
Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. ECSA 2023: 3-19 - [c209]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: 1-9 - [c208]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: 32-42 - [c207]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: 423-434 - [c206]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: 115-125 - 2022
- [c205]Maria Casimiro, Paolo Romano, David Garlan, Luís Rodrigues:
Towards a Framework for Adapting Machine Learning Components. ACSOS 2022: 131-140 - [c204]J. Andres Diaz-Pace, David Garlan:
Making Architecture Optimization Transparent with Tactic-Based Explanations. ICSA Companion 2022: 5-9 - [c203]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: 56 - [c202]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: 112-123 - [c201]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: 24-30 - 2021
- [c200]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: 198-203 - [c199]Mohammed N. Alharbi, Shihong Huang, David Garlan:
A Probabilistic Model for Personality Trait Focused Explainability. ECSA (Companion) 2021 - [c198]Javier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl:
Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA 2021: 49-65 - [c197]Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein:
Self-Adaptation for Machine Learning Based Systems. ECSA (Companion) 2021 - [c196]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: 133-155 - [c195]Mohammed N. Alharbi, Shihong Huang, David Garlan:
A Probabilistic Model for Effective Explainability Based on Personality Traits. ECSA (Tracks and Workshops) 2021: 205-225 - [c194]Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan:
Engineering Secure Self-Adaptive Systems with Bayesian Games. FASE 2021: 130-151 - [c193]Rebekka Wohlrab, David Garlan:
Defining Utility Functions for Multi-stakeholder Self-adaptive Systems. REFSQ 2021: 116-122 - [c192]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: 48-58 - [c191]David Garlan:
The Unknown Unknowns Are Not Totally Unknown. SEAMS@ICSE 2021: 264-265 - [c190]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: 317-332 - [c189]Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang:
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE 2021: 155-167 - 2020
- [c188]Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Hybrid Planning Using Learning and Model Checking for Autonomous Systems. ACSOS 2020: 55-64 - [c187]Thomas J. Glazier, David Garlan, Bradley R. Schmerl:
Automated Management of Collections of Autonomic Systems. ACSOS 2020: 82-91 - [c186]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl:
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS 2020: 195-204 - [c185]Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues:
Building Reusable Repertoires for Stochastic Self-* Planners. ACSOS 2020: 222-231 - [c184]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: 56-66 - [c183]Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan:
Model-Based Analysis of Microservice Resiliency Patterns. ICSA 2020: 114-124 - [c182]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: 31-40 - [c181]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: 78-84 - [c180]Javier Cámara, Bradley R. Schmerl, David Garlan:
Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE 2020: 125-136 - [c179]Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan:
Explanations for human-on-the-loop: a probabilistic model checking approach. SEAMS@ICSE 2020: 181-187 - [c178]Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan:
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. MASCOTS 2020: 1-8 - [c177]Roykrong Sukkerd, Reid G. Simmons, David Garlan:
Tradeoff-Focused Contrastive Explanation for MDP Planning. RO-MAN 2020: 1041-1048 - [c176]Changjian Zhang, David Garlan, Eunsuk Kang:
A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE 2020: 1-12 - 2019
- [c175]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: 42-45 - [c174]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: 39-50 - [c173]Tobias Dürschmid, Eunsuk Kang, David Garlan:
Trade-off-oriented development: making quality attribute trade-offs first-class. ICSE (NIER) 2019: 109-112 - [c172]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: 181-187 - [c171]Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan:
Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE 2019: 10:1-10:11 - [c170]Thomas J. Glazier, David Garlan:
An Automated Approach to Management of a Collection of Autonomic Systems. FAS*W@SASO/ICAC 2019: 110-115 - 2018
- [c169]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: 18:1-18:6 - [c168]Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan:
IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM 2018: 165-184 - [c167]Ryan Wagner, David Garlan, Matt Fredrikson:
Quantitative underpinnings of secure, graceful degradation: poster. HotSoS 2018: 25:1 - [c166]Roykrong Sukkerd, Reid G. Simmons, David Garlan:
Towards explainable multi-objective probabilistic planning. SEsCPS@ICSE 2018: 19-25 - [c165]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: 40-50 - [c164]Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein:
Uncertainty reduction in self-adaptive systems. SEAMS@ICSE 2018: 51-57 - [c163]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: 137-143 - 2017
- [c162]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: 17-22 - [c161]Javier Cámara, David Garlan, Bradley R. Schmerl:
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA 2017: 3-21 - [c160]Vishal Dwivedi, James D. Herbsleb, David Garlan:
What Ails End-User Composition: A Cross-Domain Qualitative Study. IS-EUD 2017: 66-83 - [c159]Ashutosh Pandey, Bradley R. Schmerl, David Garlan:
Instance-Based Learning for Hybrid Planning. FAS*W@SASO/ICCAC 2017: 64-69 - [c158]Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops 2017: 523-540 - 2016
- [c157]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: 274-290 - [c156]Hemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Javier Cámara, David Garlan, Jürgen Pfeffer:
A model-based approach to anomaly detection in software architectures. HotSoS 2016: 69-71 - [c155]Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan:
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS 2016: 115-117 - [c154]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC 2016: 147-156 - [c153]Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons:
Multiscale time abstractions for long-range planning under uncertainty. SEsCPS@ICSE 2016: 15-21 - [c152]Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan:
Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO 2016: 130-139 - [c151]Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan:
Challenges in physical modeling for adaptation of cyber-physical systems. WF-IoT 2016: 210-215 - 2015
- [c150]Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Architectural Abstractions for Hybrid Programs. CBSE 2015: 65-74 - [c149]Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan:
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS 2015: 11-22 - [c148]Bradley R. Schmerl, Jeffrey Gennari, David Garlan:
An architecture style for Android security analysis: poster. HotSoS 2015: 15:1-15:2 - [c147]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. HotSoS 2015: 20:1-20:2 - [c146]David Garlan:
Modeling Challenges for CPS Systems. SEsCPS@ICSE 2015: 1 - [c145]Javier Cámara, Gabriel A. Moreno, David Garlan:
Reasoning about Human Participation in Self-Adaptive Systems. SEAMS@ICSE 2015: 146-156 - [c144]Zack Coker, David Garlan, Claire Le Goues:
SASS: Self-Adaptation Using Stochastic Search. SEAMS@ICSE 2015: 168-174 - [c143]Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. ACES-MB&WUCOR@MoDELS 2015: 3-10 - [c142]Javier Cámara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey:
Optimal planning for architecture-based self-adaptation via model checking of stochastic games. SAC 2015: 428-435 - [c141]Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan:
Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. SASO Workshops 2015: 55-60 - [c140]Roykrong Sukkerd, David Garlan, Reid G. Simmons:
Task Planning of Cyber-Human Systems. SEFM 2015: 293-309 - [c139]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Proactive self-adaptation under uncertainty: a probabilistic model checking approach. ESEC/SIGSOFT FSE 2015: 1-12 - 2014
- [c138]Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan:
Contract-based integration of cyber-physical analyses. EMSOFT 2014: 23:1-23:10 - [c137]Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl:
Impact Models for Architecture-Based Self-adaptive Systems. FACS 2014: 89-107 - [c136]Bradley R. Schmerl, Javier Cámara, 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. HotSoS 2014: 2 - [c135]David Garlan:
Software architecture: a travelogue. FOSE 2014: 29-39 - [c134]Paulo Casanova, David Garlan, Bradley R. Schmerl, Rui Abreu:
Diagnosing unobserved components in self-adaptive systems. SEAMS 2014: 75-84 - [c133]Javier Cámara, Gabriel A. Moreno, David Garlan:
Stochastic game analysis and latency awareness for proactive self-adaptation. SEAMS 2014: 155-164 - [c132]Vishal Dwivedi, David Garlan, Jürgen Pfeffer, Bradley R. Schmerl:
Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions. ITNG 2014: 235-240 - 2013
- [c131]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:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c130]Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl:
Analyzing Self-Adaptation Via Model Checking of Stochastic Games. Software Engineering for Self-Adaptive Systems 2013: 154-187 - [c129]David Garlan:
A 10-year perspective on software engineering self-adaptive systems (keynote). SEAMS 2013: 2 - [c128]Jeffrey M. Barnes, David Garlan:
Challenges in developing a software architecture evolution tool as a plug-in. TOPI@ICSE 2013: 13-18 - [c127]Javier Cámara, 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. SEAMS 2013: 13-22 - [c126]Paulo Casanova, David Garlan, Bradley R. Schmerl, Rui Abreu:
Diagnosing architectural run-time failures. SEAMS 2013: 103-112 - [c125]Perla Velasco Elizondo, Vishal Dwivedi, David Garlan, Bradley R. Schmerl, José Maria Fernandes:
Resolving Data Mismatches in End-User Compositions. IS-EUD 2013: 120-136 - [c124]Jeffrey M. Barnes, Ashutosh Pandey, David Garlan:
Automated planning for software architecture evolution. ASE 2013: 213-223 - [c123]Eric Yuan, Sam Malek, Bradley R. Schmerl, David Garlan, Jeff Gennari:
Architecture-based self-protecting software systems. QoSA 2013: 33-42 - 2012
- [c122]David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. Monterey Workshop 2012: 157-182 - 2011
- [c121]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. CDC/ECC 2011: 2705-2710 - [c120]Paulo Casanova, Bradley R. Schmerl, David Garlan, Rui Abreu:
Architecture-Based Run-Time Fault Diagnosis. ECSA 2011: 261-277 - [c119]Vishal Dwivedi, Perla Velasco Elizondo, José Maria Fernandes, David Garlan, Bradley R. Schmerl:
An Architectural Approach to End User Orchestrations. ECSA 2011: 370-378 - [c118]Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl:
View Consistency in Architectures for Cyber-Physical Systems. ICCPS 2011: 151-160 - [c117]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. ICSE 2011: 643-652 - [c116]David Garlan, Mary Shaw:
Software architecture: reflections on an evolving discipline. SIGSOFT FSE 2011: 2 - [c115]David Garlan:
Invited Talk - Engineering Self-Healing and Self-Improving Systems. SSIRI (Companion) 2011: 207 - 2010
- [c114]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor:
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448 - [c113]David Garlan:
Software engineering in an uncertain world. FoSER 2010: 125-128 - 2009
- [c112]Shang-Wen Cheng, Vahe Poladian, David Garlan, Bradley R. Schmerl:
Improving Architecture-Based Self-Adaptation through Resource Prediction. Software Engineering for Self-Adaptive Systems 2009: 71-88 - [c111]Sagar Chaki, J. Andrés Díaz Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya:
Towards engineered architecture evolution. MiSE@ICSE 2009: 1-6 - [c110]Shang-Wen Cheng, David Garlan, Bradley R. Schmerl:
Evaluating the effectiveness of the Rainbow self-adaptive system. SEAMS 2009: 132-141 - [c109]Shang-Wen Cheng, David Garlan, Bradley R. Schmerl:
RAIDE for engineering architecture-based self-adaptive systems. ICSE Companion 2009: 435-436 - [c108]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion 2009: 463-464 - [c107]David Garlan, Bradley R. Schmerl:
Ævol: A tool for defining and planning architecture evolution. ICSE 2009: 591-594 - [c106]David Garlan:
Invited Talk: Rainbow: Engineering Support for Self-Healing Systems. SBES 2009 - [c105]David Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku:
Using Service-oriented Architectures for Socio-Cultural Analysis. SEKE 2009: 370-375 - [c104]Rahul Raheja, Shang-Wen Cheng, David Garlan, Bradley R. Schmerl:
Improving Architecture-Based Self-adaptation Using Preemption. SOAR 2009: 21-37 - [c103]David Garlan, Jeffrey M. Barnes, Bradley R. Schmerl, Orieta Celiku:
Evolution styles: Foundations and tool support for software architecture evolution. WICSA/ECSA 2009: 131-140 - 2008
- [c102]David Garlan:
Software Architectures for Task-Oriented Computing. ACIS-ICIS 2008: 3 - [c101]João Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan:
User Guidance of Resource-Adaptive Systems. ICSOFT (SE/MUSE/GSDCA) 2008: 36-44 - [c100]João Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan:
A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs. ICSOFT (Selected Papers) 2008: 48-61 - [c99]João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl, Peter Steenkiste:
Steps toward activity-oriented computing. IPDPS 2008: 1-5 - 2007
- [c98]David Garlan:
Software Architectures for Task-Oriented Computing. ECSA 2007: 1 - [c97]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2007: 1 - [c96]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion 2007: 152-153 - [c95]Vahe Poladian, David Garlan, Mary Shaw, Mahadev Satyanarayanan, Bradley R. Schmerl, João Pedro Sousa:
Leveraging Resource Prediction for Anticipatory Dynamic Configuration. SASO 2007: 214-223 - [c94]Thomas D. LaToza, David Garlan, James D. Herbsleb, Brad A. Myers:
Program comprehension as fact finding. ESEC/SIGSOFT FSE 2007: 361-370 - 2006
- [c93]Shang-Wen Cheng, David Garlan, Bradley R. Schmerl:
Architecture-based self-adaptation in the presence of multiple objectives. SEAMS@ICSE 2006: 2-8 - [c92]Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller:
Software engineering for adaptive and self-managing systems. ICSE 2006: 1015-1016 - [c91]Jung Soo Kim, David Garlan:
Analyzing architectural styles with alloy. ROSATEA 2006: 70-80 - [c90]Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan:
Differencing and Merging of Architectural Views. ASE 2006: 47-58 - [c89]George Fairbanks, David Garlan, William L. Scherlis:
Design fragments make using frameworks easier. OOPSLA 2006: 75-88 - [c88]George Fairbanks, David Garlan, William L. Scherlis:
Using framework interfaces with design fragments. OOPSLA Companion 2006: 718 - [c87]George Fairbanks, David Garlan, William L. Scherlis:
Design fragments make using frameworks easier. OOPSLA Companion 2006: 762-763 - [c86]David Garlan, Bradley R. Schmerl:
An Architecture for Personal Cognitive Assistance. SEKE 2006: 91-97 - 2005
- [c85]Shang-Wen Cheng, David Garlan, Bradley R. Schmerl:
Making Self-Adaptation an Engineering Reality. Self-star Properties in Complex Information Systems 2005: 158-173 - [c84]João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl:
Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation. CAiSE Workshops (2) 2005: 83-96 - [c83]Tiberiu Seceleanu, David Garlan:
Synchronized Architectures for Adaptive Systems. COMPSAC (2) 2005: 146-151 - [c82]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
Improving system dependability by enforcing architectural intent. WADS@ICSE 2005: 1:1-1:7 - [c81]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
Modeling and implementing software architecture with acme and archJava. ICSE 2005: 676-677 - [c80]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. ICSE 2005: 699 - [c79]David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng:
Bridging the Gap between Systems Design. SEW 2005: 34-46 - [c78]Bradley R. Schmerl, David Garlan, Hong Yan:
Dynamically discovering architectures with DiscoTect. ESEC/SIGSOFT FSE 2005: 103-106 - [c77]David Garlan:
Software Architecture Evaluation and Analysis Session Report. WICSA 2005: 227-228 - [c76]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas:
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. WICSA 2005: 265-268 - [c75]Massimo Tivoli, David Garlan:
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. WICSA 2005: 276-277 - 2004
- [c74]David Garlan, Bradley R. Schmerl:
Using Architectural Models at Runtime: Research Challenges. EWSA 2004: 200-205 - [c73]Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley R. Schmerl, Peter Steenkiste:
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. ICAC 2004: 276-277 - [c72]Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman:
DiscoTect: A System for Discovering Architectures from Running Systems. ICSE 2004: 470-479 - [c71]Vahe Poladian, João Pedro Sousa, David Garlan, Mary Shaw:
Dynamic Configuration of Resource-Aware Services. ICSE 2004: 604-613 - [c70]Bradley R. Schmerl, David Garlan:
AcmeStudio: Supporting Style-Centered Architecture Development. ICSE 2004: 704-705 - [c69]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. ISESE 2004: 117-126 - [c68]Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng:
Modeling and implementing software architecture with acme and archJava. OOPSLA Companion 2004: 6-7 - [c67]Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng:
Modeling and implementing software architecture with acme and archJava. OOPSLA Companion 2004: 156-157 - [c66]Roshanak Roshandel, Bradley R. Schmerl, Nenad Medvidovic, David Garlan, Dehua Zhang:
Understanding Tradeoffs among Different Architectural Modeling Approaches. WICSA 2004: 47-56 - [c65]Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley R. Schmerl, Peter Steenkiste:
An Architecture for Coordinating Multiple Self-Management Systems. WICSA 2004: 243-254 - [c64]David Garlan, Vahe Poladian, Bradley R. Schmerl, João Pedro Sousa:
Task-based self-adaptation. WOSS 2004: 54-57 - 2003
- [c63]Bridget Spitznagel, David Garlan:
A Compositional Formalization of Connector Wrappers. ICSE 2003: 374-384 - [c62]Paul C. Clements, David Garlan, Reed Little, Robert L. Nord, Judith A. Stafford:
Documenting Software Architectures: Views and Beyond. ICSE 2003: 740-741 - [c61]David Garlan:
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. SFM 2003: 1-24 - [c60]David Garlan, Serge Khersonsky, Jung Soo Kim:
Model Checking Publish-Subscribe Systems. SPIN 2003: 166-180 - 2002
- [c59]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. ARCS 2002: 67-82 - [c58]Jürgen Dingel, David Garlan, Craig Damon:
Bridging the HLA: Problems and Solutions. DS-RT 2002: 33-42 - [c57]Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, Peter Steenkiste, Ningning Hu:
Software Architecture-Based Adaptation for Grid Computing. HPDC 2002: 389-398 - [c56]David Garlan, Shang-Wen Cheng, Bradley R. Schmerl:
Increasing System Dependability through Architecture-Based Self-Repair. WADS 2002: 61-89 - [c55]Bradley R. Schmerl, David Garlan:
Exploiting architectural design knowledge to support self-repairing systems. SEKE 2002: 241-248 - [c54]David Garlan:
Software, Heal Thyself! UML 2002: 351 - [c53]João Pedro Sousa, David Garlan:
Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments. WICSA 2002: 29-43 - [c52]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. WICSA 2002: 45-59 - [c51]David Garlan, Bradley R. Schmerl:
Model-based adaptation for self-healing systems. WOSS 2002: 27-32 - 2001
- [c50]David Garlan:
Aura: Distraction-Free Ubiquitous Computing. EHCI 2001: 1-2 - [c49]Bridget Spitznagel, David Garlan:
A Compositional Approach for Constructing Connectors. WICSA 2001: 148-157 - 2000
- [c48]David Garlan:
Software architecture: a roadmap. ICSE - Future of SE Track 2000: 91-101 - [c47]David Garlan, Serge Khersonsky:
Model Checking Implicit-Invocation Systems. IWSSD 2000: 23-30 - [c46]David Garlan, Andrew Kompanek:
Reconciling the Needs of Architectural Description with Object-Modeling Notations. UML 2000: 498-512 - [c45]Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic:
Modeling of Architectures with UML (Panel). UML 2000: 556-569 - 1999
- [c44]David Garlan, Zhenyu Wang:
Acme-Based Software Architecture Interchange. COORDINATION 1999: 340-354 - [c43]João Pedro Sousa, David Garlan:
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework. World Congress on Formal Methods 1999: 1281-1300 - 1998
- [c42]Robert Allen, Rémi Douence, David Garlan:
Specifying and Analyzing Dynamic Software Architectures. FASE 1998: 21-37 - [c41]Robert Allen, David Garlan:
Formal Modeling and Analysis of the HLA Component Integration Standard. SIGSOFT FSE 1998: 70-79 - [c40]David Garlan, Somesh Jha, David Notkin:
Reasoning about Implicit Invocation. SIGSOFT FSE 1998: 209-221 - 1997
- [c39]David Garlan, Robert T. Monroe, David Wile:
Acme: an architecture description interchange language. CASCON 1997: 7 - [c38]Ralph E. Melton, David Garlan:
Architectural unification. CASCON 1997: 18 - 1996
- [c37]Robert T. Monroe, David Garlan:
Style-based reuse for software architectures. ICSR 1996: 84-93 - [c36]Robert Allen, David Garlan:
A Case Study in Architectural Modelling: The AEGIS System. IWSSD 1996: 6 - [c35]David Garlan:
Style-based refinement for software architecture. ISAW/Viewpoints@FSE 1996: 72-75 - 1995
- [c34]David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing:
The CMU Master of Software Engineering Core Curriculum. CSEE 1995: 65-86 - [c33]David Garlan, Robert Allen, John Ockerbloom:
Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. ICSE 1995: 179-185 - [c32]David Garlan:
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel). SIGSOFT FSE 1995: 5 - 1994
- [c31]Robert Allen, David Garlan:
Formalizing Architectural Connection. ICSE 1994: 71-80 - [c30]David Garlan, J. Frits Habermann, David Notkin:
Nico Habermann's Research: A Brief Retrospective. ICSE 1994: 149-153 - [c29]David Garlan, Dewayne E. Perry:
Software Architecture: Practice, Potential, and Pitfalls. ICSE 1994: 363-364 - [c28]Robert Allen, David Garlan:
Beyond Definition/Use: Architectural Interconnection. Workshop on Interface Definition Languages 1994: 35-45 - [c27]M. Chandra Shekaran, David Garlan, Michael Jackson, Nancy R. Mead, Colin Potts, Howard B. Reubenstein:
The role of software architecture in requirements engineering. ICRE 1994: 239-245 - [c26]David Garlan:
Using Refinement to Understand Architectural Connection. Refine 1994: 3-13 - [c25]David Garlan, Robert Allen, John Ockerbloom:
Exploiting Style in Architectural Design Environments. SIGSOFT FSE 1994: 175-188 - [c24]David Garlan:
Integrating Formal Methods into a Professional Master of Software Engineering Program. Z User Workshop 1994: 71-85 - 1993
- [c23]David Garlan:
Formal Approaches to Software Architecture. ICSE Workshop on Studies of Software Design 1993: 64-76 - [c22]David Garlan, Curtis M. Scott:
Adding Implicit Invocation to Rraditional Programming Languages. ICSE 1993: 447-455 - [c21]David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan:
Adding Implicit Invocation to Languages: Three Approaches. ISOTAS 1993: 489-510 - [c20]D. Partridge, David Garlan, David R. Barstow, Jeff Kramer:
Should we specify systems or domain? RE 1993: 77-80 - [c19]Gregory D. Abowd, Robert Allen, David Garlan:
Using Style to Understand Descriptions of Software Architecture. SIGSOFT FSE 1993: 9-20 - 1992
- [c18]Roy F. Swonger, Curtis M. Scott, Chris Okasaki, Mary Shaw, David Garlan:
Experience with a Course on Architectures for Software Systems. CSEE 1992: 23-43 - [c17]David Garlan:
Formal Methods for Software Engineers: Tradeoffs in Curriculum Design. CSEE 1992: 131-142 - [c16]Robert Allen, David Garlan:
A Formal Approach to Software Architectures. IFIP Congress (1) 1992: 134-141 - [c15]David Garlan:
Development Environments for Software Architecture. IFIP Congress (1) 1992: 217 - [c14]David Garlan, Linxi Cai, Robert L. Nord:
A transformational approach to generating application-specific environments. SDE 1992: 68-77 - 1991
- [c13]David Garlan, David Notkin:
Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM Europe (1) 1991: 31-44 - [c12]David Garlan:
Preconditions for understanding. IWSSD 1991: 242-245 - 1990
- [c11]David Garlan, Norman M. Delisle:
Formal Specifications as Reusable Frameworks. VDM Europe 1990: 150-163 - [c10]David Garlan:
The role of formal reusable frameworks. Formal Methods in Software Development 1990: 42-44 - [c9]David Garlan, Ehsan Ilias:
Low-cost, adaptable tool integration policies for integrated environments. SDE 1990: 1-10 - 1989
- [c8]David Garlan:
Emerging issues (session summary). ISPW 1989: 33-38 - [c7]David Garlan:
The role of formalized domain-specific software frameworks. ISPW 1989: 64-66 - [c6]Norman M. Delisle, David Garlan:
Formally specifying electronic instruments. IWSSD 1989: 242-248 - 1987
- [c5]Gail E. Kaiser, David Garlan:
MELDing Data Flow and Object-Oriented Programming. OOPSLA 1987: 254-267 - 1986
- [c4]Dennis R. Goldenson, Ravinder Chandhok, David Garlan, Philip L. Miller, Mark C. Tucker:
Integrated programming environments based on structure editing (panel session). ACM Conference on Computer Science 1986: 385 - [c3]David Garlan:
Views for Tools in Integrated Environments. Advanced Programming Environments 1986: 314-343 - [c2]Barbara J. Staudt, Charles W. Krueger, David Garlan:
A structural approach to the maintenance of structure-oriented environments. SDE 1986: 160-170 - 1984
- [c1]David Garlan, Philip L. Miller:
GNOME: An Introductory Programming Environment Based on a Family of STructured Editors. Software Development Environments (SDE) 1984: 65-72
Parts in Books or Collections
- 2009
- [p4]David Garlan, Bradley R. Schmerl, Shang-Wen Cheng:
Software Architecture-Based Self-Adaptation. Autonomic Computing and Networking 2009: 31-55 - 2008
- [p3]David Garlan:
Software Architecture. Wiley Encyclopedia of Computer Science and Engineering 2008 - 1995
- [p2]Mary Shaw, David Garlan:
Formulations and Formalisms in Software Architecture. Computer Science Today 1995: 307-323 - 1993
- [p1]David Garlan, Mary Shaw:
An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering 1993: 1-39
Editorship
- 2018
- [e10]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. Lecture Notes in Computer Science 11048, Springer 2018, ISBN 978-3-030-00760-7 [contents] - 2017
- [e9]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. Lecture Notes in Computer Science 9640, Springer 2017, ISBN 978-3-319-74182-6 [contents] - 2012
- [e8]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. Lecture Notes in Computer Science 7539, Springer 2012, ISBN 978-3-642-34058-1 [contents] - 2008
- [e7]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. ACM 2008, ISBN 978-1-60558-037-1 [contents] - 2006
- [e6]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Jeff Magee, Hausi A. Müller, Richard Taylor:
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006. ACM 2006, ISBN 1-59593-403-0 [contents] - 2004
- [e5]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. ACM 2004, ISBN 1-58113-989-6 [contents] - 2002
- [e4]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. ACM 2002, ISBN 1-58113-609-9 [contents] - 1999
- [e3]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. ACM 1999, ISBN 1-58113-074-0 [contents] - 1997
- [e2]David Garlan, Daniel Le Métayer:
Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings. Lecture Notes in Computer Science 1282, Springer 1997, ISBN 3-540-63383-9 [contents] - 1996
- [e1]David Garlan:
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996. ACM 1996, ISBN 978-0-89791-797-1 [contents]
Informal and Other Publications
- 2024
- [i18]Simon Chu, Justin Koe, David Garlan, Eunsuk Kang:
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. CoRR abs/2401.09678 (2024) - [i17]Md. Abir Hossen, Sonam Kharade, Jason M. O'Kane, Bradley R. Schmerl, David Garlan, Pooyan Jamshidi:
CURE: Simulation-Augmented Auto-Tuning in Robotics. CoRR abs/2402.05399 (2024) - [i16]Pedro Mendes, Paolo Romano, David Garlan:
Error-Driven Uncertainty Aware Training. CoRR abs/2405.01205 (2024) - [i15]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 abs/2406.17066 (2024) - [i14]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. CoRR abs/2409.03089 (2024) - 2023
- [i13]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 abs/2301.07690 (2023) - [i12]Pedro Mendes, Paolo Romano, David Garlan:
Hyper-parameter Tuning for Adversarially Robust Models. CoRR abs/2304.02497 (2023) - [i11]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 abs/2310.18217 (2023) - [i10]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 abs/2311.07462 (2023) - 2021
- [i9]Rebekka Wohlrab, David Garlan:
Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. CoRR abs/2103.10101 (2021) - 2020
- [i8]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 abs/2004.11846 (2020) - [i7]Roykrong Sukkerd, Reid G. Simmons, David Garlan:
Tradeoff-Focused Contrastive Explanation for MDP Planning. CoRR abs/2004.12960 (2020) - [i6]Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan:
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. CoRR abs/2011.04726 (2020) - 2019
- [i5]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 abs/1903.03920 (2019) - [i4]Nabor C. Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl:
Developing Self-Adaptive Microservice Systems: Challenges and Directions. CoRR abs/1910.07660 (2019) - 2017
- [i3]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) - 2013
- [i2]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports 3(12): 67-96 (2013) - 2012
- [i1]David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. CoRR abs/1210.4981 (2012)
Coauthor Index
aka: Javier Cámara Moreno
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint