| 2008 |
|---|
| 115 | EE | David Garlan:
Software Architectures for Task-Oriented Computing.
ACIS-ICIS 2008: 3 |
| 114 | | 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 |
| 113 | EE | João Pedro Sousa,
Vahe Poladian,
David Garlan,
Bradley R. Schmerl,
Peter Steenkiste:
Steps toward activity-oriented computing.
IPDPS 2008: 1-5 |
| 112 | EE | David Garlan:
Software Architecture.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 111 | EE | 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 |
|---|
| 110 | EE | David Garlan:
Software Architectures for Task-Oriented Computing.
ECSA 2007: 1 |
| 109 | EE | Thomas D. LaToza,
David Garlan,
James D. Herbsleb,
Brad A. Myers:
Program comprehension as fact finding.
ESEC/SIGSOFT FSE 2007: 361-370 |
| 108 | EE | 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 |
| 107 | EE | Vahe Poladian,
David Garlan,
Mary Shaw,
M. Satyanarayanan,
Bradley R. Schmerl,
João Pedro Sousa:
Leveraging Resource Prediction for Anticipatory Dynamic Configuration.
SASO 2007: 214-223 |
| 106 | EE | David Garlan,
Bradley R. Schmerl:
The Radar Architecture for Personal Cognitive Assistance.
International Journal of Software Engineering and Knowledge Engineering 17(2): 171-190 (2007) |
| 2006 |
|---|
| 105 | EE | Marwan Abi-Antoun,
Jonathan Aldrich,
Nagi H. Nahas,
Bradley R. Schmerl,
David Garlan:
Differencing and Merging of Architectural Views.
ASE 2006: 47-58 |
| 104 | EE | 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 |
| 103 | EE | George Fairbanks,
David Garlan,
William L. Scherlis:
Design fragments make using frameworks easier.
OOPSLA 2006: 75-88 |
| 102 | EE | George Fairbanks,
David Garlan,
William L. Scherlis:
Using framework interfaces with design fragments.
OOPSLA Companion 2006: 718 |
| 101 | EE | George Fairbanks,
David Garlan,
William L. Scherlis:
Design fragments make using frameworks easier.
OOPSLA Companion 2006: 762-763 |
| 100 | EE | Jung Soo Kim,
David Garlan:
Analyzing architectural styles with alloy.
ROSATEA 2006: 70-80 |
| 99 | | David Garlan,
Bradley R. Schmerl:
An Architecture for Personal Cognitive Assistance.
SEKE 2006: 91-97 |
| 98 | EE | 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) |
| 97 | EE | Tiberiu Seceleanu,
David Garlan:
Developing adaptive systems with synchronized architectures.
Journal of Systems and Software 79(11): 1514-1526 (2006) |
| 2005 |
|---|
| 96 | | 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 |
| 95 | EE | Tiberiu Seceleanu,
David Garlan:
Synchronized Architectures for Adaptive Systems.
COMPSAC (2) 2005: 146-151 |
| 94 | EE | Bradley R. Schmerl,
David Garlan,
Hong Yan:
Dynamically discovering architectures with DiscoTect.
ESEC/SIGSOFT FSE 2005: 103-106 |
| 93 | EE | 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 |
| 92 | EE | 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 |
| 91 | EE | David Garlan,
William K. Reinholtz,
Bradley R. Schmerl,
Nicholas D. Sherman,
Tony Tseng:
Bridging the Gap between Systems Design.
SEW 2005: 34-46 |
| 90 | EE | Shang-Wen Cheng,
David Garlan,
Bradley R. Schmerl:
Making Self-Adaptation an Engineering Reality.
Self-star Properties in Complex Information Systems 2005: 158-173 |
| 89 | EE | David Garlan:
Software Architecture Evaluation and Analysis Session Report.
WICSA 2005: 227-228 |
| 88 | EE | 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 |
| 87 | EE | Massimo Tivoli,
David Garlan:
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.
WICSA 2005: 276-277 |
| 86 | EE | 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 Software Engineering Notes 30(4): 1 (2005) |
| 85 | EE | Marwan Abi-Antoun,
Jonathan Aldrich,
David Garlan,
Bradley R. Schmerl,
Nagi H. Nahas,
Tony Tseng:
Improving system dependability by enforcing architectural intent.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 84 | EE | Joëlle Coutaz,
James L. Crowley,
Simon Dobson,
David Garlan:
Context is key.
Commun. ACM 48(3): 49-53 (2005) |
| 2004 |
|---|
| 83 | | 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 |
| 82 | EE | David Garlan,
Bradley R. Schmerl:
Using Architectural Models at Runtime: Research Challenges.
EWSA 2004: 200-205 |
| 81 | EE | 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 |
| 80 | EE | Hong Yan,
David Garlan,
Bradley R. Schmerl,
Jonathan Aldrich,
Rick Kazman:
DiscoTect: A System for Discovering Architectures from Running Systems.
ICSE 2004: 470-479 |
| 79 | EE | Vahe Poladian,
João Pedro Sousa,
David Garlan,
Mary Shaw:
Dynamic Configuration of Resource-Aware Services.
ICSE 2004: 604-613 |
| 78 | EE | Bradley R. Schmerl,
David Garlan:
AcmeStudio: Supporting Style-Centered Architecture Development.
ICSE 2004: 704-705 |
| 77 | EE | 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 |
| 76 | EE | Jonathan Aldrich,
David Garlan,
Bradley R. Schmerl,
Tony Tseng:
Modeling and implementing software architecture with acme and archJava.
OOPSLA Companion 2004: 156-157 |
| 75 | EE | Jonathan Aldrich,
David Garlan,
Bradley R. Schmerl,
Tony Tseng:
Modeling and implementing software architecture with acme and archJava.
OOPSLA Companion 2004: 6-7 |
| 74 | EE | 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 |
| 73 | EE | Roshanak Roshandel,
Bradley R. Schmerl,
Nenad Medvidovic,
David Garlan,
Dehua Zhang:
Understanding Tradeoffs among Different Architectural Modeling Approaches.
WICSA 2004: 47-56 |
| 72 | EE | David Garlan,
Vahe Poladian,
Bradley R. Schmerl,
João Pedro Sousa:
Task-based self-adaptation.
WOSS 2004: 54-57 |
| 71 | EE | David Garlan,
Shang-Wen Cheng,
An-Cheng Huang,
Bradley R. Schmerl,
Peter Steenkiste:
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure.
IEEE Computer 37(10): 46-54 (2004) |
| 2003 |
|---|
| 70 | EE | Bridget Spitznagel,
David Garlan:
A Compositional Formalization of Connector Wrappers.
ICSE 2003: 374-384 |
| 69 | EE | Paul C. Clements,
David Garlan,
Reed Little,
Robert L. Nord,
Judith A. Stafford:
Documenting Software Architectures: Views and Beyond.
ICSE 2003: 740-741 |
| 68 | EE | David Garlan:
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.
SFM 2003: 1-24 |
| 67 | EE | David Garlan,
Serge Khersonsky,
Jung Soo Kim:
Model Checking Publish-Subscribe Systems.
SPIN 2003: 166-180 |
| 2002 |
|---|
| 66 | | 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 |
| 65 | EE | 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 |
| 64 | EE | Jürgen Dingel,
David Garlan,
Craig Damon:
Bridging the HLA: Problems and Solutions.
DS-RT 2002: 33-42 |
| 63 | EE | Shang-Wen Cheng,
David Garlan,
Bradley R. Schmerl,
Peter Steenkiste,
Ningning Hu:
Software Architecture-Based Adaptation for Grid Computing.
HPDC 2002: 389-398 |
| 62 | EE | Bradley R. Schmerl,
David Garlan:
Exploiting architectural design knowledge to support self-repairing systems.
SEKE 2002: 241-248 |
| 61 | EE | David Garlan:
Software, Heal Thyself!
UML 2002: 351 |
| 60 | EE | David Garlan,
Shang-Wen Cheng,
Bradley R. Schmerl:
Increasing System Dependability through Architecture-Based Self-Repair.
WADS 2002: 61-89 |
| 59 | | João Pedro Sousa,
David Garlan:
Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments.
WICSA 2002: 29-43 |
| 58 | | 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 |
| 57 | EE | David Garlan,
Bradley R. Schmerl:
Model-based adaptation for self-healing systems.
WOSS 2002: 27-32 |
| 56 | EE | 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 |
|---|
| 55 | EE | David Garlan:
Aura: Distraction-Free Ubiquitous Computing.
EHCI 2001: 1-2 |
| 54 | EE | Bridget Spitznagel,
David Garlan:
A Compositional Approach for Constructing Connectors.
WICSA 2001: 148-157 |
| 53 | EE | 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) |
| 52 | | João Pedro Sousa,
David Garlan:
Formal modeling of the Enterprise JavaBeans(TM) component integration framework.
Information & Software Technology 43(3): 171-188 (2001) |
| 2000 |
|---|
| 51 | EE | David Garlan:
Software architecture: a roadmap.
ICSE - Future of SE Track 2000: 91-101 |
| 50 | EE | David Garlan,
Serge Khersonsky:
Model Checking Implicit-Invocation Systems.
IWSSD 2000: 23-30 |
| 49 | EE | David Garlan,
Andrew Kompanek:
Reconciling the Needs of Architectural Description with Object-Modeling Notations.
UML 2000: 498-512 |
| 48 | EE | Thomas Weigert,
David Garlan,
John Knapman,
Birger Møller-Pedersen,
Bran Selic:
Modeling of Architectures with UML (Panel).
UML 2000: 556-569 |
| 1999 |
|---|
| 47 | EE | David Garlan,
Zhenyu Wang:
Acme-Based Software Architecture Interchange.
COORDINATION 1999: 340-354 |
| 46 | EE | João Pedro Sousa,
David Garlan:
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework.
World Congress on Formal Methods 1999: 1281-1300 |
| 1998 |
|---|
| 45 | EE | Robert Allen,
Rémi Douence,
David Garlan:
Specifying and Analyzing Dynamic Software Architectures.
FASE 1998: 21-37 |
| 44 | EE | David Garlan,
Somesh Jha,
David Notkin:
Reasoning about Implicit Invocation.
SIGSOFT FSE 1998: 209-221 |
| 43 | EE | Robert Allen,
David Garlan:
Formal Modeling and Analysis of the HLA Component Integration Standard.
SIGSOFT FSE 1998: 70-79 |
| 42 | EE | Robert Allen,
David Garlan:
Errata: A Formal Basis for Architectural Connection.
ACM Trans. Softw. Eng. Methodol. 7(3): 333-334 (1998) |
| 41 | EE | Jürgen Dingel,
David Garlan,
Somesh Jha,
David Notkin:
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.
Formal Asp. Comput. 10(3): 193-213 (1998) |
| 1997 |
|---|
| 40 | | David Garlan,
Daniel Le Métayer:
Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings
Springer 1997 |
| 39 | EE | Ralph E. Melton,
David Garlan:
Architectural unification.
CASCON 1997: 18 |
| 38 | EE | David Garlan,
Robert T. Monroe,
David Wile:
Acme: an architecture description interchange language.
CASCON 1997: 7 |
| 37 | EE | Robert Allen,
David Garlan:
A Formal Basis for Architectural Connection.
ACM Trans. Softw. Eng. Methodol. 6(3): 213-249 (1997) |
| 36 | | David Garlan,
David P. Gluch,
James E. Tomayko:
Agents of Change: Educating Software Engineering Leaders.
IEEE Computer 30(11): 59-65 (1997) |
| 35 | | Robert T. Monroe,
Andrew Kompanek,
Ralph E. Melton,
David Garlan:
Architectural Styles, Design Patterns, And Objects.
IEEE Software 14(1): 43-52 (1997) |
| 1995 |
|---|
| 34 | | 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 |
| 33 | EE | David Garlan,
Robert Allen,
John Ockerbloom:
Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts.
ICSE 1995: 179-185 |
| 32 | EE | David Garlan:
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel).
SIGSOFT FSE 1995: 5 |
| 31 | | Mary Shaw,
David Garlan:
Formulations and Formalisms in Software Architecture.
Computer Science Today 1995: 307-323 |
| 30 | | David Garlan:
Research Directions on Software Architecture.
ACM Comput. Surv. 27(2): 257-261 (1995) |
| 29 | EE | Gregory D. Abowd,
Robert J. Allen,
David Garlan:
Formalizing Style to Understand Descriptions of Software Architecture.
ACM Trans. Softw. Eng. Methodol. 4(4): 319-364 (1995) |
| 28 | EE | David Garlan,
Robert Allen,
John Ockerbloom:
Architectural Mismatch: Why Reuse Is So Hard.
IEEE Software 12(6): 17-26 (1995) |
| 27 | EE | David Garlan,
Dewayne E. Perry:
Introduction to the Special Issue on Software Architecture.
IEEE Trans. Software Eng. 21(4): 269-274 (1995) |
| 1994 |
|---|
| 26 | EE | David Garlan,
J. Frits Habermann,
David Notkin:
Nico Habermann's Research: A Brief Retrospective.
ICSE 1994: 149-153 |
| 25 | EE | David Garlan,
Dewayne E. Perry:
Software Architecture: Practice, Potential, and Pitfalls.
ICSE 1994: 363-364 |
| 24 | EE | Robert J. Allen,
David Garlan:
Formalizing Architectural Connection.
ICSE 1994: 71-80 |
| 23 | EE | David Garlan,
Robert Allen,
John Ockerbloom:
Exploiting Style in Architectural Design Environments.
SIGSOFT FSE 1994: 175-188 |
| 22 | | Robert J. Allen,
David Garlan:
Beyond Definition/Use: Architectural Interconnection.
Workshop on Interface Definition Languages 1994: 35-45 |
| 21 | | David Garlan:
Integrating Formal Methods into a Professional Master of Software Engineering Program.
Z User Workshop 1994: 71-85 |
| 20 | EE | 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) |
| 1993 |
|---|
| 19 | EE | David Garlan,
Curtis Scott:
Adding Implicit Invocation to Rraditional Programming Languages.
ICSE 1993: 447-455 |
| 18 | | David Garlan:
Formal Approaches to Software Architecture.
ICSE Workshop on Studies of Software Design 1993: 64-76 |
| 17 | | David Notkin,
David Garlan,
William G. Griswold,
Kevin J. Sullivan:
Adding Implicit Invocation to Languages: Three Approaches.
ISOTAS 1993: 489-510 |
| 16 | EE | Gregory D. Abowd,
Robert Allen,
David Garlan:
Using Style to Understand Descriptions of Software Architecture.
SIGSOFT FSE 1993: 9-20 |
| 1992 |
|---|
| 15 | | David Garlan:
Formal Methods for Software Engineers: Tradeoffs in Curriculum Design.
CSEE 1992: 131-142 |
| 14 | | R. F. Swonger,
C. M. Scott,
Chris Okasaki,
Mary Shaw,
David Garlan:
Experience with a Course on Architectures for Software Systems.
CSEE 1992: 23-43 |
| 13 | | Robert J. Allen,
David Garlan:
A Formal Approach to Software Architectures.
IFIP Congress (1) 1992: 134-141 |
| 12 | | David Garlan:
Development Environments for Software Architecture.
IFIP Congress (1) 1992: 217 |
| 11 | | David Garlan,
Gail E. Kaiser,
David Notkin:
Using Tool Abstraction to Compose Systems.
IEEE Computer 25(6): 30-38 (1992) |
| 1991 |
|---|
| 10 | | David Garlan,
David Notkin:
Formalizing Design Spaces: Implicit Invocation Mechanisms.
VDM Europe (1) 1991: 31-44 |
| 1990 |
|---|
| 9 | | David Garlan,
Norman M. Delisle:
Formal Specifications as Reusable Frameworks.
VDM Europe 1990: 150-163 |
| 8 | | Norman M. Delisle,
David Garlan:
A Formal Specification of an Oscilloscope.
IEEE Software 7(5): 29-36 (1990) |
| 1989 |
|---|
| 7 | | David Garlan:
The role of formalized domain-specific software frameworks.
ISPW 1989: 64-66 |
| 1987 |
|---|
| 6 | | Gail E. Kaiser,
David Garlan:
MELDing Data Flow and Object-Oriented Programming.
OOPSLA 1987: 254-267 |
| 5 | | Gail E. Kaiser,
David Garlan:
Melding Software Systems from Reusable Building Blocks.
IEEE Software 4(4): 17-24 (1987) |
| 4 | | David Garlan:
Extending IDL to Support Concurrent Views.
SIGPLAN Notices 22(11): 95-110 (1987) |
| 1986 |
|---|
| 3 | EE | Dennis 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 |
| 2 | | David Garlan:
Views for Tools in Integrated Environments.
Advanced Programming Environments 1986: 314-343 |
| 1984 |
|---|
| 1 | | David Garlan,
Philip L. Miller:
GNOME: An Introductory Programming Environment Based on a Family of STructured Editors.
Software Development Environments (SDE) 1984: 65-72 |
