David Garlan |
David Garlan is a Professor in the Institute for Software Research and the School of Computer Science at Carnegie Mellon University, where he leads several research projects and is the Director of Professional Software Engineering Programs. His research interests include:
|
| Home |
Projects |
Publications |
Academics |
External
Activities |
Selected
Publications
Documenting Software
Architectures: Views and Beyond, P. Clements, F. Bachmann, L. Bass,
D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford, Addison
Wesley,
September 2002. Recently won a Jolt
Productivity Award, 2002.
Project Aura: Towards Distraction-Free Pervasive Computing," David Garlan, Dan Siewiorek, Asim Smailagic, and Peter Steenkiste, IEEE Pervasive Computing, special issue on "Integrated Pervasive Computing Environments", Volume 21, Number 2, April-June, 2002. pp. 22-31.
Increasing System Dependability through Architecture-based Self-repair, David Garlan, Shang-Wen Cheng, and Bradley Schmerl, in Architecting Dependable Systems, R. de Lemos, C. Gacek, A. Romanovsky (Eds), Springer-Verlag, 2003.
Model Checking Publish-Subscribe Systems, David Garlan, Serge Khersonsky, and Jung Soo Kim, Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, Oregon, May 2003.
A Compositional Formalization of Connector Wrappers, Bridget Spitznagel, and David Garlan, The 2003 International Conference on Software Engineering (ICSE'03), Portland, Oregon, USA, May 3 - 10, 2003.
A Formal Basis for Architectural Connection, Robert Allen and David Garlan. ACM Transactions on Software Engineering and Methodology, July 1997.
Software Architecture: Perspectives on an Emerging Discipline, Mary Shaw and David Garlan, Prentice Hall, 1996.
Architectural Mismatch, or, Why it's hard to build systems out of existing parts , David Garlan, Robert Allen, and John Ockerbloom, Proceedings of the 17th International Conference on Software Engineering , April 1995.
Project Aura: Towards Distraction-Free Pervasive Computing," David Garlan, Dan Siewiorek, Asim Smailagic, and Peter Steenkiste, IEEE Pervasive Computing, special issue on "Integrated Pervasive Computing Environments", Volume 21, Number 2, April-June, 2002. pp. 22-31.
Increasing System Dependability through Architecture-based Self-repair, David Garlan, Shang-Wen Cheng, and Bradley Schmerl, in Architecting Dependable Systems, R. de Lemos, C. Gacek, A. Romanovsky (Eds), Springer-Verlag, 2003.
Model Checking Publish-Subscribe Systems, David Garlan, Serge Khersonsky, and Jung Soo Kim, Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, Oregon, May 2003.
A Compositional Formalization of Connector Wrappers, Bridget Spitznagel, and David Garlan, The 2003 International Conference on Software Engineering (ICSE'03), Portland, Oregon, USA, May 3 - 10, 2003.
A Formal Basis for Architectural Connection, Robert Allen and David Garlan. ACM Transactions on Software Engineering and Methodology, July 1997.
Software Architecture: Perspectives on an Emerging Discipline, Mary Shaw and David Garlan, Prentice Hall, 1996.
Architectural Mismatch, or, Why it's hard to build systems out of existing parts , David Garlan, Robert Allen, and John Ockerbloom, Proceedings of the 17th International Conference on Software Engineering , April 1995.
This page is part of David Garlan's site in the School of Computer Science at Carnegie Mellon University. Use of any portion of this site to generate spam or other mass communications is forbidden. Comments to the maintainer. Modified: 06.01.11.