David Garlan
Professor of Computer Science and Director of Software Engineering Professional Programs
Institute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA  15213
office:  Wean Hall 5126
phone:  412.268.5056
fax:  412.268.3455
email:  garlan - at - cs.cmu.edu
Administrative Associate:  Margaret Gasdick
Home ¦ Projects ¦ Publications ¦ Academics ¦ External Activities



Publications

2014
Akshay Rajhans, Ajinkya Y. Bhave, Ivan Ruchkin, Bruce Krogh, David Garlan, Andre Platzer and Bradley Schmerl. Supporting Heterogeneity in Cyber-Physical Systems Architectures. In IEEE Transactions on Automatic Control's Special Issue on “Control of Cyber-Physical Systems”, 2014.

Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu. Diagnosing Unobserved Components in Self-Adaptive Systems. In 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Hyderabad, India, 2-3 June 2014. To appear.

Vishal Dwivedi
, David Garlan, Jürgen Pfeffer and Bradley Schmerl. Model-based Assistance for Making Time/Fidelity Trade-offs in Component Compositions. In 11th International Conference on Information Technology : New Generations (ITNG 2014), Special track on: MDCBSE: Model-Driven, Component-Based Software Engineering, Las Vegas, NV, 7-9 April 2014. To appear.

Sungwon Kang and David Garlan. Architecture-based planning of software evolution. In International Journal of Software Engineering and Knowledge Engineering, 2014. Accepted for publication.

Bradley Schmerl
, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier and Jeffrey M. Barnes. Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations. In HotSoS 2014: 2014 Symposium and Bootcamp on the Science of Security, Raleigh, NC, USA, 8-9 April 2014. To appear.

Javier Cámara, Gabriel A. Moreno and David Garlan. Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation. In 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Hyderabad, India, 2-3 June 2014. To appear.
2013
Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl and Rafael Ventura. Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation. In Proceeedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 20-21 May 2013.
Perla Velasco Elizondo, Vishal Dwivedi, David Garlan, Bradley Schmerl and Jose Maria Fernandes. Resolving Data Mismatches in End-User Compositions. In Proceedings of the 4th International Symposium on End-User Development, IT University of Copenhagen, Denmark, 10-13 June 2013.
Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu. Diagnosing architectural run-time failures. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 20-21 May 2013. Received SEAMS 2013 Best Paper Award.

Eric Yuan, Sam Malek, Bradley Schmerl, David Garlan and Jeffrey Gennari. Architecture-Based Self-Protecting Software Systems. In Proceedings of the Ninth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2013), 17-21 June 2013.

Jeffrey M. Barnes and David Garlan. Challenges in Developing a Software Architecture Evolution Tool as a Plug-In. In Proceedings of the 3rd Workshop on Developing Tools as Plug-Ins, Pages 13--18, San Francisco, CA, USA, 21 May 2013.

Paulo Casanova, Bradley Schmerl, David Garlan, Rui Abreu and Jungsik Ahn. Applying Autonomic Diagnosis at Samsung Electronics. 2013. Submitted for Publication.

Marcelo Cataldo, David Garlan, James Herbsleb, Amber Lynn McConahy, Young-Suk Ahn Park and Bradley Schmerl. Software Platforms for Smart Building Ecosystems: Understanding the Key Architectural Capabilities and Trade-offs. Technical report, CMU-ISR-13-104, Institute for Software Research, Carnegie Mellon University, 2013.

Jeffrey M. Barnes, Ashutosh Pandey and David Garlan. Automated Planning for Software Architecture Evolution. In The 28th IEEE/ACM International Conference on Automated Software Engineering, Silicon Valley, CA, 11-15 November 2013. To appear.
2012
Shang-Wen Cheng and David Garlan. Stitch: A Language for Architecture-Based Self-Adaptation. In Danny Weyns, Jesper Andersson, Sam Malek and Bradley Schmerl editors, Journal of Systems and Software, Special Issue on State of the Art in Self-Adaptive Systems, Vol. 85(12), December 2012. doi:10.1016/j.jss.2012.02.060 .

Perla Velasco Elizondo, Vishal Dwivedi, David Garlan, Bradley Schmerl and Jose Maria Fernandes. Resolving Data Mismatches in End-User Compositions. 2012. Submitted for publication.

Jeffrey M. Barnes, David Garlan and Bradley Schmerl. Evolution styles: foundations and models for software architecture evolution. In Journal of Software and Systems Modeling, November 2012. DOI 10.1007/s10270-012-0301-9.

David Garlan, Vishal Dwivedi, Ivan Ruchkin and Bradley Schmerl. Foundations and Tools for End-User Architecting. In David Garlan and R Calinescu editors, Large-Scale Complex IT Systems. Development, Operation and Management, 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Vol. 7539:157-182 of Lecture Notes in Computer Science, Springer, 2012. Book reference .

2011
Bradley Schmerl, David Garlan, Vishal Dwivedi, Michael Bigrigg and Kathleen M. Carley. SORASCS: A Case Study in SOA-based Platform Design for Socio-Cultural Analysis. In Proceedings of the 33rd International Conference on Software Engineering., Hawaii, USA, 2011.
Ajikya Bhave, Bruce Krogh, David Garlan and Bradley Schmerl.  View Consistency in Architectures for Cyber-Physical Systems.  In Proceedings of the 2nd ACM/IEEE International Conference on Cyber-Physical Systems, April 2011.

Jeffrey Gennari and David Garlan. Measuring Attack Surface in Software Architecture. Technical report, CMU-ISR-11-121, Institute for Software Research, School of Computer Science, Carnegie Mellon University, 2011.

Akshay Rajhans, Ajinkya Y. Bhave, Sarah Loos, Bruce Krogh, Andre Platzer and David Garlan. Using Parameters in Architectural Views to Support Heterogeneous Design and Verification. In 50th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC), Orlando, FL, 12-15 December 2011.

David Garlan, Bradley Schmerl, Vishal Dwivedi, Aparup Banerjee, Laura Glendenning, Mai Nakayama and Nina Patel. SWiFT: A Tool for Constructing Workflows for Dynamic Network Analysis. 2011.

Paulo Casanova, Bradley Schmerl, David Garlan and Rui Abreu. Architecture-based Run-time Fault Diagnosis. In Proceedings of the 5th European Conference on Software Architecture, 13-16 September 2011.

Vishal Dwivedi, Perla Velasco Elizondo, Jose Maria Fernandes, David Garlan and Bradley Schmerl. An Architectural Approach to End User Orchestrations. In Proceedings of the 5th European Conference on Software Architecture, 13-16 September 2011.

Paul Clements, Felix Bachmann, Len Bass, David Garlan, James Ivers, Reed Little, Paulo Merson, Robert Nord and Judith Stafford. Documenting Software Architectures: Views and Beyond, Second Edition. Addison Wesley, 2011.

David Garlan and Anthony Lattanze. Computer Science for Practicing Engineers: Computer Science for Everyone Else. Technical report, CMU-ISR-11-115, Institute for Software Research, School of Computer Science, Carnegie Mellon University, 2011.

2010

Ajikya Bhave, David Garlan, Bruce Krogh, Akshay Rajhans and Bradley Schmerl. Augmenting Software Architectures with Physical Components. In Proceedings of the Embedded Real Time Software and Systems Conference (ERTS^2 2010), 19-21 May 2010.
    
Vishal Dwivedi, David Garlan and Bradley Schmerl. End User Orchestrations. 2010. Submitted for publication.
    
Jung Soo Kim and David Garlan. Analyzing Architectural Styles. In Journal of Software and Systems, Vol. 83(7):1216-1235, 2010.
    
Ajikya Bhave, Bruce Krogh, David Garlan and Bradley Schmerl. Multi-domain Modeling of Cyber-Physical Systems using Architectural Views. In Proceedings of the 1st Analytic Virtual Integration of Cyber-Physical Systems Workshop, 30 November 2010.  Co-located iwth RTSS 2010.

David Garlan, Software Engineering in an Uncertain World.  In Worshop on the Future of Software Engineering Research (FoSER), November 2010.

2009

Akshay Rajhans, Shang-Wen Cheng, Bradley Schmerl, David Garlan, Bruce Krogh, Clarence Agbi and Ajikya Bhave. An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. In Electronic Communications of the EASST, Vol. 21: Multi-Paradigm Modeling, 2009.

Rahul Raheja, Shang-Wen Cheng, David Garlan and Bradley Schmerl. Improving Architecture-Based Self-Adaptation using Preemption. In Proceedings of the Workshop on Self-Organizing Architecture, Cambridge, UK, 14 September 2009.

David Garlan, Bradley Schmerl and Shang-Wen Cheng. Software Architecture-Based Self-Adaptation. In Mieso Denko, Laurence Yang and Yan Zhang editors, Autonomic Computing and Networking, Nr. (ISBN 978-0-387-89827-8), Springer, 2009.

David Garlan, Kathleen M. Carley, Bradley Schmerl, Michael Bigrigg and Orieta Celiku. Using Service-Oriented Architectures for Socio-Cultural Analysis. In Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering (SEKE2009), Boston, USA, 1-3 July 2009.

David Garlan and Bradley Schmerl. Ævol: A tool for defining and planning architecture evolution. In 2009 International Conference on Software Engineering, 20-22 May 2009.

Sagar Chaki, Andres Diaz-Pace, David Garlan, Arie Garfunkel and Ipek Ozkaya. Towards Engineered Architecture Evolution. In Workshop on Modeling in Software Engineering 2009, May 2009.

Shang-Wen Cheng, David Garlan and Bradley Schmerl. RAIDE for Engineering Architecture-Based Self-Adaptive Systems. In 2009 International Conference on Software Engineering, Vancouver, BC, Canada, 2009.

Shang-Wen Cheng, David Garlan and Bradley Schmerl. Evaluating the Effectiveness of the Rainbow Self-Adaptive System. In ICSE 2009 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’09), Vancouver, BC, Canada, 18-19 May 2009.

David Garlan, Jeffrey M. Barnes, Bradley Schmerl and Orieta Celiku. Evolution Styles: Foundations and Tool Support for Software Architecture Evolution. In Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009, Cambridge, UK, 14-17 September 2009.

Marwan Abi-Antoun and David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch: Why Reuse is Still So Hard. In IEEE Software, Pages 66-69, July 2009.

Sungwon Kang and David Garlan. Valuation of Architecture-based Deterministic Plan for Software Evolution. In The KIPS Transactions: Part D, Vol. 16-D(5):755-566, October 2009.

João P. Sousa, Rajesh K. Balan, Vahe Poladian, David Garlan and Mahadev Satyanarayanan. A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs. Springer CCIS, vol. 47, J. Cordeiro et al. (Eds.) Software and Data Technologies, pp. 48-61, 2009.

2008
    
Joao Pedro Sousa, Bradley Schmerl, Peter Steenkiste and David Garlan. Activity Oriented Computing. In Soraya Kouadri Mostefaoui, Zakaria Maamar and George Giaglis editors, Advances in Ubiquitous Computing: Future Paradigms and Directions, IGI Publishing, Herschey, PA, 2008. Book link: http://www.igi-pub.com/books/details.asp?ID=7314.
    
Joao Pedro Sousa, Bradley Schmerl, Vahe Poladian and Alex Brodsky. UDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces. In Proceedings of the 2008 Working IFIP/IEEE Conference on Software Architecture, Vancouver, BC, Canada, 18-22 February 2008.
    
Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas, Bradley Schmerl and David Garlan. Differencing and Merging of Architectural Views. In Automated Software Engineering Journal, Vol. 15(1), March 2008. Final version available online at http://dx.doi.org/10.1007/s10515-007-0023-3.
    
Joao Pedro Sousa, Vahe Poladian, David Garlan, Bradley Schmerl and Peter Steenkiste. Steps toward Activity-Oriented Computing. In Proceedings of the 2008 NSF Next Generation Software Program Workshop, Miami, FL, 14 April 2008.
    
Joao Pedro Sousa, Rajesh Balan, Vahe Poladian, David Garlan and Mahadev Satyanarayanan. User Guidance of Resource-Adaptive Systems. In ICSOFT'08 International Conference on Software and Data Technologies, Porto, Portugal, July 2008.
    
David Garlan. Evolution Styles: Formal foundations and tool support for software architecture evolution. Technical report, CMU-CS-08-142, School of Computer Science, Carnegie Mellon University, June 2008.

Vahe Poladian, Shang-Wen Cheng, David Garlan, and Bradley Schmerl.  Improving Architecture-Based Self-Adaption Through Resource Prediction.  In Betty H.C. Chen, Rogerio De Lemos, Holger Giese, paola Inverardi and Jeff Magee, editors, Software Engineering for Self-Adaptive Systems, Vol. 5525 of Lecture Notes in Computer Science, Chapter 15, LNCS, 2008.

2007

David Garlan and Bradley Schmerl. The RADAR Architecture for Personal Cognitive Assistance. In International Journal of Software Engineering and Knowledge Engineering, Vol. 17(2), April 2007. A shorter version of this paper appeared in the 2006 Conference on Software Engineering and Knowledge Engineering (SEKE 2006).
    
Vahe Poladian, David Garlan, Mary Shaw, Bradley Schmerl, Joao Pedro Sousa and Mahadev Satyanarayanan. Leveraging Resource Prediction for Anticipatory Dynamic Configuration. In Proceedings of the First IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO-2007, Pages 214-223, 8-11 July 2007.
    
Orieta Celiku and David Garlan. Using Medical Devices to Teach Formal Modeling. In Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability, Boston, MA, 25-27 June 2007.
    
Thomas LaToza, David Garlan, James Herbsleb and Brad Myers. Program Comprehension as Fact Finding. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Pages 361-370, Dubrovnik, Croatia, 3-7 September 2007. Available from the ACM Digital Library: http://doi.acm.org/10.1145/1287624.1287675.
    
Shang-Wen Cheng and David Garlan. Handling Uncertainty in Autonomic Systems. In Proceedings of the International Workshop on Living with Uncertainties (IWLU’07), co-located with the 22nd International Conference on Automated Software Engineering (ASE’07), Atlanta, GA, USA, 5 November 2007. http://godzilla.cs.toronto.edu/IWLU/program.html.
    
Orieta Celiku, David Garlan and Bradley Schmerl. Augmenting Architectural Modeling to Cope with Uncertainty. In Proceedings of the International Workshop on Living with Uncertainties (IWLU’07), co-located with the 22nd International Conference on Automated Software Engineering (ASE’07), Atlanta, GA, USA, 5 November 2007. http://godzilla.cs.toronto.edu/IWLU/program.html.
    
Vahe Poladian, Mary Shaw and David Garlan. Modeling Uncertainty of Predictive Inputs in Anticipatory Dynamic Configuration. In Proceedings of the International Workshop on Living with Uncertainties (IWLU’07), co-located with the 22nd International Conference on Automated Software Engineering (ASE’07), Atlanta, GA, USA, 5 November 2007. http://godzilla.cs.toronto.edu/IWLU/program.html.

M. Abi-Antoun, J. Aldrich, D. Garlan, N. Nahas, and B. Schmerl.  Differencing and Merging of Architectural Views, in Automated Software Engineering Journal, December 2007.

2006
   
Bradley Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman and Hong Yan. Discovering Architectures from Running Systems. In IEEE Transactions on Software Engineering, Vol. 32(7), July 2006. Also available from IEEE. Appendix A, Appendix B.
   
George Fairbanks, William Scherlis and David Garlan. Design Fragments Make Using Frameworks Easier. In Proceedings of ACM SIGPLAN Conference on Object Oriented Programs, Systems, Languages, and Applications (OOPSLA) 2006, Portland, OR, USA, 22-27 October 2006.

Jung Soo Kim and David Garlan. Analyzing Architectural Styles with Alloy. In Workshop on the Role of Software Architecture for Testing and Analysis 2006 (ROSATEA 2006), Portland, ME, USA, 17 July 2006.
   
David Garlan and Bradley Schmerl. An Architecture for Personal Cognitive Assistance. In 18th International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, USA, 5-7 July 2006.
   
Joao Pedro Sousa, Vahe Poladian, David Garlan, Bradley Schmerl and Mary Shaw. Task-Based Adaptation for Ubiquitous Computing. In IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, Special Issue on Engineering Autonomic Systems, Vol. 36(3), May 2006. Also available at IEEE Xplore.
   
Tiberiu Seceleanu and David Garlan. Developing adaptive systems with synchronized architectures. In The Journal of Systems and Software, Vol. 79(11):1514-1526, November 2006.
   
Bradley Schmerl, Shawn Butler and David Garlan. Architecture-based Simulation for Security and Performance. 2006. Submitted for publication.
   
David Garlan and Bradley Schmerl. Architecture-driven Modelling and Analysis. In Tony Cant editor, Proceedings of the 11th Australian Workshop on Safety Related Programmable Systems (SCS'06), Vol. 69 of Conferences in Research and Practice in Information Technology, Melbourne, Australia, 2006.
   
Shang-Wen Cheng, David Garlan and Bradley Schmerl. Architecture-based Self-adaptation in the Presence of Multiple Objectives. In ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Shanghai, China, 21-22 May 2006.

2005
   
Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas, Bradley Schmerl and David Garlan. Differencing and Merging of Architectural Views. Technical report, CMU-ISRI-05-128, Carnegie Mellon University Institute for Software Research International, 2005.
   
Joao Pedro Sousa, Vahe Poladian, David Garlan and Bradley Schmerl. Capitalizing on Awareness of User Tasks for Guiding Adaptation. In Proceedings of the First International Workshop on Adaptive and Self-managing Enterprise Applications, at CAISE'05, Portugal, 2005.
   
Joao Pedro Sousa. Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments. PhD thesis, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-05-123, 2005.
   
Bradley Schmerl, Hong Yan and David Garlan. DiscoTect: A System for Discovering Architectures from Running Systems (Demonstration) In Proceedings of the Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, September 2005.
   
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas and Tony Tseng. Software Architecture with Acme and ArchJava (Research Demonstration) In Proceedings of the 27th International Conference on Software Engineering, St. Louis, MS, May 2005.
   
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas and Tony Tseng. Improving System Dependability by Enforcing Architectural Intent. In Proceedings of the 2005 Workshop on Architecting Dependable Systems (WADS 2005), St. Louis, MS, May 2005.
   
Vahe Poladian, Joao Pedro Sousa, Frank Padberg and Mary Shaw. Anticipatory Configuration of Resource-aware Applications. In Proceedings of the 7th International Workshop on Economics Driven Software Engineering Research, affiliated with the 27th International Conference on Software Engineering, St. Louis, MS, May 2005.
   
David Garlan, William K. Reinholtz, Bradley Schmerl, Nicholas Sherman and Tony Tseng. Bridging the Gap between Systems Design and Space Systems Software. In Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop (SEW-29), Greenbelt, MD, 6-7 April 2005.
   
Shang-Wen Cheng, David Garlan and Bradley Schmerl. Making Self-Adaptation an Engineering Reality. In Ozlap Babaoghu, Mark Jelasity, Alberto Montroser, Christof Fetzer, Stefano Leonardi and Aad Van Moorsel editors, Proceedings of the Conference on Self-Star Properties in Complex Information Systems, Vol. 3460 of LNCS, Springer-Verlag, 2005. Also available from Springer-Verlag here.
   
Joelle Coutaz, Jame L. Crowley, Simon Dobson and David Garlan. Context is Key. In Communications of the ACM, Special Issue on The Disappearing Computer, Vol. 58(4):49-53, March 2005.
   
Joao Pedro Sousa, Rajesh Balan, Vahe Poladian, David Garlan and Mahadev Satyanarayanan. Giving Users the Steering Wheel for Guiding Resource-Adaptive Systems. Technical report, CMU-CS-05-198, Carnegie Mellon University School of Computer Science, December 2005.

2004

Hong Yan, Jonathan Aldrich, David Garlan, Rick Kazman and Bradley Schmerl. Discovering Architectures from Running Systems: Lessons Learned. Technical report, CMU-SEI-2004-TR-016, Software Engineering Institute, 2004.
   
David Garlan, Vahe Poladian, Bradley Schmerl and Joao Pedro Sousa. Task-based Self-adaptation. In Proceedings of the ACM SIGSOFT 2004 Workshop on Self-Managing Systems (WOSS'04), Newport Beach, CA, 31 October - 1 November 2004.
   
Roshanak Roshandel, Bradley Schmerl, Nenad Medvidovic and David Garlan. Understanding Tradeoffs among Different Architectural Modelling Approaches. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architectures (WICSA4), Oslo, Norway, 11-14 June 2004.
   
David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley Schmerl and Peter Steenkiste. Rainbow: Architecture-Based Self Adaptation with Reusable Infrastructure. In IEEE Computer, Vol. 37(10), October 2004.
   
Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl and Peter Steenkiste. An Architecture for Coordinating Multiple Self-Management Systems. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architectures (WICSA4), Oslo, Norway, 11-14 June 2004.
   
James Ivers, Paul Clements, David Garlan, Robert Nord, Bradley Schmerl and Jaime Rodrigo Oviedo Silva. Documenting Component and Connector Views with UML 2.0. Technical report, CMU/SEI-2004-TR-008, Software Engineering Institute, 2004.
   
Vahe Poladian, Joao Pedro Sousa, David Garlan and Mary Shaw. Dynamic Configuration of Resource-Aware Services. In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, 23-28 May 2004.
   
Hong Yan, David Garlan, Bradley Schmerl, Jonathan Aldrich and Rick Kazman. DiscoTect: A System for Discovering Architectures from Running Systems. In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, 23-28 May 2004.
   
Bradley Schmerl and David Garlan. AcmeStudio: Supporting Style-Centered Architecture Development (Research Demonstration) In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, 23-28 May 2004.
   
David Garlan and Bradley Schmerl. Using Architectural Models at Runtime: Research Challenges. In Proceedings of the European Workshop on Software Architectures, St. Andrews, Scotland, May 2004.
   
Kevin Steppe, David Garlan, Greg Bylenok, Bradley Schmerl and Nataliya Shevchenko. Tool Support for Model Based Architectural Design for Automotive Control Systems. In First European Workshop on Model Driven Architecture with Emphasis on Industrial Application, Enschede, The Netherlands, 17-19 March 2004.
   
Kevin Steppe, Greg Bylenok, David Garlan, Bradley Schmerl, Kanat Abirov and Nataliya Shevchenko. Two-tiered Architectural Design for Automotive Control Systems: An Experience Report. In Automotive Software Workshop on Future Generation Software Architectures in the Automotive Domain, San Diego, CA, 10-12 January 2004. (Workshop Proceedings).
   
Barry Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Ray Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Perez, Kirk Reinholtz, Roshanak Roshandel and Nicolas Rouquette. Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience. In International Symposium on Empirical Software Engineering, Pages 117-126, IEEE Computer Society, Los Alamitos, CA, USA, 2004. ISBN 0-7695-2165-7.

2003
   
Roshanak Roshandel, Bradley Schmerl, Nenad Medvidovic, David Garlan and Dehua Zhang. Using Multiple Views to Model and Analyze Software Architecture: An Experience Report. Technical report, USC-CSE-2003-508, University of Southern California, Center for Software Engineering, 2003.
   
Joao Pedro Sousa and David Garlan. The Aura Software Architecture: An Infrastructure for Ubiquitous Computing. Technical report, CMU-CS-03-183, School of Computer Science, Carnegie Mellon University, August 2003.
   
Vahe Poladian, Shawn Butler, Mary Shaw and David Garlan. Time is Not Money: The case for multi-dimensional accounting in value-based software engineering. In Fifth Workshop on Economics-Driven Software Engineering Research (EDSER-5), May 2003.
   
Paul Clements, Felix Bachmann, Len Bass, David Garlan, James Ivers, Reed Little, Robert Nord and Judith Stafford. Documenting Software Architectures: Views and Beyond. Addison-Wesley, 2003. 2003 Jolt Productivity Award Winner.
   
David Garlan, Shang-Wen Cheng and Bradley Schmerl. Increasing System Dependability through Architecture-based Self-repair. In Rogerio De Lemos, Cristina Gacek and Alexander Romanovsky editors, Architecting Dependable Systems, Springer-Verlag, 2003.
   
David Garlan, Serge Khersonsky and Jung Soo Kim. Model Checking Publish-Subscribe Systems. In Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, OR, May 2003.
   
Bridget Spitznagel and David Garlan. A Compositional Formalization of Connector Wrappers. In The 2003 International Conference on Software Engineering (ICSE'03), 2003.

2002

Paul Clements, Felix Bachmann, David Garlan, Reed Little, Robert Nord and Judith Stafford. A Practical Method for Documenting Software Architectures. 2002.
   
David Garlan and Bradley Schmerl. Model-based Adaptation for Self-Healing Systems.In ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), Charleston, SC, 18-19 November 2002.
   
Juergen Dingel, David Garlan and Craig Damon. Bridging the HLA: Problems and Solutions. In Sixth IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT '02), Fort Worth, TX, 11-13 October 2002.
   
Shang-Wen Cheng, David Garlan, Bradley Schmerl, Peter Steenkiste and Ningning Hu. Software Architecture-based Adaptation for Grid Computing. In The 11th IEEE Conference on High Performance Distributed Computing (HPDC�02), Edinburgh, Scotland, July 2002.
   
Vahe Poladian, David Garlan and Mary Shaw. Selection and Configuration in Mobile Environments: A Utility-Based Approach. In Fourth Workshop on Economics-Driven Software Engineering Research (EDSER-4), May 2002.
   
Bradley Schmerl and David Garlan. Exploiting Architectural Design Knowledge to Support Self-repairing Systems. In The 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, 15-19 July 2002.
   
David Garlan, Dan Siewiorek, Asim Smalagic and Peter Steenkiste. Project Aura: Towards Distraction-Free Pervasive Computing. In IEEE Pervasive Computing, special issue on Integrated Pervasive Computing Environments, Vol. 1(2):22-31, April 2002.
   
Felix Bachmann, Len Bass, Paul Clements, David Garlan, James Ivers, Reed Little, Robert Nord and Judith Stafford. Documenting Software Architecture: Documenting Interfaces. Technical report, CMU/SEI-2002-TN-015, Software Engineering Institute, 2002.
   
Shang-Wen Cheng, David Garlan, Bradley Schmerl, Joao Pedro Sousa, Bridget Spitznagel and Peter Steenkiste. Using Architectural Style as a Basis for Self-repair. In Jan Bosch, Morven Gentleman, Christine Hofmeister and Juha Kuusela editors, Software Architecture: System Design, Development, and Maintenance (Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture), Pages 45-59, Kluwer Academic Publishers, 25-31 August 2002.
   
Joao Pedro Sousa and David Garlan. Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments. In Jan Bosch, Morven Gentleman, Christine Hofmeister and Juha Kuusela editors, Software Architecture: System Design, Development, and Maintenance (Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture), Pages 29-43, Kluwer Academic Publishers, 25-31 August 2002.
   
Shang-Wen Cheng, David Garlan, Bradley Schmerl, Joao Pedro Sousa, Bridget Spitznagel, Peter Steenkiste and Ningning Hu. Software Architecture-based Adaptation for Pervasive Systems. In H Schmeck, T Ungerer and L Wolf editors, International Conference on Architecture of Computing Systems (ARCS'02): Trends in Network and Pervasive Computing, Vol. 2299 of Lecture Notes in Computer Science, Springer-Verlag, Karlsruhe, Germany, 8-11 April 2002.
   
Felix Bachmann, Len Bass, Paul Clements, David Garlan, James Ivers, Reed Little, Robert Nord and Judith Stafford. Documenting Software Architecture: Documenting Behavior. Technical report, CMU/SEI-2002-TN-001, Software Engineering Institute, 2002.
   
David Garlan, Andrew Kompanek and Shang-Wen Cheng. Reconciling the Needs of Architectural Description with Object-Modeling Notations. In Science of Computer Programming, Vol. 44:23-49, 2002.
   
Alan Kaplan, Bradley Schmerl and Rajesh Veeraraghaven. Toward Automated Support for Transparent Interoperable Queries. In Journal of Information Technology and Management, Vol. 3(4):387-406, October 2002. A shorter version of this paper appeared in the Ninth Workshop on Information Technologies and Systems (WITS99)(Charlotte, USA, December 1999).

2001

David Garlan, Bradley Schmerl, and Jichuan Chang, Using Gauges for Architecture-Based Monitoring and Adaptation, in the Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, 12-14 December, 2001.

F. Bachmann, L. Bass, P. Clements, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford, Documenting Software Architectures: Organization of Documentation Package, Software Engineering Institute Technical Report CMU-SEI-2001-TN-010, October, 2001.

Bridget Spitznagel, and David Garlan, A Compositional Approach for Constructing Connectors, The Working IEEE/IFIP Conference on Software Architecture (WICSA'01), Royal Netherlands Academy of Arts and Sciences Amsterdam , The Netherlands, August 28-31, 2001.

Shang-Wen Cheng, and David Garlan, Mapping Architectural Concepts to UML-RT, in 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Monte Carlo Resort, Las Vegas, Nevada, USA, June, 2001.

Shang-Wen Cheng, and David Garlan, Mapping Architectural Concepts to UML-RT,  in 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Monte Carlo Resort, Las Vegas, Nevada, USA, June, 2001.

David Garlan, and Bradley Schmerl, Component-Based Software Engineering in a Pervasive Computing Environment, The 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, Toronto, Canada, May 14-15, 2001.

David Garlan, Software Architecture, Wiley Encyclopedia of Software Engineering, J. Marciniak (Ed.), John Wiley & Sons, 2001.

Juergen Dingel, David Garlan, and Craig A. Damon, A feasibility study of the HLA bridge, Juergen Dingel, David Garlan, and Craig A. Damon, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-01-103, March, 2001.

João Pedro Sousa, and David Garlan, Formal Modeling of the Enterprise JavaBeans Component Integration Framework, Information and Software Technology, Special Issue on Component Based Development, 43:3, March 2001. Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science.

2000

David Garlan, Software Architecture: a Roadmap,  in The Future of Software Engineering, A. Finkekstein (Ed), ACM Press, 2000.

Zhenyu Wang and David Garlan, Task-Driven Computing, Technical Report CMU-CS-00-154, Carnegie Mellon University School of Computer Science, 2000.

David Garlan, Andrew Kompanek, John Kenney, David Luckham, Bradley Schmerl, and Dave Wile, An Activity Language for the ADL Toolkit, David Garlan, Andrew Kompanek, John Kenney, David Luckham, Bradley Schmerl, and Dave Wile, Working Draft, published August 2000.

David Garlan, Robert T. Monroe, and David Wile, Acme: Architectural Description of Component-Based Systems, Foundations of Component-Based Systems, Gary T. Leavens and Murali Sitaraman (eds), Cambridge University Press, 2000, pp. 47-68.

Felix Bachmann, Len Bass, Jeromy Carriere, Paul Clements, David Garlan, James Ivers, Robert Nord, and Reed Little,  Software Architecture Documentation in Practice: Documenting Architectural Layers,"  Carnegie Mellon University, Software Engineering Institute Special Report CMU/SEI-2000-SR-004, March 2000.

David Garlan, Software Architecture and Object-Oriented Systems, in Proceedings of the IPSJ Object-Oriented Symposium 2000, August 2000.

David Garlan and João Pedro Sousa, Documenting Software Architectures: Recommendations for Industrial Practice, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-00-169, October 2000.

David Garlan and Andrew Kompanek, Reconciling the Needs of Architecture Description with Object-Modeling Notations, Proceedings of the Third International Conference on the Unified Modeling Language - <<UML>> 2000, York, UK, October 2000.

David Garlan, and Serge Khersonsky, Model Checking Implicit-Invocation Systems,  Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), San Diego, CA., November 2000.

David Garlan, Pervasive Computing and the Future of CSCW Systems, A Position Paper for the CSCW2000 Workshop on Software Architectures for Cooperative Systems, November, 2000.

David Garlan and Serge Khersonsky, Model Checking Implicit-Invocation Systems, In Proceedings of the 10th International Workshop on Software Specification and Design, San Diego, CA, November 2000.

1999

David Garlan and Zhenyu Wang, A Case Study in Software Architecture Interchange, Proceedings of Coordination'99, Springer Verlag, 1999.

Craig Damon, Ralph Melton, Elizabeth Bigelow, Jams Ivers and David Garlan, Formalizing a Specification for Analysis: The HLA Ownership Properties, CMU School of Computer Science Technical Report CMU-CS-99-126, 1999.

1998

Robert J. Allen, David Garlan, and James Ivers, Formal Modeling and Analysis of the HLA Component Integration Standard,  Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), November 1998.

Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin,  Towards a Formal Treatment of Implicit Invocation using Rely-Guarantee Reasoning, Formal Aspects of Computing, 10:193-213, 1998.

Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin, Reasoning about Implicit Invocation,  Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena Vista, FL, November 1998.

Bridget Spitznagel, and David Garlan,  Architecture-Based Performance Analysis, Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering (SEKE'98), June 1998.

David Garlan, Higher-Order Connectors, Proceedings of the Workshop on Compositional Software Architectures, January, 1998.

Robert J. Allen, Remi Douence, and David Garlan, Specifying and Analyzing Dynamic Software Architectures,  Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98) Lisbon, Portugal, March 1998.

1997

Robert T. Monroe, Andrew Kompanek, Ralph Melton, and David Garlan, Architectural Styles, Design Patterns, and Objects, IEEE Software January, 1997. pp. 43-52.

Robert Allen and David Garlan, A Formal Basis For Architectural Connection,  A revised version of the paper that appeared in ACM Transactions on Software Engineering and Methodology, July 1997.

Robert J. Allen, Remi Douence, and David Garlan, Specifying Dynamism in Software ArchitecturesProceedings of the Workshop on Foundations of Component-Based Software Engineering, September 1997.

Ralph Melton and David Garlan, Architectural Unification, Proceedings of CASCON '97, November 1997.

Robert Allen, and David Garlan, Formal Modeling and Analysis of the HLA RTI, Proceedings of the 1997 Spring Simulation Interoperability Workshop, Orlando, FL, March 1997.

David Garlan, Robert Monroe, and Dave Wile,  Acme: An Architecture Description Interchange Language, Proceedings of CASCON 97, Toronto, Ontario, November 1997, pp. 169-183.

David Garlan, James E. Tomayko, and David Gluch, Agents of Change: Educating Future Leaders in Software Engineering, IEEE Computer, November 1997.

Jurgen Dingel, David Garlan, Somesh Jha and David Notkin,  Toward a formal treatment of implicit invocation, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-97-153, 1997.

1996

Robert Allen, and David Garlan, A Case Study in Architectural Modelling: The AEGIS SystemProceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), March 1996.

David Garlan, Style-Based Refinement for Software Architecture, Proceedings of the Second International Software Architecture Workshop (ISAW2), October 1996.

Mary Shaw, and David Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996.

Robert T. Monroe, and David Garlan, Style Based Reuse for Software Architecture, Proceedings of the 1996 International Conference on Software Reuse, April, 1996.

1995

David Garlan and Dewayne Perry, Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, April 1995.

David Garlan, Robert Allen, and John Ockerbloom,  Architectural Mismatch or, Why it's hard to build systems out of existing parts, Proceedings of the 17th International Conference on Software Engineering (ICSE-17), April 1995. A revised and extended version of this paper appeared in IEEE Software, Volume 12, Issue 6, Nov. 1995 (pp. 17-26).

Gregory Abowd, Robert Allen, and David Garlan, Formalizing Style to Understand Descriptions of Software Architecture, ACM Transactions on Software Engineering and Methodology 4(4):319-364, October 1995.

Mary Shaw, and David Garlan, Formulations and Formalisms in Software Architecture, Computer Science Today: Recent Trends and Developments, Jan van Leeuwen (Ed). Published as Lecture Notes in Computer Science, Volume 1000, Springer Verlagm pp. 307-323, 1995.

David Garlan, What is Style?,Proceedings of the Dagstuhl Workshop on Software Architecture, Saarbruecken, Germany, February, 1995.

1994

David Garlan, Integrating Formal Methods into a Professional Master of Software Engineering Program, June 1994.

David Garlan, Robert Allen, John Ockerbloom,  Exploiting Style in Architectural Design Environments, Proceedings of SIGSOFT '94 Symposium on the Foundations of Software Engineerng, December 1994.

Robert Allen and David Garlan,  Formal Connectors, Carnagie Mellon University School of Computer Science Technical Report CMU-CS-94-115, March 1994.

Robert Allen, and David Garlan, Beyond Definition/Use: Architectural Interconnection, Proceedings of the ACM Interface Definition Language Workshop, January, 1994.

David Garlan, and Mary Shaw, In V. Ambriola and G. Tortora (ed.),  An Introduction to Software Architecture, Advances in Software Engineering and Knowledge Engineering, Series on Software Engineering and Knowledge Engineering, Vol 2, World Scientific Publishing Company, Singapore, pp. 1-39, 1993. Also available as: Carnegie Mellon University Technical Report CMU-CS-94-166, January 1994. Reprinted in "CMIS 460: Software Design and Development Faculty Course Guide", University of Maryland, Office of Instructional Development, Summer 1995.

Mary Shaw and David Garlan, Characteristics of Higher-level Languages for Software Architectures, CMU School of Computer Science Technical Report CMU-CS-94-210, 1994.

"Formal Connectors," Robert Allen and David Garlan, CMU School of Computer Science Technical Report CMU-CS-94-115, 1994.

David Garlan and Dewayne Perry,  Software Architecture: Practice, Potential, and Pitfalls Panel Introduction, Panel Introduction in Proceedings of the Sixteenth International Conference on Software Engineering, May 1994.

David Garlan,  The Role of Software Architecture in Requirements Engineering, Proceedings of the Second International Conference on Requirements Engineering, April 1994.

David Garlan and Mary Shaw,  Software Development Assignments for a Software Architecture Course, Software Engineering Resources: Proceedings of the ACM/IEEE International Workshop on Software Engineering Education, May, 1994.

Robert Allen and David Garlan, Formalizing Architectural Connection, Proceedings of the 16th International Conference on Software Engineering, May 1994.

1993

Robert Allen, and David Garlan, Towards Formalized Software Architecture, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-92-163, July 1992.

Gregory Abowd, Robert Allen, and David Garlan, Using Style to Understand Descriptions of Software Architecture, Proceedings of SIGSOFT '93: Symposium on the Foundations of Software Engineering, December, 1993.

David Notkin, David Garlan, William G. Griswold, and Kevin Sullivan, Adding Implicit Invocation to Languages: Three Aproaches, Proc. JSSST Symp. Object Technologies for Advanced Software, Springer-Verlag LNCS 742, November 1993.

1992

David Garlan and Curtis Scott, Reactive Integration for Traditional Programming Languages, CMU School of Computer Science Technical Report CMU-CS-92-217, 1992.

David Garlan, Mary Shaw, Chris Okasaki, Curtis Scott, and Roy Swonger,  Experience with a Course on Architectures for Software Systems in Proceedings of the Sixth SEI Conference on Software Engineering Education, October 1992. Published in Lecture Notes in Computer Science Volume 376, Springer Verlag. Also available as CMU/SEI Technical Report CMU/SEI-92-TR-17, under title "Experience with a Course on Architectures for Software Systems -- Part I: Course Description.

1991

David Garlan and David Notkin. Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM'91: Formal Software Development Methods. Lecture Notes in Computer Science 551, Springer-Verlag (October 1991).

1990

Norman Delisle, and David Garlan, A Formal Specification of an Oscilloscope, IEEE Software, Volume 7, Number 5, September 1990.


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 communication is forbidden.  Comments to the maintainer.