♂ Person: David Garlan

DBLP: Garlan:David

Facilitated 4 volumes:

PrCo

Ed

Ed

Ed

Contributed to:

2015

2015

2015

2015

2013

2013

2011

2011

2011

2009

2009

2009

2007

2007

2006

2006

2006

2006

2005

2005

2005

2004

2004

2003

2003

2002

2002

2002

2002

2001

2001

2000

2000

1999

1998

1998

1995

1995

1994

1994

1994

1993

1993

1993

1992

1990

1987

1991

2016

2017

Wrote 64 papers:

CBSE-2015-RuchkinSG #abstraction #architecture #hybrid #source code

Architectural Abstractions for Hybrid Programs (IR, BRS, DG), pp. 65–74.

ESEC-FSE-2015-MorenoCGS #adaptation #approach #model checking #nondeterminism #probability #self

Proactive self-adaptation under uncertainty: a probabilistic model checking approach (GAM, JC, DG, BRS), pp. 1–12.

SAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self

Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.

SEFM-2015-SukkerdGS #cyber-physical

Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.

ASE-2013-BarnesPG #architecture #automation #evolution

Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.

QoSA-2013-YuanMSGG #architecture #self

Architecture-based self-protecting software systems (EY, SM, BRS, DG, JG), pp. 33–42.

ECSA-2011-CasanovaSGA #architecture #fault #runtime

Architecture-Based Run-Time Fault Diagnosis (PC, BRS, DG, RA), pp. 261–277.

ECSA-2011-DwivediEFGS #approach #architecture

An Architectural Approach to End User Orchestrations (VD, PVE, JMF, DG, BRS), pp. 370–378.

ESEC-FSE-2011-GarlanS #architecture #evolution

Software architecture: reflections on an evolving discipline (DG, MS), p. 2.

ICSE-2011-SchmerlGDBC #analysis #case study #design #framework #named #platform

SORASCS: a case study in soa-based platform design for socio-cultural analysis (BRS, DG, VD, MWB, KMC), pp. 643–652.

ICSE-2009-GarlanS #architecture #evolution #named

Ævol: A tool for defining and planning architecture evolution (DG, BRS), pp. 591–594.

SEKE-2009-GarlanCSBC #analysis #architecture #using

Using Service-oriented Architectures for Socio-Cultural Analysis (DG, KMC, BRS, MWB, OC), pp. 370–375.

WICSA-ECSA-2009-GarlanBSC #architecture #evolution #tool support

Evolution styles: Foundations and tool support for software architecture evolution (DG, JMB, BRS, OC), pp. 131–140.

ECSA-2007-Garlan #architecture

Software Architectures for Task-Oriented Computing (DG), p. 1.

ESEC-FSE-2007-LaTozaGHM #comprehension

Program comprehension as fact finding (TDL, DG, JDH, BAM), pp. 361–370.

ASE-2006-Abi-AntounANSG #architecture #difference

Differencing and Merging of Architectural Views (MAA, JA, NHN, BRS, DG), pp. 47–58.

ICSE-2006-ChengGLMTFM #adaptation #re-engineering #self

Software engineering for adaptive and self-managing systems (BHCC, DG, RdL, JM, RT, SF, HAM), pp. 1015–1016.

OOPSLA-2006-FairbanksGS #design #framework #using

Design fragments make using frameworks easier (GF, DG, WLS), pp. 75–88.

SEKE-2006-GarlanS #architecture

An Architecture for Personal Cognitive Assistance (DG, BRS), pp. 91–97.

ESEC-FSE-2005-SchmerlGY #architecture

Dynamically discovering architectures with DiscoTect (BRS, DG, HY), pp. 103–106.

ICSE-2005-Abi-AntounAGSNT #architecture #implementation #modelling

Modeling and implementing software architecture with acme and archJava (MAA, JA, DG, BRS, NHN, TT), pp. 676–677.

WICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.

WICSA-2005-Garlan #analysis #architecture #evaluation

Software Architecture Evaluation and Analysis Session Report (DG), pp. 227–228.

WICSA-2005-TivoliG #adaptation #architecture #component #synthesis

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures (MT, DG), pp. 276–277.

ICSE-2004-PoladianSGS #resource management

Dynamic Configuration of Resource-Aware Services (VP, JPS, DG, MS), pp. 604–613.

ICSE-2004-SchmerlG #architecture #development #named

AcmeStudio: Supporting Style-Centered Architecture Development (BRS, DG), pp. 704–705.

ICSE-2004-YanGSAK #architecture #named

DiscoTect: A System for Discovering Architectures from Running Systems (HY, DG, BRS, JA, RK), pp. 470–479.

WICSA-2004-ChengHGSS #architecture #coordination #multi #self

An Architecture for Coordinating Multiple Self-Management Systems (SWC, ACH, DG, BRS, PS), pp. 243–254.

WICSA-2004-RoshandelSMGZ #architecture #comprehension #modelling #trade-off

Understanding Tradeoffs among Different Architectural Modeling Approaches (RR, BRS, NM, DG, DZ), pp. 47–56.

ICSE-2003-ClementsGLNS #architecture

Documenting Software Architectures: Views and Beyond (PCC, DG, RL, RLN, JAS), pp. 740–741.

ICSE-2003-SpitznagelG #composition #formal method

A Compositional Formalization of Connector Wrappers (BS, DG), pp. 374–384.

SFM-2003-Garlan #analysis #architecture #component #formal method #modelling

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events (DG), pp. 1–24.

HPDC-2002-ChengGSSH #adaptation #architecture #grid

Software Architecture-Based Adaptation for Grid Computing (SWC, DG, BRS, PS, NH), pp. 389–398.

SEKE-2002-SchmerlG #architecture #design #self

Exploiting architectural design knowledge to support self-repairing systems (BRS, DG), pp. 241–248.

UML-2002-Garlan #exclamation

Software, Heal Thyself! (DG), p. 351.

WICSA-2002-ChengGSSSS #architecture #self #using

Using Architectural Style as a Basis for System Self-repair (SWC, DG, BRS, JPS, BS, PS), pp. 45–59.

WICSA-2002-SousaG #architecture #framework #named #ubiquitous

Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments (JPS, DG), pp. 29–43.

CBSE-2001-Garlan #architecture

Software Architecture (DG), p. 3.

CBSE-2001-GarlanS #component #pervasive #re-engineering

Component-Based Software Engineering in Pervasive Computing Environments (DG, BS), p. 10.

WICSA-2001-SpitznagelG #approach #composition

A Compositional Approach for Constructing Connectors (BS, DG), pp. 148–157.

FoSE-2000-Garlan #architecture #roadmap

Software architecture: a roadmap (DG), pp. 91–101.

UML-2000-GarlanK #architecture

Reconciling the Needs of Architectural Description with Object-Modeling Notations (DG, AK), pp. 498–512.

FM-v2-1999-SousaG #component #enterprise #formal method #framework #integration #modelling

Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework (JPS, DG), pp. 1281–1300.

FASE-1998-AllenDG #architecture #specification

Specifying and Analyzing Dynamic Software Architectures (RA, RD, DG), pp. 21–37.

FSE-1998-AllenG #analysis #component #formal method #integration #modelling #standard

Formal Modeling and Analysis of the HLA Component Integration Standard (RA, DG), pp. 70–79.

FSE-1998-GarlanJN #reasoning

Reasoning about Implicit Invocation (DG, SJ, DN), pp. 209–221.

CSEE-1995-GarlanBJTW #education #re-engineering

The CMU Master of Software Engineering Core Curriculum (DG, AWB, DJ, JET, JMW), pp. 65–86.

ICSE-1995-GarlanAO #architecture #why

Architectural Mismatch or Why It’s Hard to Build Systems Out Of Existing Parts (DG, RA, JO), pp. 179–185.

FSE-1994-GarlanAO #architecture #design

Exploiting Style in Architectural Design Environments (DG, RA, JO), pp. 175–188.

ICRE-1994-ShekaranGJMPR #architecture #requirements

The role of software architecture in requirements engineering (MCS, DG, MJ, NRM, CP, HBR), pp. 239–245.

ICSE-1994-AllenG #architecture #formal method

Formalizing Architectural Connection (RJA, DG), pp. 71–80.

ICSE-1994-GarlanA #architecture

Software Architecture: Practice, Potential, and Pitfalls (DG, DEP), pp. 363–364.

ICSE-1994-GarlanHR #research

Nico Habermann’s Research: A Brief Retrospective (DG, JFH, DN), pp. 149–153.

FSE-1993-AbowdAG #architecture #using

Using Style to Understand Descriptions of Software Architecture (GDA, RA, DG), pp. 9–20.

ICSE-1993-GarlanS #programming language

Adding Implicit Invocation to Rraditional Programming Languages (DG, CS), pp. 447–455.

RE-1993-PartridgeGBK #question

Should we specify systems or domain? (DP, DG, DRB, JK), pp. 77–80.

SEI-1992-Garlan #design #education #formal method #trade-off

Formal Methods for Software Engineers: Tradeoffs in Curriculum Design (DG), pp. 131–142.

SEI-1992-SwongerSOSG #architecture #experience

Experience with a Course on Architectures for Software Systems (RFS, CMS, CO, MS, DG), pp. 23–43.

VDME-1990-GarlanD #framework #reuse #specification

Formal Specifications as Reusable Frameworks (DG, NMD), pp. 150–163.

OOPSLA-1987-KaiserG #data flow #object-oriented #programming

MELDing Data Flow and Object-Oriented Programming (GEK, DG), pp. 254–267.

VDME-1991-GarlanN #design #formal method

Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.

ECSA-2016-SchmerlGSBMCG #analysis #android #architecture #modelling #security

Architecture Modeling and Analysis of Security in Android Systems (BRS, JG, AS, HB, SM, JC, DG), pp. 274–290.

ECSA-2017-CamaraGS #product line #synthesis #trade-off #verification

Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems (JC, DG, BRS), pp. 3–21.