<< Article (Journal) >>
publications sorted by year 
|
|
|
|
| 1 |
Javier Cámara,
Rebekka Wohlrab,
David Garlan and
Bradley Schmerl. Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems via Dimensionality Reduction. In IEEE Software, Vol. 41:64-73, January 2024. DOI: https://doi.ieeecomputersociety.org/10.1109/MS.2023.3320689.
|
| 2 |
Bruno Sousa, Duarte Dias, Nuno Antunes,
Javier Cámara,
Ryan Wagner,
Bradley Schmerl,
David Garlan and Pedro Fidalgo. MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. In Computers & Security, Vol. 140, May 2024. https://doi.org/10.1016/j.cose.2024.103768.
|
| 3 |
Maria Casimiro, Diogo Soares,
David Garlan, Luis Rodrigues and Paolo Romano. Self-Adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. In ACM Transactions on Autonomous and Adaptive Systems, March 2024.
|
| 4 |
Carlos Aderaldo, Thiago M. Costa, Davi M. Vasconcelos,
Nabor C. Mendonça,
Javier Cámara and
David Garlan. A Declarative Approach and Benchmark Tool for Controlled Evaluation of Microservice Resiliency Patterns. In Software Practice and Experience, August 2024.
|
|
|
|
|
| 5 |
Javier Cámara and
David Garlan. A study on the impact of repetition of formative assessments in a formal methods course for professional software engineers. In IEEE Software, 2023. doi: 10.1109/MS.2023.3291400.
|
| 6 |
Md Abir Hossen, Sonam Kharade,
Bradley Schmerl,
Javier Cámara, Jason M. O\'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla,
David Garlan and
Pooyan Jamshidi. CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. In IEEE Robotics and Automation Letters, Pages 1-8, May 2023. doi: 10.1109/LRA.2023.3280810.
|
|
|
|
|
| 7 |
Sridhar Adepu,
Nianyu Li,
Eunsuk Kang and
David Garlan. Modeling and Analysis of Explanation for Secure Industrial Control Systems. In ACM Transactions on Autonomous and Adaptive Systems, July 2022. https://dl.acm.org/doi/10.1145/3557898.
|
| 8 |
Rebekka Wohlrab and
David Garlan. A Negotiation Support System for Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. In Requirements Engineering, 2022. https://doi.org/10.1007/s00766-021-00368-y.
|
| 9 |
Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H.C. Cheng,
David Garlan and
Bradley Schmerl. The uncertainty interaction problem in self-adaptive systems. In Software System and Modelling, August 2022. Expert Voice Paper (https://doi.org/10.1007/s10270-022-01037-6).
|
| 10 |
Rebekka Wohlrab,
Javier Cámara,
David Garlan and
Bradley Schmerl. Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. In The Journal of Systems and Software, October 2022.
|
| 11 |
Javier Cámara,
Rebekka Wohlrab,
David Garlan and
Bradley Schmerl. ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. In Journal of Systems and Software, December 2022. https://doi.org/10.1016/j.jss.2022.111578.
|
|
|
|
|
|
|
|
|
| 13 |
Martin Pfannmüller, Martin Breitbach, Marcus Weckesser, Christian Becker,
Bradley Schmerl, Andy Schürr and Christian Krupitzer. REACT-ION: A Model-based Runtime Environment for Situation-aware Adaptations. In ACM Transactions on Autonomous and Adaptive Systems, Vol. 15(4):1-29, December 2020.
|
|
|
|
|
| 14 |
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.
|
| 15 |
Jonathan Aldrich,
David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir,
Ivan Ruchkin, Selva Samuel,
Bradley Schmerl, Christopher 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.
|
| 16 |
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.
|
| 17 |
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.
|
|
|
|
|
| 18 |
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.
|
| 19 |
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.
|
| 20 |
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.
|
| 21 |
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.
|
|
|
|
|
| 22 |
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.
|
|
|
|
|
| 23 |
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.
|
| 24 |
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.
|
| 25 |
João Franco, Francisco Correia, Raul Barbosa, Mario 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.
|
|
|
|
|
|
|
|
|
| 27 |
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.
|
| 28 |
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, Vol. 59(12):3178--3193, December 2014. Also available at http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6882828.
|
| 29 |
Sungwon Kang and
David Garlan. Architecture-based planning of software evolution. In International Journal of Software Engineering and Knowledge Engineering, Vol. 24(2), March 2014. DOI: 10.1142/S0218194014500090.
|
|
|
|
|
|
|
|
|
|
|
|
|
| 32 |
Akshay Rajhans,
Shang-Wen Cheng,
Bradley Schmerl,
David Garlan, Bruce Krogh, Clarence Agbi and Ajinkya Y. 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.
|
| 33 |
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.
|
| 34 |
David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch: Why Reuse is Still So Hard. In IEEE Software, 25th-Anniversary Top Picks, Pages 66-69, July 2009.
|
|
|
|
|
|
|
|
|
| 36 |
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).
|
|
|
|
|
| 37 |
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.
|
| 38 |
João 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.
|
| 39 |
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.
|
|
|
|
|
|
|
|
|
| 41 |
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.
|
| 42 |
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.
|
| 43 |
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).
|
|
|
|
|
| 44 |
João Sousa and
David Garlan. Formal Modeling of the Enterprise JavaBeans Component Integration Framework. In Information and Software Technology, Vol. 43(3), March 2001. Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science.
|
|
|
|
|
| 45 |
Jurgen Dingel,
David Garlan, Somesh Jha and David Notkin. Towards a formal treatment of implicit invocation using rely/guarantee reasoning. In Formal Aspects of Computing, Vol. 1-:193-213, 1998. Supersedes CMU-CS-97-153.
|
|
|
|
|
| 46 |
Robert T. Monroe,
Andrew Kompanek, Ralph Melton and
David Garlan. Architectural Styles, Design Patterns, and Objects. In IEEE Software, Vol. 14(1):43-52, January 1997.
|
| 47 |
Robert Allen and
David Garlan. A Formal Basis for Architectural Connection. In ACM Transactions on Software Engineering and Methodology, Vol. 6(3):213-249, July 1997.
|
| 48 |
David Garlan, James Tomayko and David Gluch. Agents of Change: Educating Future Leaders in Software Engineering. In IEEE Computer, November 1997.
|
|
|
|
|
| 49 |
David Garlan and Dewayne Perry. Introduction to the Special Issue on Software Architecture. In IEEE Transactions on Software Engineering, Vol. 21(4), April 1995.
|
| 50 |
David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch: Why Reuse is so Hard. In IEEE Software, Vol. 12(6):17-26, 1995.
|
| 51 |
Gregory Abowd, Robert Allen and
David Garlan. Formalizing Style to Understand Descriptions of Software Architecture. In ACM Transactions on Software Engineering and Methodology, Vol. 4(4):319-364, October 1995.
|
|
|
|
|
| 52 |
Norman Delisle and
David Garlan. A Formal Specification of an Oscilloscope. In IEEE Software, Vol. 7(5), September 1990.
|
|
|
