|
David Garlan Professor of Computer
Science
Home ¦ Projects ¦ Publications ¦ Academics ¦ External Activities |
|||
|
|
|||
Publications
2020
Roykrong Sukkerd, Reid Simmons and David Garlan. Tradeoff-Focused Contrastive Explanation for MDP Planning. In Proceedings of the The 29th IEEE International Conference on Robot & Human Interactive Communication, Virtual, 31 August - 4 September 2020. To appear.
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and David Garlan. Hybrid Planning Using Learning and Model Checking for Autonomous Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Supplemental Material | Presentation Video.
Nianyu Li, Javier Cámara, David Garlan and Bradley Schmerl. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Presentation Video.
Thomas J. Glazier, David Garlan and Bradley Schmerl. Case Study of an Automated Approach to Managing Collections of Autonomic Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Presentation Video.
Martin Pfannmüller, Martin Breitbach, Christian Krupitzer, Marcus Weckesser, Christian Becker, Bradley Schmerl and Andy Schürr. REACT: A Model-Based Runtime Environment for Adapting Communication Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020.
Cody Kinneer, Rijnard Van Tonder, David Garlan and Claire Le Goues. Building Reusable Repertoires for Stochastic Self-* Planners. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., USA, 17-21 August 2020. Presentation Video.
Maria Casimiro, Diego Didona, Paolo Romano, Luis Rodrigues, Willy Zwaenepoel and David Garlan. Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. In The 40th International Conference on Distributed Computing Systems, Singapore, 8-10 July 2020. Accepted for publication.
Javier Cámara, Bradley Schmerl and David Garlan. Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
Nianyu Li, Sridhar Adepu, Eunsuk Kang and David Garlan. Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang and Kenji Tei. Towards Bridging the Gap between Control and Self-Adaptive System Properties. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
Sheila Venero, Bradley Schmerl, Leonardo Montecchi, Julio Cesar Dos Reis and Cecilia M. F. Rubira. Automated Planning for supporting Knowledge-intensive Processes. In Proceedings of the 20th Business Process Modeling, Development and Support (BPMDS) Working Conference, 8-9 June 2020.
Ivano Malavolta, Grace A. Lewis, Bradley Schmerl, Patricia Lago and David Garlan. How do you Architect your Robots? State of the Practice and Guidelines for ROS-based System. In Proceedings of the 42nd International Conference on Software Engineering: Software Engineering in Practice, 23-29 May 2020. To appear.
Nabor C. Mendonça, Carlos Aderaldo, Javier Cámara and David Garlan. Model-Based Analysis of Microservice Resiliency Patterns. In Proceedings of the 2020 IEEE International Conference on Software Architecture, 16-20 March 2020. To appear.
Ashutosh Pandey. Hybrid Planning in Self-adaptive Systems. PhD thesis, Carnegie Mellon University, 2020. Institute for Software Research Technical Report CMU-ISR-20-100.
Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson and Kenji Tei. Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. 2020. Submitted for publication.
2019
Nabor C. Mendonça, Pooyan Jamshidi, David Garlan and Claus Pahl. Developing Self-Adaptive Microservice Systems: Challenges and Directions. In IEEE Software, 26 November 2019.
Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues and David Garlan. Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats. In In Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for Systems Design (MEMCODE\'19), San Diego, USA, 9-11 October 2019.
Carlos Aderaldo, Nabor C. Mendonça, Bradley Schmerl and David Garlan. Kubow: An Architecture-Based Self-Adaptation Service for Cloud Native Applications. In Proceedings of the 2019 European Conference on Software Architecture: Tools Track, Paris, France, 9-13 September 2019. Awarded Best Demo.
Thomas J. Glazier and David Garlan. An Automated Approach to Management of a Collection of Autonomic Systems. In Proceedings of the 4th eCAS Workshop on Engineering Collective Adaptive Systems, Umea, Sweden, 16 June 2019.
Javier Cámara, David Garlan and Bradley Schmerl. Synthesizing Tradeoff Spaces of Quantitative Guarantees for Families of Software Systems. In Journal of Systems and Software, Vol. 152:33-49, June 2019. https://doi.org/10.1016/j.jss.2019.02.055.
Pooyan Jamshidi, Javier Cámara, Bradley Schmerl, Christian Kästner and David Garlan. Machine Learning Meets Quantitative Planning: Enabling Self-adaptation in Autonomous Robots. In Proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Montreal, Canada, 25-26 May 2019.
Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey and David Garlan. DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems. In Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Montreal, Canada, 25-26 May 2019. Winner of the Best Artifact Award.
Tobias Dürschmid, Eunsuk Kang and David Garlan. Trade-off-oriented Development: Making Quality Attribute Trade-offs First-class. In Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, Montreal, CA, May 2019.
Ellin Zhao and Roykrong Sukkerd. Interactive Explanation for Planning-Based Systems. In Proceedings of the 10th ACM/IEEE International Conference on Cyberphysical Systems, Work-in-Progress track, Montreal, Canada, 16-18 April 2019.
Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Chrisopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara and Pooyan Jamshidi. Model-Based Adaptation for Robotics Software. In IEEE Software, March 2019.
Ivan Ruchkin. Integration of Modeling Methods for Cyber-Physical Systems. PhD thesis, Carnegie Mellon University, March 2019. Institute for Software Research Technical Report CMU-ISR-18-107.
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
Darko Bozhinoski, David Garlan, Ivano Malavolta and Patrizio Pelliccione. Managing safety and mission completion via collective run-time adaptation. In Journal of Systems Architecture, Vol. 95:19--35, 2019.
Cody Kinneer, David Garlan and Claire Le Goues. Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. 2019. Submitted for publication.
2018
Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty and its Reduction in Decision-Making for Self-Adaptation. In Science of Computer Programming, Vol. 167:51-69, 1 December 2018.
Nabor C. Mendonça, David Garlan, Bradley Schmerl and Javier Cámara. Generality vs. Reusability in Architecture-Based Self-Adaptation: The Case for Self-Adaptive Microservices. In The 12th European Conference on Software Architecture: Companion Proceedings, Madrid, Spain, 24-28 September 2018.
Javier Cámara, Bradley Schmerl, Gabriel A. Moreno and David Garlan. MOSAICO: Offline Synthesis of Adaptation Strategy Repertoires with Flexible Trade-Offs. In Automated Software Engineering, Vol. 25(3): 595–626, September 2018. Springer Link.
Nancy Mead, David Garlan and Mary Shaw. Half a Century of Software Engineering Education: The CMU Exemplar. In IEEE Software, Special Issue on 50th Anniversary of Software Engineering, Vol. 35(5):25 -- 31, September 2018. Issue received the 2018 APEX Award of Excellence.
Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl and David Garlan. IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems. In 22nd International Symposium on Formal Methods (FM2018), Oxford, UK, 15-17 July 2018. Appendices.
Gabriel A. Moreno, Bradley Schmerl and David Garlan. SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications. In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Gothenburg, Sweden, 28-29 May 2018. Best Artifact Paper Award Winner.
Gabriel A. Moreno, Javier Cámara, David Garlan and Mark Klein. Uncertainty Reduction in Self-Adaptive Systems. In Proc. of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, Sweden, 28-29 May 2018.
Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan and Claire Le Goues. Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search. In In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 28-29 May 2018. Selected as a distinguished paper.
Roykrong Sukkerd, Reid Simmons and David Garlan. Towards Explainable Multi-Objective Probabilistic Planning. In Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS\'18), Gothenburg, Sweden, 27 May 2018.
Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. In ACM Transactions on Autonomous and Adaptive Systems, Vol. 13(1), May 2018. https://doi.org/10.1145/3149180.
Ryan Wagner, David Garlan and Matthew Fredrikson. Poster: Quantitative Underpinnings of Secure, Graceful Degradation. In In Proceedings of the 2018 Symposium of Hot Topics in the Science of Security, Raleigh, North Carolina, 10-11 April 2018.
Ryan Wagner, David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.
Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl and David Garlan. Appendix for IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems. 2018. Paper Reference.
2017
Gautham Nayak Seetanandi, Javier Cámara, Luis Almeida, Karl-Erik Årzén and Martina Maggio. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks. In Proceedings of the 2017 IEEE Real-Time Systems Symposium, Paris, France, 5-8 December 2017.
Thomas J. Glazier, Bradley Schmerl, Javier Cámara and David Garlan. Utility Theory for Self-Adaptive Systems. Technical report, CMU-ISR-17-119, Carnegie Mellon University Institute for Software Research, December 2017. http://reports-archive.adm.cs.cmu.edu/anon/isr2017/abstracts/17-119.html.
Ashutosh Pandey, Bradley Schmerl and David Garlan. Instance-based Learning for Hybrid Planning. In Proceedings of the 3rd International Workshop on Data-driven Self-regulating Systems (DSS 2017), Tucson, AZ, USA, 18-22 September 2017.
Ashutosh Pandey. Hybrid Planning in Self-Adaptive Systems. In FAS* Foundations and Applications of Self* Systems (FAS* 2017) Doctoral Symposium, Tucson, AZ, USA, 18-22 September 2017.
Javier Cámara, David Garlan and Bradley Schmerl. Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. In Proceedings of the 11th European Conference on Software Architecture, Cantebury, UK, 11-15 September 2017. Winner of the ECSA Best Paper Award.
Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation. In Proceedings of the 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017), Vol. 10729 of Lecture Notes in Computer Science, Springer, 5 September 2017.
David Garlan, Nicolas D’Ippolito and Kenji Tei. The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) Technical report, NII-2017-10, National Institute of Informatics, 24-28 July 2017.
Ryan Wagner, Matthew Fredrikson and David Garlan. An Advanced Persistent Threat Exemplar. Technical report, CMU-ISR-17-100, Institute of Software Research, Carnegie Mellon University, July 2017. http://reports-archive.adm.cs.cmu.edu/anon/isr2017/abstracts/17-100.html.
Javier Cámara, David Garlan, Won Gu Kang, Wenxin Peng and Bradley Schmerl. Uncertainty in Self-Adaptive Systems. Technical report, CMU-ISR-17-110, Institute for Software Research, Carnegie Mellon University, July 2017. http://reports-archive.adm.cs.cmu.edu/anon/isr2017/abstracts/17-110.html.
Gabriel A. Moreno, Alessandro V. Papadopoulos, Konstantinos Angelopoulo, Javier Cámara and Bradley Schmerl. Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), Buenos Aires, Argentina, 22-23 May 2017.
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and Javier Cámara. Towards a Formal Framework for Hybrid Planning in Self-Adaptation. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), Buenos Aires, Argentina, 22-23 May 2017.
Gabriel A. Moreno. Adaptation Timing in Self-Adaptive Systems. PhD thesis, Institute for Software Research, School of Computer Science,Carnegie Mellon University, April 2017. Technical Report CMU-ISR-17-103.
Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley Schmerl, David Garlan and Jürgen Pfeffer. Model-based cluster analysis for identifying suspicious activity sequences in software. In Proceedings of the 3rd International Workshop on Security and Privacy Analytics (IWSPA 2017), Scottsdale, AZ, 24 March 2017.
Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Analyzing Self-Adaptation via Model Checking of Stochastic Games. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems III. Assurances, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017.
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Larse Grunske, Paola Inverardi, Jean-Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori and Giordano Tambrrellii. Perpetual Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems III. Assurances, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017.
Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra Cohen, Cecilia M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli and Luciano Baresi. Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems III. Assurances, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017.
Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura and Marco Vieira. Robustness-Driven Resilience Evaluation of Self-Adaptive Systems. In IEEE Transactions on Dependable and Secure Computing , Vol. 14(1):50-64, 2017.
Vishal Dwivedi, James Herbsleb and David Garlan. What Ails End-User Composition: A Cross-Domain Qualitative Study. In End-User Development. IS-EUD 2017, Vol. 10303 of Lecture Notes in Computer Science, Springer, 2017.
2016
Javier Cámara, Gabriel A. Moreno, David Garlan and Bradley Schmerl. Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. In ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section on Best Papers from SEAMS 2014 and Regular Articles, Vol. 10(4):23:1--23:28, ACM, New York, NY, USA, February 2016. ISSN 1556-4665.
Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Analyzing Self-Adaptation via Model Checking of Stochastic Games. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems 3, Springer, 2016. Accepted for publication.
Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara and David Garlan. Hybrid Planning for Decision Making in Self-Adaptive Systems. In Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Augsburg, Germany, 12-16 September 2016.
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Larse Grunske, Paola Inverardi, Jean-Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori and Giordano Tambrrellii. Perpetual Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Springer, 2016. To appear.
Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Evaluating Trade-Offs of Human Involvement in Self-Adaptive Systems. In Ivan Mistrik, Nour Ali, John Grundy, Rick Kazman and Bradley Schmerl editors, Managing Trade-Offs in Self-Adaptive Systems, Elsevier, 2016. To appear.
Javier Cámara, Antónia Lopes, David Garlan and Bradley Schmerl. Adaptation impact and environment models for architecture-based self-adaptive systems. In Science of Computer Programming, Special issue of the 11th International Symposium on Formal Aspects of Component Software , Vol. 127:50-75, 2016. doi:10.1016/j.scico.2015.12.006.
João M. Franco, Francisco Correia, Raul Barbosa, Mário Zenha-Rela, Bradley Schmerl and David Garlan. Improving Self-Adaptation Planning through Software Architecture-based Stochastic Modeling. In Journal of Systems and Software, Vol. 115:42-60, May 2016.
Hemank Lamba, Thomas J. Glazier, Bradley Schmerl, Javier Cámara, David Garlan and Jürgen Pfeffer. A Model-based Approach to Anomaly Detection in Software Architectures (Poster) In Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, 19-21 April 2016.
Bradley Schmerl, Jeffrey Gennari, Javier Cámara and David Garlan. Raindroid – A System for Run-time Mitigation of Android Intent Vulnerabilities (Poster) In Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, 19-21 April 2016.
Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. In Proceedings of the 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Würzburg, Germany, 19-22 July 2016. To appear.
Roykrong Sukkerd, Javier Cámara, David Garlan and Reid Simmons. Multiscale Time Abstractions for Long-Range Planning under Uncertainty. In Proceedings of the 2nd ICSE Workshop on Software Engineering for Smart Cyberphysical Systems, Austin, Texas, 16 May 2016.
Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra Cohen, Cecilia M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli and Luciano Baresi. Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Springer, 2016. To appear.
Bradley Schmerl, Jeffrey Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara and David Garlan. Architecture Modeling and Analysis of Security in Android Systems. In Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Vol. 9839 of Lecture Notes in Computer Science, Springer, Copenhagen, Denmark, 30 November - 2 December 2016.
2015
Ivan Ruchkin, Bradley Schmerl and David Garlan. Architectural Abstractions for Hybrid Programs. In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015), Montréal, QC, Canada, 4-8 May 2015. CBSE Best Paper Award.
Javier Cámara, David Garlan, Bradley Schmerl and Ashutosh Pandey. Optimal Planning for Architecture-Based Self-Adaptation via Model Checking of Stochastic Games. In Proceedings of the 10th DADS Track of the 30th ACM Symposium on Applied Computing, Salamanca, Spain, 13-17 April 2015.
Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl and Rafael Ventura. Incorporating Architecture-Based Self-Adaptation into an Adaptive Industrial Software System. 2015. Submitted for publication.
Javier Cámara, Gabriel A. Moreno and David Garlan. Reasoning about Human Participation in Self-Adaptive Systems. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), Florence, Italy, 18-19 May 2015.
Zack Coker, David Garlan and Claire Le Goues. SASS: Self-adaptation using stochastic search. In Proceedings 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), 18-19 May 2015.
Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Proactive Self-Adaptation under Uncertainty: a Probabilistic Model Checking Approach. In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, Italy, 30 August - 4 September 2015.
Ivan Ruchkin, Ashwini Rao, Dio De Niz, Sagar Chaki and David Garlan. Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. In Proceedings of the First ACM Workshop on Cyber-Physical Systems Security and Privacy, Denver, Colorado, 16 October 2015.
Thomas J. Glazier, Javier Cámara, Bradley Schmerl and David Garlan. Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. In Proceedings of the 3rd FoCAS Workshop on the Fundamentals of Collective Adaptive Systems, Boston, MA, USA, 21 September 2015.
Roykrong Sukkerd, David Garlan and Reid Simmons. Task Planning of Cyber-Human Systems. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods, Vol. 9276 of LNCS , Springer, York, UK, 7-11 September 2015.
Mary Shaw, Jonathan Aldrich, Travis Breaux, David Garlan, James Herbsleb, Christian Kastner, Claire Le Goues and William Scherlis. Seminal Papers in Software Engineering: The Carnegie Mellon Canonical Collection. Technical report, CMU-ISR-15-107, Institute for Software Research, Carnegie Mellon University, September 2015.
2014
Jeffrey M. Barnes, David Garlan and Bradley Schmerl. Evolution styles: foundations and models for software architecture evolution. In Journal of Software and Systems Modeling, Vol. 13(2):649-678, May 2014. DOI 10.1007/s10270-012-0301-9.
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.
Bradley Schmerl, Javier Cámara, Gabriel A. Moreno, David Garlan and Andrew Mellinger. Architecture-Based Self-Adaptation for Moving Target Defense. Technical report, CMU-ISR-14-109, Institute for Software Research, Carnegie Mellon University, 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.
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.
Sungwon Kang and David Garlan. Architecture-based
planning of software evolution. In International Journal of
Software Engineering and Knowledge Engineering, 2014.
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.
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.
Ivan Ruchkin, Dio De Niz, Sagar Chaki and David Garlan. Contract-Based Integration of Cyber-Physical Analyses. In Embedded Systems Week, 12-17 October 2014.
David Garlan. Software Architecture: A Travelogue. In Proceedings of the on Future of Software Engineering, Pages 29--39, ACM, New York, NY, USA , 2014. ISBN 978-1-4503-2865-4. Also available from ACM DOI: 10.1145/2593882.2593886.
Ivan Ruchkin, Vishal Dwivedi, David Garlan and Bradley Schmerl. Architectural Modeling of Ozone Widget Framework End-User Compositions. Technical report, Technical Report CMU-ISR-14-108, Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, June 2014.
Javier Cámara, Antonia Lopes, David Garlan and Bradley Schmerl. Impact Models for Architecture-Based Self-Adaptive Systems. In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS2014), Bertinoro, Italy, 10-12 September 2014.
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.
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.
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.
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.
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.
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 with RTSS 2010.
David Garlan. Software Engineering in an Uncertain World. In Proceedings of the FSE/SDP workshop on Future of Software Engineering Research, Pages 125-128, ACM, New York, NY, USA, 2010. ISBN 978-1-4503-0427-6.
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.
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.
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.
João Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan and Mahadev Satyanarayanan. A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs. In J. Cordeiro editor, Software and Data Technologies, Vol. 47:48-61 of CCIS, Springer, 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.
João 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. Cheng, Rogério 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.
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.
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.
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.
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, 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 Architectures, Proceedings 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 System, Proceedings 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
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
Robert Allen, and David Garlan, Towards Formalized Software Architecture, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-92-163, July 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.