Journal Article Reconciling the needs of architectural description with object-modeling notations 2002 • Science of Computer Programming • 44(1):23-49 Garlan D, Cheng SW, Kompanek AJ
Conference Software architecture-based adaptation for grid computing 2002 • Proceedings of the IEEE International Symposium on High Performance Distributed Computing • 389-398 Cheng SW, Garlan D, Schmerl B, Steenkiste P, Hu NN
Conference Software architecture-based adaptation for pervasive systems 2002 • Lecture Notes in Computer Science • 2299:67-82 Cheng SW, Garlan D, Schmerl B, Sousa JP, Spitznagel B, Steenkiste P, Hu NN
Chapter Using Architectural Style as a Basis for System Self-repair 2002 • IFIP Advances in Information and Communication Technology • 97:45-59 Cheng S-W, Garlan D, Schmerl B, Sousa JP, Spitznagel B, Steenkiste P
Conference A compositional approach for constructing connectors 2001 • WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS • 148-157 Spitznagel B, Garlan D
Journal Article A Technology Investigation Supporting Software Architecture and Analysis for Evolution 2001 Garlan D, Shaw M, Wing J
Conference Aura: Distraction-free ubiquitous computing 2001 • Lecture Notes in Computer Science • 2254:1-1 Garlan D
Journal Article Formal modeling of the Enterprise JavaBeans™ component integration framework 2001 • Information and Software Technology • 43(3):171-188 Sousa JP, Garlan D
Journal Article Guest editors' introduction: 1999 International Conference on Software Engineering 2001 • IEEE Transactions on Software Engineering • 27(2):97-98 Kramer J, Garlan D, Rosenblum DS
Journal Article SEI Workshop on Software Architecture Representation, 16-17 January 2001 2001 Bachmann F, Clements P, Garlan D, Ivers J, Little R
Conference Model checking implicit-invocation systems 2000 • TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN • 23-30 Garlan D, Khersonsky S
Conference Modeling of architectures with UML 2000 • Lecture Notes in Computer Science • 1939:556-569 Weigert T, Garlan D, Knapman J, Moller-Pedersen B, Selic B
Conference Reconciling the needs of architectural description with object-modeling notations 2000 • Lecture Notes in Computer Science • 1939:498-512 Garlan D, Kompanek AJ
Conference Software architecture: A roadmap 2000 • Proceedings of the Conference on the Future of Software Engineering, ICSE 2000 • 91-101 Garlan D
Conference Acme-based software architecture interchange 1999 • Lecture Notes in Computer Science • 1594:340-354 Garlan D, Wang ZY
Conference Formal modeling of the enterprise JavaBeans™ component integration framework 1999 • Lecture Notes in Computer Science • 1709:1281-1300 Sousa JP, Garlan D
Journal Article Errata: A Formal Basis for Architectural Connection 1998 • ACM Transactions on Software Engineering and Methodology • 7(3):333-334 Allen R, Garlan D
Conference Formal modeling and analysis of the HLA component integration standard 1998 • Software Engineering Notes • 70-79 Allen RJ, Garlan D, Ivers J
Journal Article Introduction to the special section 1998 • IEEE Transactions on Software Engineering • 24(7):497-497 Garlan D
Journal Article Reasoning about implicit invocation 1998 • Software Engineering Notes • 23(6):209-221 Garlan D, Jha S, Notkin D, Dingel J
Conference Reasoning about implicit invocation 1998 • Software Engineering Notes • 209-221 Dingel J, Garlan D, Jha S, Notkin D
Conference Specifying and analyzing dynamic software architectures 1998 • Lecture Notes in Computer Science • 1382:21-37 Allen R, Douence R, Garlan D
Journal Article Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning 1998 • Formal Aspects of Computing • 10(3):193-213 Dingel J, Garlan D, Jha S, Notkin D
