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 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 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 • 23(6):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
Conference Reasoning about implicit invocation 1998 • Software Engineering Notes • 23(6):209-221 Garlan D, Jha S, Notkin D, Dingel J
Journal Article Reasoning about implicit invocation 1998 • Software Engineering Notes • 23(6):209-221 Garlan D, Jha S, Notkin D, Dingel J
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
Journal Article A formal basis for architectural connection 1997 • ACM Transactions on Software Engineering and Methodology • 6(3):213-249 Allen R, Garlan D
Journal Article Agents of change: Educating software engineering leaders 1997 • Computer • 30(11):59-+ Garlan D, Gluch DP, Tomayko JE
Journal Article Architectural styles, design patterns, and objects 1997 • IEEE Software • 14(1):43-& Monroe RT, Kompanek A, Melton R, Garlan D
Conference Panel: Software engineering: Graduate education and research issues. 1997 • Frontiers in Education Conference • 467-468 DiazHerrera JL, Davis A, Fairley R, Garlan D, Mills EE
Journal Article Towards a Formal Treatment of Implicit Invocation 1997 Dingel J, Garlan D, Jha S, Notkin D
Conference Formal approaches to software architecture 1996 • Lecture Notes in Computer Science • 1078:64-76 Garlan D
Conference Style-based reuse for software architectures 1996 • FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE, PROCEEDINGS • 84-93 Monroe RT, Garlan D
Journal Article The Fourth Symposium on the Foundations of Software Engineering (FSE4) 1996 • Software Engineering Notes • 21(5):4 Garlan D, Morieoni M
Journal Article ARCHITECTURAL MISMATCH - WHY REUSE IS SO HARD 1995 • IEEE Software • 12(6):17-& GARLAN D, ALLEN R, OCKERBLOOM J
