Follow
David Garlan
David Garlan
Professor of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Software architecture: perspectives on an emerging discipline
M Shaw, D Garlan
Prentice-Hall, Inc., 1996
62011996
Documenting software architectures: views and beyond
P Clements, D Garlan, R Little, R Nord, J Stafford
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
28962003
An introduction to software architecture
D Garlan, M Shaw
Advances in software engineering and knowledge engineering, 1-39, 1993
25351993
A formal basis for architectural connection
R Allen, D Garlan
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (3), 213-249, 1997
20161997
Rainbow: Architecture-based self-adaptation with reusable infrastructure
D Garlan, SW Cheng, AC Huang, B Schmerl, P Steenkiste
Computer 37 (10), 46-54, 2004
18512004
Project aura: Toward distraction-free pervasive computing
D Garlan, DP Siewiorek, A Smailagic, P Steenkiste
IEEE Pervasive computing 1 (2), 22-31, 2002
13802002
Acme: An architecture description interchange language
D Garlan, R Monroe, D Wile
CASCON First Decade High Impact Papers, 159-173, 2010
13242010
A formal approach to software architecture
RJ Allen
Carnegie Mellon University, 1997
11861997
Acme: Architectural description of component-based systems
D Garlan, R Monroe, D Wile
Carnegie Mellon University, 2000
9692000
Architectural mismatch or why it's hard to build systems out of existing parts
D Garlan, R Allen, J Ockerbloom
Proceedings of the 17th international conference on Software engineering …, 1995
8521995
Aura: an architectural framework for user mobility in ubiquitous computing environments
JP Sousa, D Garlan
Software Architecture: System Design, Development and Maintenance, 29-43, 2002
8332002
Context is key
J Coutaz, JL Crowley, S Dobson, D Garlan
Communications of the ACM 48 (3), 49-53, 2005
8032005
Architectural mismatch: Why reuse is so hard
D Garlan, R Allen, J Ockerbloom
IEEE software 12 (6), 17-26, 1995
8011995
Formalizing architectural connection
R Allen, D Garlan
Proceedings of 16th International Conference on Software Engineering, 71-80, 1994
7361994
Software architecture: a roadmap
D Garlan
Proceedings of the Conference on the Future of Software Engineering, 91-101, 2000
7062000
Introduction to the special issue on software architecture
D Garlan, DE Perry
IEEE Trans. Software Eng. 21 (4), 269-274, 1995
6641995
Specifying and analyzing dynamic software architectures
R Allen, R Douence, D Garlan
Fundamental Approaches to Software Engineering: First International …, 1998
6331998
Exploiting style in architectural design environments
D Garlan, R Allen, J Ockerbloom
ACM SIGSOFT software engineering notes 19 (5), 175-188, 1994
6251994
Model-based adaptation for self-healing systems
D Garlan, B Schmerl
Proceedings of the first workshop on Self-healing systems, 27-32, 2002
4582002
Formalizing style to understand descriptions of software architecture
GD Abowd, R Allen, D Garlan
ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (4), 319-364, 1995
4191995
Architectural styles, design patterns, and objects
RT Monroe, A Kompanek, R Melton, D Garlan
IEEE software 14 (1), 43-52, 1997
3451997
Software architecture
D Garlan
Carnegie Mellon University, 2008
3332008
Using style to understand descriptions of software architecture
G Abowd, R Allen, D Garlan
ACM SIGSOFT Software Engineering Notes 18 (5), 9-20, 1993
3171993
Architecture-based self-adaptation in the presence of multiple objectives
SW Cheng, D Garlan, B Schmerl
Proceedings of the 2006 international workshop on Self-adaptation and self …, 2006
2742006
Task-based adaptation for ubiquitous computing
JP Sousa, V Poladian, D Garlan, B Schmerl, M Shaw
IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2006
2322006
Increasing system dependability through architecture-based self-repair
D Garlan, SW Cheng, B Schmerl
Architecting dependable systems, 61-89, 2003
2292003
Proactive self-adaptation under uncertainty: a probabilistic model checking approach
GA Moreno, J Cámara, D Garlan, B Schmerl
Proceedings of the 2015 10th joint meeting on foundations of software …, 2015
2232015
Stitch: A language for architecture-based self-adaptation
SW Cheng, D Garlan
Journal of Systems and Software 85 (12), 2860-2875, 2012
2212012
Dynamic configuration of resource-aware services
V Poladian, JP Sousa, D Garlan, M Shaw
Proceedings. 26th International Conference on Software Engineering, 604-613, 2004
2172004
Formalizing design spaces: Implicit invocation mechanisms
D Garlan, D Notkin
International Symposium of VDM Europe, 31-44, 1991
2121991
Formulations and formalisms in software architecture
M Shaw, D Garlan
Computer Science Today: Recent Trends and Developments, 307-323, 2005
1952005
Software engineering in an uncertain world
D Garlan
Proceedings of the FSE/SDP workshop on Future of software engineering …, 2010
1912010
Evaluating the effectiveness of the rainbow self-adaptive system
SW Cheng, D Garlan, B Schmerl
2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing …, 2009
1882009
Formal modeling and analysis of software architecture: Components, connectors, and events
D Garlan
International School on Formal Methods for the Design of Computer …, 2003
1712003
Using gauges for architecture-based monitoring and adaptation
D Garlan, B Schmerl, J Chang
Working Conference on Complex and Dynamic Systems Architecture 34, 2001
1712001
Software architecture-based adaptation for pervasive systems
SW Cheng, D Garlan, B Schmerl, JP Sousa, B Spitznagel, P Steenkiste, ...
Trends in Network and Pervasive Computing—ARCS 2002: International …, 2002
1692002
Software architecture-based self-adaptation
D Garlan, B Schmerl, SW Cheng
Autonomic computing and networking, 31-55, 2009
1652009
Model checking publish-subscribe systems
D Garlan, S Khersonsky, JS Kim
Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003
1642003
A compositional formalization of connector wrappers
B Spitznagel, D Garlan
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
1612003
Reconciling the needs of architectural description with object-modeling notations
D Garlan, SW Cheng, AJ Kompanek
Science of Computer Programming 44 (1), 23-49, 2002
1612002
The system can't perform the operation now. Try again later.
Articles 1–40