David Garlan | Academic Influence

David Garlan's AcademicInfluence.com Rankings

David Garlan

Computer Science

#1149

World Rank

#1189

Historical Rank

Database

#673

World Rank

#706

Historical Rank

computer-science Degrees

Download Badge

Computer Science

David Garlan's Degrees

PhD Computer Science Carnegie Mellon University
Masters Computer Science Carnegie Mellon University
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is David Garlan Influential?

(Suggest an Edit or Addition)

According to Wikipedia, David Garlan from the Carnegie Mellon University was named Fellow of the Institute of Electrical and Electronics Engineers in 2013 for contributions to software architecture.

(See a Problem?)

David Garlan's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Software architecture - perspectives on an emerging discipline (1996) (3758)
Documenting software architectures: views and beyond (2002) (1617)
An Introduction to Software Architecture (1993) (1589)
A formal basis for architectural connection (1997) (1553)
Rainbow: architecture-based self-adaptation with reusable infrastructure (2004) (1360)
Project Aura: Toward Distraction-Free Pervasive Computing (2002) (948)
Acme: an architecture description interchange language (2010) (907)
A Formal Approach to Software Architectures (1992) (752)
Architectural Mismatch or Why it's hard to build systems out of existing parts (1995) (697)
Acme: architectural description of component-based systems (2000) (674)
Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments (2002) (658)
Architectural Mismatch: Why Reuse Is So Hard (1995) (638)
Context is key (2005) (570)
Formalizing architectural connection (1994) (517)
Specifying and Analyzing Dynamic Software Architectures (1998) (473)
Software architecture: a roadmap (2000) (451)
Exploiting style in architectural design environments (1994) (439)
Introduction to the Special Issue on Software Architecture (1995) (404)
Formalizing style to understand descriptions of software architecture (1995) (342)
Model-based adaptation for self-healing systems (2002) (337)
Using style to understand descriptions of software architecture (1993) (254)
Architecture-based self-adaptation in the presence of multiple objectives (2006) (219)
Architectural Styles, Design Patterns, And Objects (1997) (217)
Reconciling the needs of architectural description with object-modeling notations (2000) (193)
Formalizing Design Spaces: Implicit Invocation Mechanisms (1991) (183)
Proactive self-adaptation under uncertainty: a probabilistic model checking approach (2015) (178)
Dynamic configuration of resource-aware services (2004) (177)
Increasing System Dependability through Architecture-Based Self-Repair (2002) (176)
Task-based adaptation for ubiquitous computing (2006) (175)
Software engineering for adaptive and self-managing systems (2006) (172)
Stitch: A language for architecture-based self-adaptation (2012) (166)
Evaluating the effectiveness of the Rainbow self-adaptive system (2009) (142)
Formulations and Formalisms in Software Architecture (1995) (141)
Architecture-Based Performance Analysis (1998) (138)
Software engineering in an uncertain world (2010) (138)
Model Checking Publish-Subscribe Systems (2003) (135)
A compositional formalization of connector wrappers (2003) (133)
DiscoTect: a system for discovering architectures from running systems (2004) (128)
Rainbow: cost-effective software architecture-based self-adaptation (2008) (127)
Using Gauges for Architecture-Based Monitoring and Adaptation (2001) (125)
Discovering Architectures from Running Systems (2006) (123)
Software Architecture-Based Adaptation for Pervasive Systems (2002) (123)
Exploiting architectural design knowledge to support self-repairing systems (2002) (121)
Specifying Dynamism in Software Architectures (1997) (117)
Task-Driven Computing (2000) (116)
Software Architecture-Based Self-Adaptation (2009) (116)
Documenting Component and Connector Views with UML 2.0 (2004) (115)
Using tool abstraction to compose systems (1992) (114)
Program comprehension as fact finding (2007) (112)
Views for Tools in Integrated Environments (1986) (112)
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events (2003) (109)
Evolution styles: Foundations and tool support for software architecture evolution (2009) (107)
AcmeStudio: supporting style-centered architecture development (2004) (101)
Architectural Mismatch: Why Reuse Is Still So Hard (2009) (100)
Melding Software Systems from Reusable Building Blocks (1987) (100)
Using Architectural Style as a Basis for System Self-repair (2002) (100)
View Consistency in Architectures for Cyber-Physical Systems (2011) (97)
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances (2013) (96)
A compositional approach for constructing connectors (2001) (92)
Characteristics of Higher-Level Languages for Software Architecture. (1994) (90)
Formal modeling and analysis of the HLA component integration standard (1998) (87)
Supporting Heterogeneity in Cyber-Physical Systems Architectures (2014) (81)
Style-based reuse for software architectures (1996) (79)
A programming system for children that is designed for usability (2002) (78)
Low-cost, adaptable tool integration policies for integrated environments (1990) (76)
Software Architecture Documentation in Practice: Documenting Architectural Layers (2000) (76)
Analyzing architectural styles with alloy (2006) (75)
Software architecture: a travelogue (2014) (75)
Adding Implicit Invocation to Languages: Three Approaches (1993) (74)
Architecture-based self-protecting software systems (2013) (74)
Research directions in software architecture (1995) (74)
Software architecture-based adaptation for Grid computing (2002) (73)
Formal Connectors (1994) (73)
Reasoning about Human Participation in Self-Adaptive Systems (2015) (72)
Differencing and merging of architectural views (2006) (70)
Reasoning about implicit invocation (1998) (70)
Beyond definition/use: architectural interconnection (1994) (69)
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems (2009) (68)
Using Architectural Models at Runtime: Research Challenges (2004) (66)
Leveraging Resource Prediction for Anticipatory Dynamic Configuration (2007) (66)
Stochastic game analysis and latency awareness for proactive self-adaptation (2014) (63)
Analyzing architectural styles (2010) (62)
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation (2016) (59)
Agents of Change: Educating Software Engineering Leaders (1997) (56)
Experience with a Course on Architectures for Software Systems (1992) (56)
Formal Specifications as Reusable Frameworks (1990) (54)
Software architecture: practice, potential, and pitfalls (1994) (53)
GNOME: An Introductory Programming Environment Based on a Family of STructured Editors (1984) (53)
Architecture-based self-protection: composing and reasoning about denial-of-service mitigations (2014) (53)
Architecture-driven modelling and analysis (2007) (53)
Evolving an adaptive industrial software system to use architecture-based self-adaptation (2013) (53)
Making Self-Adaptation an Engineering Reality (2005) (53)
A case study in architectural modeling: the AEGIS system (1996) (52)
Higher Order Connectors (1998) (51)
Understanding tradeoffs among different architectural modeling approaches (2004) (50)
Optimal planning for architecture-based self-adaptation via model checking of stochastic games (2015) (49)
Evolution styles: foundations and models for software architecture evolution (2014) (48)
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots (2019) (47)
An architecture for coordinating multiple self-management systems (2004) (47)
Lightweight structure in text (2002) (46)
Proceedings of the first workshop on Self-healing systems (2002) (46)
Adding implicit invocation to traditional programming languages (1993) (43)
Handling Uncertainty in Autonomic Systems (2007) (43)
Style-based refinement for software architecture (1996) (42)
Improving Architecture-Based Self-Adaptation through Resource Prediction (2009) (42)
The role of software architecture in requirements engineering (1994) (42)
Hybrid Planning for Decision Making in Self-Adaptive Systems (2016) (39)
Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views (2010) (38)
Ævol: A tool for defining and planning architecture evolution (2009) (38)
Developing Self-Adaptive Microservice Systems: Challenges and Directions (2019) (37)
Task-based self-adaptation (2004) (36)
A structural approach to the maintenance of structure-oriented environments (1987) (36)
Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search (2018) (36)
An Introduction to the Aesop System (1995) (36)
Design fragments make using frameworks easier (2006) (36)
Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS (2015) (36)
Bridging the HLA: problems and solutions (2002) (35)
Model checking implicit-invocation systems (2000) (35)
Toward Distraction-Free Pervasive Computing (2002) (35)
A Practical Method for Documenting Software Architectures (2002) (35)
SASS: Self-Adaptation Using Stochastic Search (2015) (34)
The Aura software architecture : an infrastructure for ubiquitous computing (2003) (34)
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations (2016) (33)
GNOME: An introductory programming environment based on a family of structure editors (1984) (32)
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework (1999) (32)
MELDing data flow and object-oriented programming (1987) (32)
Automated planning for software architecture evolution (2013) (32)
Adaptation impact and environment models for architecture-based self-adaptive systems (2016) (32)
Contract-based integration of cyber-physical analyses (2014) (32)
A Formal Specification of an Oscilloscope (1990) (31)
Architecture-Based Run-Time Fault Diagnosis (2011) (30)
Scaling task management in space and time: reducing user overhead in ubiquitous-computing environments (2005) (30)
The Radar Architecture for Personal Cognitive Assistance (2007) (29)
Improving self-adaptation planning through software architecture-based stochastic modeling (2016) (29)
First international workshop on architectures for software systems workshop summary (1995) (28)
Design fragments make using frameworks easier (2006) (28)
Candidate Model Problems in Software Architecture (1994) (28)
Summary of the Dagstuhl workshop on software architecture (1995) (28)
Incorporating architecture-based self-adaptation into an adaptive industrial software system (2016) (28)
Augmenting Software Architectures with Physical Components (2010) (28)
User Guidance of Resource-Adaptive Systems (2008) (28)
How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems (2020) (27)
Large-Scale Complex IT Systems. Development, Operation and Management (2012) (27)
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation (2018) (27)
SORASCS: a case study in soa-based platform design for socio-cultural analysis (2011) (27)
TransformGen: automating the maintenance of structure-oriented environments (1994) (26)
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511) (2013) (25)
Component-Based Software Engineering in Pervasive Computing Environments (2001) (25)
Formal modeling of the Enterprise JavaBeans(TM) component integration framework (2001) (24)
SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications (2018) (24)
Formally specifying electronic instruments (1989) (24)
Using Service-oriented Architectures for Socio-Cultural Analysis (2009) (23)
The CMU Master of Software Engineering Core Curriculum (1995) (23)
Using empirical testbeds to accelerate technology maturity and transition: the SCRover experience (2004) (23)
Diagnosing architectural run-time failures (2013) (23)
Mapping Architectural Concepts to UML-RT (2001) (23)
Toward Explainable Multi-Objective Probabilistic Planning (2018) (23)
Model-Based Adaptation for Robotics Software (2019) (22)
Towards a Formal Treatment of Implicit Invocation (1997) (22)
Software Architecture and Object-Oriented Systems (2000) (22)
Activity-Oriented Computing (2008) (22)
Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices (2018) (22)
Improving Architecture-Based Self-adaptation Using Preemption (2009) (20)
The role of formal reusable frameworks (1990) (20)
Uncertainty Reduction in Self-Adaptive Systems (2018) (20)
DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems (2019) (20)
Impact Models for Architecture-Based Self-adaptive Systems (2014) (20)
Formal Methods for Software Architectures (2003) (20)
Diagnosing unobserved components in self-adaptive systems (2014) (20)
Towards engineered architecture evolution (2009) (20)
Documenting Software Architecture: Documenting Interfaces (2002) (20)
Flexible unparsing in a structure editing environment (1985) (19)
Acme-Based Software Architecture Interchange (1999) (19)
Using parameters in architectural views to support heterogeneous design and verification (2011) (19)
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems (2006) (19)
Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation (2018) (18)
Rapid development of custom software architecture design environments (1999) (18)
Modeling of Architectures with UML (Panel) (2000) (17)
Modeling and implementing software architecture with Acme and ArchJava (2005) (17)
Architectures for Software Systems (1995) (17)
Tradeoff-Focused Contrastive Explanation for MDP Planning (2020) (17)
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning (1998) (17)
Resolving Data Mismatches in End-User Compositions (2013) (16)
A 10-year perspective on software engineering self-adaptive systems (keynote) (2013) (16)
Uncertainty in Self-Adaptive Systems: Categories, Management, and Perspectives (2017) (16)
A feasibility study of the HLA bridge (2001) (16)
Foundations and Tools for End-User Architecting (2012) (16)
Architectural abstractions for hybrid programs (2015) (16)
Time is Not Money: The Case for Multi-dimensional Accounting in Value-based Software Engineering (2003) (16)
Documenting Software Architecture: Documenting Behavior (2002) (16)
A transformational approach to generating application-specific environments (1992) (15)
Explanations for human-on-the-loop: a probabilistic model checking approach (2020) (15)
Formal Approaches to Software Architecture (1993) (15)
Making formal methods education effective for professional software engineers (1995) (15)
Modeling and simulating a software architecture design space (1997) (15)
Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation (2005) (15)
Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems (WOSS '02) : November 18-19, 2002, Charleston, South Carolina, USA (2002) (15)
Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs (2019) (15)
Architecture Modeling and Analysis of Security in Android Systems (2016) (14)
Towards Formalized Software Architectures (1992) (14)
Kubow: an architecture-based self-adaptation service for cloud native applications (2019) (14)
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs (2018) (14)
Stylized Architecture, Design Patterns, and Objects (1996) (14)
SIGSOFT'96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Fransisco, CA, 16-18 October 1996 (1996) (13)
Model-Based Analysis of Microservice Resiliency Patterns (2020) (13)
Integrating Formal Methods into a Professional Master of Software Engineering Program (1994) (13)
Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems (2004) (13)
Software Selection and Configuration in Mobile Environments: A Utility-Based Approach (2002) (13)
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach (2015) (13)
Architecture-Based Self-Adaptation for Moving Target Defense (CMU-ISR-14-109) (2014) (13)
Coordination Languages and Models (1996) (13)
Challenges in physical modeling for adaptation of cyber-physical systems (2016) (12)
Compositional transformation of software connectors (2004) (12)
ACTIVE: A Tool for Integrating Analysis Contracts (2014) (12)
Bridging the Gap between Systems Design and Space Systems Software (2005) (12)
Evaluating Trade-Offs of Human Involvement in Self-Adaptive Systems (2017) (12)
Developing adaptive systems with synchronized architectures (2006) (11)
Software Engineering for Self-Adaptive Systems : Assurances (2014) (11)
Formal Modeling and Analysis of the HLA RTI (1997) (11)
SEAMS 2009: Software engineering for adaptive and self-managing systems (2009) (11)
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems (2017) (11)
Using Multiple Views to Model and Analyze Software Architecture : An Experience Report (2003) (11)
Formal Methods for Software Engineers: Tradeoffs in Curriculum Design (1992) (11)
Analyzing Self-Adaptation Via Model Checking of Stochastic Games (2013) (11)
Guest Editorial. Introduction to the Special Section (1998) (10)
Styles-Formal foundations and tool support for software architecture evolution (2008) (10)
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling (2020) (10)
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems (2019) (10)
Architecture-based Simulation for Security and Performance (2006) (10)
Improving system dependability by enforcing architectural intent (2005) (10)
Tailoring configuration to user's tasks under uncertainty (2008) (10)
Synthesizing programming environments from reusable features (1989) (10)
A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs (2008) (9)
Agents of Change : Educating Future Leaders in Software Engineering (2000) (9)
Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems (2015) (9)
Augmenting Architectural Modeling to Cope with Uncertainty (2007) (9)
Giving Users the Steering Wheel for Guiding Resource-Adaptive Systems (2005) (9)
Dynamically discovering architectures with DiscoTect (2005) (9)
Documenting Software Architectures: Recommendations for Industrial Practice (2000) (8)
What Is Style? (2018) (8)
From Computers Everywhere to Tasks Anywhere : The Aura Approach (2002) (8)
Table of Contents (2000) (8)
Software architecture and task plan co-adaptation for mobile service robots (2020) (8)
Measuring Attack Surface in Software Architecture (2012) (8)
Self-Adaptation for Machine Learning Based Systems (2021) (8)
Mining guidelines for architecting robotics software (2021) (7)
Challenges in developing a software architecture evolution tool as a plug-in (2013) (7)
Towards bridging the gap between control and self-adaptive system properties (2020) (7)
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation (2017) (7)
Architectural unification (1997) (7)
IPL: An Integration Property Language for Multi-model Cyber-physical Systems (2018) (7)
Preconditions for understanding (1991) (7)
Foundations of Software Engineering (FSE-10) (2002) (7)
Improving User-Awareness by Factoring it Out of Applications (2003) (7)
An Architectural Approach to End User Orchestrations (2011) (7)
A behavioral notion of robustness for software systems (2020) (7)
Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software (2017) (7)
Beyond Desktop Management: Scaling Task Management in Space and Time (2004) (7)
Improving system dependability by enforcing architectural intent (2005) (7)
Formal Verification of Autonomous Systems NASA Intelligent Systems Program (2001) (7)
Bridging the Gap between Systems Design (2005) (6)
RAIDE for engineering architecture-based self-adaptive systems (2009) (6)
Six Software Engineering Principles for Smarter Cyber-Physical Systems (2021) (6)
Using Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience (2003) (6)
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster] (2016) (6)
Design fragments (2007) (6)
Discovering Architectures from Running Systems: Lessons Learned (2004) (6)
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) (2010) (6)
Synchronized architectures for adaptive systems (2005) (6)
Software Architecture (2008) (6)
Modeling Challenges for CPS Systems (2015) (6)
Building Reusable Repertoires for Stochastic Self-* Planners (2020) (6)
Hybrid Planning Using Learning and Model Checking for Autonomous Systems (2020) (6)
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems (2020) (6)
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems (2015) (5)
Hey! Preparing Humans to do Tasks in Self-adaptive Systems (2021) (5)
Trade-Off-Oriented Development: Making Quality Attribute Trade-Offs First-Class (2019) (5)
Formulations and Formalisms in Software Architecture ? 1 Status and Needs of Software Architecture (1995) (5)
Software Architecture: Perspectives on an Engineering Discipline (1996) (5)
Information Reuse and Stochastic Search (2021) (5)
Formalizing Architectural Connection* Research Paper (1994) (5)
Measuring Attack Surface in Software Architecture (CMU-ISR-11-121) (2012) (5)
Managing safety and mission completion via collective run-time adaptation (2019) (5)
Multiscale Time Abstractions for Long-Range Planning under Uncertainty (2016) (5)
Building whole applications using only programming-by-demonstration (1999) (5)
Documenting Software Architectures: Organization of Documentation Package (2001) (5)
Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach (2021) (5)
Architectural Style: An Object-Oriented Approach (1996) (5)
Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions (2014) (4)
An Automated Approach to Management of a Collection of Autonomic Systems (2019) (4)
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems (2007) (4)
Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering (1996) (4)
Exploiting Architectural Style for Self-repairing Systems (2001) (4)
A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems (2022) (4)
Errata: a formal basis for architectural connection (1998) (4)
Modeling observability in adaptive systems to defend against advanced persistent threats (2019) (4)
Extending IDL to support concurrent views (1987) (4)
Architecture-Based Planning of Software Evolution (2014) (4)
DiscoTect: A System for Discovering the Architectures of Running Programs using Colored Petri Nets (2006) (4)
Instance-Based Learning for Hybrid Planning (2017) (4)
Aura: Distraction-Free Ubiquitous Computing (2001) (4)
Half a Century of Software Engineering Education: The CMU Exemplar (2018) (4)
Semantic Issues in Architectural Refinement (2004) (4)
An Activity Language for the ADL Toolkit (2000) (3)
Engineering Secure Self-Adaptive Systems with Bayesian Games (2021) (3)
A model-based approach to anomaly detection in software architectures (2016) (3)
Task Planning of Cyber-Human Systems (2015) (3)
Seminal Papers in Software Engineering: The Carnegie Mellon Canonical Collection (2015) (3)
Should we specify systems or domain? (1993) (3)
Two-tiered Architectural Design for Automotive Control Systems : An Experience Report (2003) (3)
Software architecture: reflections on an evolving discipline (2011) (3)
Architecture Based Information Flow Analysis for Software Security (2007) (3)
Steps toward activity-oriented computing (2008) (3)
Toward Compositional Construction of Complex Connectors (2000) (3)
Software Development Assignments for a Software Architecture Course (1995) (3)
Self-Healing Systems (2014) (3)
Software architecture (panel): next steps towards an engineering discipline for software systems design (1995) (3)
Modeling Uncertainty of Predictive Inputs in Anticipatory Dynamic Configuration (2007) (2)
Integrating Components into SORASCS (2010) (2)
Valuation of Architecture-based Deterministic Plan for Software Evolution (2009) (2)
Discovering Architectures from Running Systems using Colored Petri Nets (2005) (2)
Preconditions for understanding (formal specification) (1991) (2)
Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (2004) (2)
Emerging issues (session summary) (1990) (2)
DEAS 2005: workshop on the design and evolution of autonomic application software (2005) (2)
An Architecture for Personal Cognitive Assistance (2006) (2)
Modeling and implementing software architecture with acme and archJava (2004) (2)
The uncertainty interaction problem in self-adaptive systems (2022) (2)
The Wright Architectural Speci cation Language (1996) (2)
Utility Theory for Self-Adaptive Systems (2017) (2)
Domain Specifications Require First Class Connectors (1993) (2)
Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems (2021) (2)
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (2005) (2)
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures (2005) (2)
Invited Talk: Rainbow: Engineering Support for Self-Healing Systems (2009) (2)
An architecture style for Android security analysis: poster (2015) (2)
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems (2021) (2)
Software Architecture: Practice, Potential, and Pitfalls Panel Introduction (1994) (2)
Software Architecture: Perspectives on a Maturing Discipline (2007) (2)
Evolution styles: foundations and models for software architecture evolution (2012) (2)
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems (2022) (2)
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction (2023) (1)
AlloyMax: bringing maximum satisfaction to relational specifications (2021) (1)
Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002 (2002) (1)
Chapter 1 Software Architecture-Based Self-Adaptation (2008) (1)
An Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design Position submitted to Auto-CPS 2010 (2010) (1)
GENIE: Developing and Assessing State-of-the-Art Integrated Programming Environments (1992) (1)
Architectural Modeling of Ozone Widget Framework End-User Compositions (CMU-ISR-14-108) (2014) (1)
ASCENT: Application-Specific Environment Transformer (1992) (1)
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata (2022) (1)
Architecture-Based Self-Adaptation (2017) (1)
MELD/ Features: An Object-Oriented Approach to Reusable Software (1986) (1)
RAINBOW: Architecture-Based Adaptation of Complex Systems (2005) (1)
Software Engineering: Reflections on an Evolving Discipline (2014) (1)
Integrated programming environments based on structure editing (panel session) (1986) (1)
TaskPort : A Task Management Interface in an Intelligent Cognitive Assistant System Yili (2004) (1)
Verification Tools for Embedded Systems (2001) (1)
Dependable autonomous systems = knowing well what to do + knowing how to do it well (2001) (1)
Making Architectural Analysis Reasonable (1998) (1)
why Reuse Is So Hard (2010) (1)
Self-adaptive Machine Learning Systems: Research Challenges and Opportunities (2021) (1)
Architecture-driven Modelling and Analysis 1 (2006) (1)
Hybrid Planning For Self-Adaptation (2016) (1)
Kubow (2019) (1)
Formal Modeling and Analysis of Architectural Standards (2000) (1)
SEI Workshop on Software Architecture Representation, 16-17 January 2001 (2001) (1)
Session Summary - Emerging Issues (1989) (1)
Architectural Modeling and Analysis of Cyber-Physical Systems (2010) (1)
Architectures for Software Systems: A Curriculum Development Proposal in Undergraduate Software Engineering (1993) (1)
Automated Management of Collections of Autonomic Systems (2020) (1)
The Architect The Recovery of Runtime Architectures (2004) (1)
Programming environments based on structure editing: The GNOME approach (2010) (1)
Using framework interfaces with design fragments (2006) (1)
Table of Contents International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007) (2007) (1)
Applying Autonomic Diagnosis at Samsung Electronics (2013) (1)
Bridging the HLA : A Case Study in Composing Publish-Subscribe Systems (2001) (1)
A Case Study in Software Architecture Interchange (2015) (1)
DEAS 2005: workshop on the design and evolution of autonomic application software (2005) (1)
Foreword by David Garlan (2017) (1)
Proceedings of the First ACM SIGSOFT Workshop on Self-Managing Systems (WOSS '04) : October 31-November 1, 2004, Newport Beach, CA, USA (2004) (1)
Coordination languages and models : Second International Conference COORDINATION '97, Berlin, Germany, September 1-3 1997 : proceedings (1997) (1)
Software Architecture Evaluation and Analysis Session Report (2005) (1)
Software Engineering: Reflections on an Evolving Discipline Ingeniería de software: Reflexiones sobre una disciplina en evolución (2014) (1)
Software Platforms for Smart Building Ecosystems: Understanding the Key Architectural Capabilities and Trade-offs (CMU-ISR-13-104) (2013) (1)
Detecting insider threats in software systems using graph models of behavioral paths (2015) (1)
The Role Of Formalized Domain-specific Software Frameworks (1989) (1)
Tool Support for Two-Tiered Architectural Design for Automotive Control Systems (2004) (1)
SWiFT: A Tool for Constructing Workflows for Dynamic Network Analysis (2011) (1)
Proceedings of the 41st International Conference on Software Engineering (1999) (1)
Appendix For paper “ IPL : An Integration Property Language for Multi-Model Cyber-Physical Systems ” (2018) (1)
A Probabilistic Model for Personality Trait Focused Explainability (2021) (0)
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management (2012) (0)
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs (2018) (0)
Session 1: NASA Software Working Group Report Session 2: Software Release (2005) (0)
A Quantitative Approach to Analyzing Architectures in the Presence of Uncertainty (2009) (0)
Supporting Heterogeneity in Cyber-Physical (2014) (0)
FOCUS: BUILDING LONG-LIVED ADAPTIVE SYSTEMS (2019) (0)
Title : CPS : Medium : GOALI : An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems ( Award # 1035800 ) Authors : (2013) (0)
The Unknown Unknowns Are Not Totally Unknown (2021) (0)
What Ails End-User Composition: A Cross-Domain Qualitative Study (2017) (0)
Software Architectures for Task-Oriented Computing (2007) (0)
MELD: A Multi-Paradigm Language with Objects, Dataflow and Modules (1987) (0)
Interconnection of Heterogeneous CPS Models Through Architectural Views (2012) (0)
Deened a New Relation in the Context of -calculus, a Very Well-known Process Algebra. 6 Case Study: an Ftp Server Connector (0)
AD-A 2 7 7 611 computer Science Formal Connectors (0)
Hyper-parameter Tuning for Adversarially Robust Models (2023) (0)
Towards a Framework for Adapting Machine Learning Components (2022) (0)
Author index (2009) (0)
End User Orchestrations (2010) (0)
Many domains require end users to compose functionality to automate tasks, procedures, analyses, etc. This activity is similar to architecting: (2012) (0)
Stochastic Game Analysis and Latency Awareness for Self-Adaptation (2014) (0)
Draft, Submitted for Publication a Case Study in Software Architecture Interchange (2000) (0)
Using Medical Devices to Teach Formal Modeling (2007) (0)
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee (2017) (0)
Building Long-Lived Adaptive Systems (2019) (0)
C Flexible Unparsing in a Structure Editing Environment (2015) (0)
AD-A 263 986 Reactive Integration for Traditional Programming Languages (0)
How Bct Works Software Composition (0)
Quantitative underpinnings of secure, graceful degradation: poster (2018) (0)
Proceedings of the Working IEEE/IFIP Conference on Software Architecture, February 18-22, 2008, Vancouver, BC, Canada (2007) (0)
Using the SORASCS Prototype Web Portal (2010) (0)
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), Boston, Massachusetts, USA, July 1-3, 2009 (1999) (0)
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006 (2006) (0)
Documenting Architecture: Interfaces (2002) (0)
Coordinating Adaptations in Self-managing Systems (0)
Modeling and implementing software architecture with acme and archJava (2004) (0)
Nico Habermann's research: a brief retrospective (1994) (0)
Analysis Contracts for Cyber-Physical Systems (2014) (0)
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel) (1995) (0)
Appendix A : A CME Description of Design Fragment (2007) (0)
SIGSOFT'96 post mortem (1997) (0)
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10) (2017) (0)
Computer Science for Practicing Engineers: Computer Science for Everyone Else (CMU-ISR-11-115) (2011) (0)
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004 (2004) (0)
Towards a Formalization of Connector Wrapping (2002) (0)
A Technology Investigation Supporting Software Architecture and Analysis for Evolution (2001) (0)
6 References 5 Recap and Future Work Flavor Created by Stacking Operation Flavored Layers 4.1 the Brute-force Approach 4.2 a Layered Approach 4.3 a Model of Flavored Operations (1995) (0)
Invited Talk - Engineering Self-Healing and Self-Improving Systems (2011) (0)
Software Architectures (Dagstuhl Seminar 9508) (2021) (0)
Evaluating Trade-O ff s of Human Involvement in Self-Adaptive Systems (2015) (0)
Au th or ' s pe rs on al co py Developing adaptive systems with synchronized architectures q (2006) (0)
The Future of Software Architecture (2015) (0)
Style-based Reenement for Software Architecture (1996) (0)
F ORMAL M ODELING OF THE E NTERPRISE J AVAB EANS TM C OMPONENT I NTEGRA T ION F RAMEWORK (1999) (0)
Introduction to the Special Issue on Software Architecture Draft: Do Not Distribute (1998) (0)
Call for Tutorials and Workshops Sixth International Conference on Formal Engineering Methods (ICFEM 2004) (2004) (0)
Architectural Uniﬁcation (2000) (0)
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper (2022) (0)
Panel: Software Engineering: Graduate Education And Research Issues (1997) (0)
A Probabilistic Model for Effective Explainability Based on Personality Traits (2021) (0)
Proceedings of the Second International Conference on Coordination Languages and Models (1997) (0)
ACME: A Basis for Architecture Exchange (2003) (0)
Three Problem Areas Common to Autonomous and Embedded System (2001) (0)
Fault Management Architecture Assessment (2012) (0)
Software, Heal Thyself! (2002) (0)
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots (2023) (0)
Modeling and Analysis of Explanation for Secure Industrial Control Systems (2022) (0)
Reactive Integration for Traditional Programming Languages (1992) (0)
Making Architecture Optimization Transparent with Tactic-Based Explanations (2022) (0)
Dynamic Architecture-Based Monitoring (2001) (0)
Development Environments for Software Architecture (1992) (0)
Olympic café, Bob (2005) (0)
Style-Based Re(cid:12)nement for Software Architecture (1999) (0)
Extending Aura with an Augmented Reality Interface (2007) (0)
and their application to prototyping concurrent timed systems, Unpublished draft of March 1992. (0)
Topic: Emerging V&V Tools, Techniques, and Processes for Complex Systems Title: Multi-View Consistency in Architectures for Cyber-Physical Systems Authors: (2011) (0)
Fall 2014 SEI Research Review Contract-Based Integration of CPS Analyses (2014) (0)
Contract-Based Integration of Cyber-Physical Analyses (Poster) (2014) (0)
The Fourth Symposium on the Foundations of Software Engineering (FSE4) (1996) (0)
Guest Editors' Introduction: 1999 International Conference on Software Engineering (2001) (0)
CMU CS 17-651 & 17-751 Models of Software Systems Fall 2007 (2007) (0)
Explaining quality attribute tradeoffs in automated planning for self-adaptive systems (2022) (0)
DEAS2005: Workshop on theDesign andEvolution ofAutonomic Application Software (2005) (0)
Using Refinement to Understand Architectural Connection (1994) (0)
Pervasive Computing and Its Application to Traffic Collision and Congestion Control (2018) (0)
Electronic Communications of the EASST Volume 21 ( 2009 ) Proceedings of the 3 rd International Workshop on Multi-Paradigm Modeling ( MPM 2009 ) An Architectural Approach to the Design and Analysis of Cyber-Physical Systems (2007) (0)
Proceedings - International Conference on Software Engineering: Foreword (2010) (0)
The Wright Architectural Speci cation (1996) (0)

This paper list is powered by the following services:

Other Resources About David Garlan

en.wikipedia.org

What Schools Are Affiliated With David Garlan?

David Garlan is affiliated with the following schools: