Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
All publications   ( Html | Bibtex | Both )   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> TOP
1
 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.
2
 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.
3
 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.
4
 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.
5
 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.
6
 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.
7
 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).
8
 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.
9
 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.
10
 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.
11
 David Garlan, James Tomayko and David Gluch. Agents of Change: Educating Future Leaders in Software Engineering. In IEEE Computer, November 1997.
12
 David Garlan and Dewayne Perry. Introduction to the Special Issue on Software Architecture. In IEEE Transactions on Software Engineering, Vol. 21(4), April 1995.
13
 David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch: Why Reuse is so Hard. In IEEE Software, Vol. 12(6):17-26, 1995.
14
 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.
15
 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.
16
 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).
17
 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.
18
 Norman Delisle and David Garlan. A Formal Specification of an Oscilloscope. In IEEE Software, Vol. 7(5), September 1990.
19
 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.
20
 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.
21
 Jung Soo Kim and David Garlan. Analyzing Architectural Styles. In Journal of Software and Systems, Vol. 83(7):1216-1235, 2010.
22
 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. http://dx.doi.org/10.1016/j.jss.2012.02.060 .
23
 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.
24
 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.
25
 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.
26
 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.
27
 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.
28
 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. In Journal of Systems and Software, 2015. Available on-line http://dx.doi.org/10.1016/j.jss.2015.09.021.
29
 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.
30
 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.
31
 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.
32
 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.
33
 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.
34
 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.
35
 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.
36
 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.
37
 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.
38
 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.
39
 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.
40
 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.
41
 Ivano Malavolta, Grace A. Lewis, Bradley Schmerl, Patricia Lago and David Garlan. Mining Guidelines for Architecting Robotics Software. In Journal of Systems and Software, Vol. 178, August 2021. https://doi.org/10.1016/j.jss.2021.110969.
42
 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.
43
 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.
44
 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).
45
 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.
46
 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.
47
 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.
48
 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.
49
 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.
50
 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.
51
 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.
52
 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.
<< InProceedings >> TOP
1
 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.
2
 George Fairbanks, Kevin Bierhoff and Desmond D'Souza. Software Architecture at a Large Financial Firm. In Proceedings of ACM SIGPLAN Conference on Object Oriented Programs, Systems, Languages, and Applications (OOPSLA) 2006, Portland, OR, USA, 22-27 October 2006.
3
 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.
4
 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.
5
 João 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.
6
 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.
7
 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.
8
 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.
9
 Vahe Poladian, João 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.
10
 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.
11
 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.
12
 David Garlan, Vahe Poladian, Bradley Schmerl and João 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.
13
 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.
14
 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.
15
 Vahe Poladian, João 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.
16
 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.
17
 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.
18
 George Fairbanks. Software Engineering Environment Support for Frameworks: A Position Paper. In Proceedings of the ICSE 2004 Workshop on Directions in Software Engineering Environments, Edinburgh, Scotland, May 2004.
19
 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.
20
 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.
21
 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).
22
 Rajnish Kumar, Vahe Poladian, Ira Greenberg, Alan Messer and Dejan Milojicic. Selecting Devices for Aggregation. In Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003.
23
 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.
24
 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.
25
 George Fairbanks. Why Can't They Create Architecture Models Like Developer X? An Experience Report. In The 2003 International Conference on Software Engineering (ICSE'03), Portland, OR, 3-10 May 2003.
26
 Bridget Spitznagel and David Garlan. A Compositional Formalization of Connector Wrappers. In The 2003 International Conference on Software Engineering (ICSE'03), 2003.
27
 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.
28
 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.
29
 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, Edinburgh, Scotland, July 2002.
30
 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.
31
 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.
32
 Shang-Wen Cheng, David Garlan, Bradley Schmerl, João 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.
33
 João 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.
34
 Shang-Wen Cheng, David Garlan, Bradley Schmerl, João 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.
35
 David Garlan, Bradley Schmerl and Jichuan Chang. Using Gauges for Architecture-Based Monitoring and Adaptation. In Proceedings of the Working Conference on Complex and Dynamic Systems Architecture, 12-14 December 2001.
36
 Bridget Spitznagel and David Garlan. A Compositional Approach for Constructing Connectors. In The Working IEEE/IFIP Conference on Software Architecture (WICSA'01), Amsterdam, The Netherlands, 28-31 August 2001.
37
 Shang-Wen Cheng and David Garlan. Mapping Architectural Concepts to UML-RT. In Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas, NV, June 2001.
38
 David Garlan and Bradley Schmerl. Component-Based Software Engineering in a Pervasive Computing Environment. In The 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, Toronto, Canada, 14-15 May 2001.
39
 Alan Kaplan, John Ridgeway, Bradley Schmerl, Krishnan Sridar and Jack Wileden. Toward Pure Polylingual Persistence. In Ninth International Workshop on Persistent Object Systems: Design, Implementation and Use (POS9), Lillehammer, Norway, September 2000.
40
 Bradley Schmerl and Chris Marlin. Versioning and Consistency for Dynamically Composed Configurations. In The 7th International Workshop on Software Configuration Management, Vol. 1235:49-65 of Lecture Notes in Computer Science, Springer, Berlin, Boston, MA, May 1997.
41
 Bradley Schmerl and Chris Marlin. Consistency issues in partially bound dynamically composed systems. In Proceedings of the 1996 Australian Software Engineering Conference, Pages 183-191, Melbourne, Australia, June 1996.
42
 Bradley Schmerl and Chris Marlin. Defining consistency in the context of partially bound configurations of dynamically composed systems. In 6th International Workshop on Software Configuration Management - Preprint of Proceedings, Berlin, Germany, March 1996.
43
 Bradley Schmerl and Chris Marlin. Configuration management for dynamically bound systems. In Proceedings of the 5th Workshop on Software Configuration Management, Seattle, WA, April 1995.
44
 Dan Glastonbury, Chris Marlin, Michael Read and Bradley Schmerl. Run-time views as a debugging aid in an integrated software development environment. In 1997 Software Visualisation Workshop, Pages 51-59, Flinders University, South Australia, Adelaide, South Australia, December 1997.
45
 David Garlan and Zhenyu Wang. A Case Study in Software Architecture Interchange. In Proceedings of Coordination'99, Springer-Verlag, 1999.
46
 David Garlan. Software Architecture: a Roadmap. In A. Finkelstein editor, Proceedings of the Conference on The Future of Software Engineering, Pages 91--101, ACM Press, Limerick, Ireland, 2000.
47
 David Garlan and Serge Khersonsky. Model Checking Implicit-Invocation Systems. In Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), San Diego, CA, November 2000.
48
 David Garlan. Pervasive Computing and the Future of CSCW Systems. In CSCW2000 Workshop on Software Architectures for Cooperative Systems, November 2000. (Position Paper).
49
 David Garlan. Software Architecture and Object-Oriented Systems. In Proceedings of the IPSJ Object-Oriented Symposium 2000, August 2000.
50
 David Garlan and Andrew Kompanek. Reconciling the Needs of Architectural Description with Object-Modeling Notations. In Proceedings of the Third International Conference on the Unified Modeling Language - << UML >> 2000, York, UK, October 2000.
51
 Robert Allen, David Garlan and James Ivers. Formal Modeling and Analysis of the HLA Component Integration Standard. In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), ACM, Lake Buena Vista, Florida, November 1998.
52
 Jurgen Dingel, David Garlan, Somesh Jha and David Notkin. Reasoning about Implicit Invocation. In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena Vista, Florida, November 1998.
53
 Bridget Spitznagel and David Garlan. Architecture-Based Performance Analysis. In Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering (SEKE'98), June 1998.
54
 David Garlan. Higher-Order Connectors. In Proceedings of Workshop on Compositional Software Architectures, January 1998.
55
 Robert Allen, Remi Douence and David Garlan. Specifying and Analyzing Dynamic Software Architectures. In Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), Vol. 1382 of Lecture Notes in Computer Science, Springer, Lisbon, Portugal, March 1998. An expanded version of the paper Specifying Dynamism in Software Architectures, which appeared in the Proceedings of the Workshop on Foundations of Component-Based Software Engineering, September 1997.
56
 Ralph Melton and David Garlan. Architectural Unification. In Proceedings of CASCON'97, Ontario, Canada, November 1997.
57
 Robert Allen and David Garlan. Formal Modeling and Analysis of the HLA RTI. In Summary Report of the 1997 Spring Simulation Interoperability Workshop, Pages 1153-1161, Institute for Simulation and Training, Orlando, Florida, March 1997. IST-CF-97-01.2.
58
 David Garlan, Robert T. Monroe and David Wile. Acme: An Architecture Description Interchange Language. In Proceedings of CASCON'97, Pages 169-183, Toronto, Ontario, November 1997. One of the 14 high-impact papers from the first decade of CASCON, 2010.
59
 Robert Monroe. Capturing Design Expertise in Customized Software Architecture Design Environments. In Proceedings of the Second International Software Architecture Workshop, October 1996.
60
 Robert Allen and David Garlan. A Case Study in Architectural Modelling: The AEGIS System. In Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), Pages 6-15, Paderborn, Germany, March 1996.
61
 David Garlan. Style-Based Refinement for Software Architecture. In Joint Proceedings of the Second International Software Architecture Workshop (ISAW2) and the International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), ACM Press, San Francisco, CA, October 1996.
62
 Robert T. Monroe and David Garlan. Style-based Reuse for Software Architectures. In Proceedings of the Fourth International Conference on Software Reuse, April 1996.
63
 David Garlan. What is Style? In Proceedings of the Dagstuhl Workshop on Software Architecture, Saarbruecken, Germany, February 1995.
64
 Robert Allen. Formalism and Informalism in Architectural Style: A Case Study. In Proceedings of the First International Workshop on Architectures for Software Systems, April 1995.
65
 David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch, or, Why it's hard to build systems out of existing parts. In Proceedings of the 17th International Conference on Software Engineering, Pages 179-185, Seattle, Washington, April 1995. A revised and extended version of this paper appeared in <a href=http://ieeexplore.ieee.org/iel1/52/9910/00469757.pdf><i>IEEE Software</i>, Volume 12, Issue 6, Nov. 1995 (pp. 17-26)</a>. This paper was awarded an ACM SIGSOFT Impact Paper Award in 2011.
66
 David Garlan. Integrating Formal Methods into a Professional Master of Software Engineering Program. In Proceedings of the Eighth Z User Meeting, Springer-Verlag, Cambridge, England, June 1994.
67
 David Garlan, Robert Allen and John Ockerbloom. Exploiting Style in Architectural Design Environments. In Proceedings of SIGSOFT'94: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, December 1994.
68
 Robert Allen and David Garlan. Beyond Definition/Use: Architectural Interconnection. In Proceedings of the ACM Interface Definition Language Workshop, Vol. 29(8), SIGPLAN Notices, August 1994.
69
 David Garlan. The Role of Software Architecture in Requirements Engineering. In Proceedings of the Second International Conference on Requirements Engineering, 1994.
70
 David Garlan and Mary Shaw. Software Development Assignments for a Software Architecture Course. In Software Engineering Resources: Proceedings of the ACM/IEEE International Workshop on Software Engineering Education, May 1994.
71
 Robert Allen and David Garlan. Formalizing Architectural Connection. In Proceedings of the Sixteenth International Conference on Software Engineering, Pages 71-80, Sorrento, Italy, May 1994. Awarded ICSE2004 Best Paper (ICSE-10).
72
 Gregory Abowd, Robert Allen and David Garlan. Using Style to Understand Descriptions of Software Architecture. In Proceedings of SIGSOFT'93: Foundations of Software Engineering, Vol. 18(5):9-20 of Software Engineering Notes, ACM Press, December 1993.
73
 David Notkin, David Garlan, William Griswold and Kevin Sullivan. Adding Implicit Invocation to Languages: Three Aproaches. In Proceedings of the JSSST Symp. Object Technologies for Advanced Software, Vol. 742 of Lecture Notes in Computer Science, Spring-Verlag, November 1993.
74
 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.
75
 Andrew Faulring, Brad Myers, Ken Mohnkern, Bradley Schmerl, Aaron Steinfeld, John Zimmerman, Asim Smailagic, Jeffery Hansen and Daniel Siewioreck. Agent-Assisted Task Management that Reduces Email Overhead. In Proceedings of the 14th International Conference on Intelligent User Interfaces, Pages 61-70, ACM Press, Hong Kong, China, 7-10 February 2010. Honorable Mention Award in the Best Paper Contest. DOI.
76
 Vahe Poladian, David Garlan, Mary Shaw, Bradley Schmerl, João 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.
77
 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.
78
 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.
79
 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.
80
 João 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.
81
 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. <a href=http://godzilla.cs.toronto.edu/IWLU/program.html>http://godzilla.cs.toronto.edu/IWLU/program.html</a>;.
82
 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. <a href=http://godzilla.cs.toronto.edu/IWLU/program.html>http://godzilla.cs.toronto.edu/IWLU/program.html</a>;.
83
 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. <a href=http://godzilla.cs.toronto.edu/IWLU/program.html>http://godzilla.cs.toronto.edu/IWLU/program.html</a>;.
84
 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.
85
 João 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.
86
 João 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.
87
 David Garlan, Kathleen M. Carley, Bradley Schmerl, Michael W. 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.
88
 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.
89
 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.
90
 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.
91
 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. Awarded Most Influential Paper for SEAMS 2009.
92
 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.
93
 Ajinkya Y. 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.
94
 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 Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 20-21 May 2013.
95
 Bradley Schmerl, David Garlan, Vishal Dwivedi, Michael W. 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.
96
 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.
97
 Ajinkya Y. 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.
98
 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), Montreal, QC, Canada, 4-8 May 2015. CBSE Best Paper Award.
99
 Ajinkya Y. 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.
100
 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.
101
 Jeffrey M. Barnes. NASA\'s Advanced Multimission Operations System: A Case Study in Software Architecture Evolution. In Proceedings of the International ACM SIGSOFT Conference on the Quality of Software Architectures 2012, Bertinoro, Italy, 25-28 June 2012.
102
 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.
103
 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.
104
 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.
105
 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.
106
 David Garlan, Vishal Dwivedi, Ivan Ruchkin and Bradley Schmerl. Foundations and Tools for End-User Architecting. In David Garlan and Radu 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: http://www.springer.com/computer/swe/book/978-3-64234058-1.
107
 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.
108
 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), Pages 33-42, 17-21 June 2013. DOI: 10.1145/2465478.2465479.
109
 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.
110
 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.
111
 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.
112
 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.
113
 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.
114
 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.
115
 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.
116
 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.
117
 Javier Cámara, Pedro Correia, Rogério de Lemos and Marco Vieira. Empirical Resilience Evaluation of an Architecture-based Self-Adaptive Software System. In Tenth International ACM Sigsoft Conference on the Quality of Software Architectures, Lille, France, 30 June - 3 July 2014. ACM SIGSOFT QoSA Distinguished Paper Award.
118
 Javier Cámara, Antónia 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.
119
 Ivan Ruchkin, Dio De Niz, Sagar Chaki and David Garlan. ACTIVE: A Tool for Integrating Analysis Contracts. In The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2 December 2014.
120
 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.
121
 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.
122
 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.
123
 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.
124
 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.
125
 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.
126
 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.
127
 Ivan Ruchkin, Bradley Schmerl and David Garlan. Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. In Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems, Ottawa, Canada, 28 September 2015.
128
 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.
129
 Ivan Ruchkin. Architectural and Analytic Integration of Cyber-Physical System Models. In ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, ACM Student Research Award Competition, Ottawa, Canada, 30 September - 2 October 2015. Gold Medal Winner.
130
 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.
131
 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.
132
 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. Selected as a best paper.
133
 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.
134
 Pedro Caldeira Neves, Bradley Schmerl, Jorge Bernardino and Javier Cámara. Big Data in Cloud Computing: features and issues. In Proceedings of the 2016 International Conference on Internet of Things and Big Data, Rome, Italy, 23-25 April 2016.
135
 Ivan Ruchkin. Integration Beyond Components and Models: Research Challenges and Directions. In Proceedings of the 3rd Architecture Centric Virtual Integration Workshop, Venice, Italy, April 2016.
136
 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.
137
 Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Amanda Rico and David Garlan. Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems. In Workshop on MARTCPS Models at Runtime and Networked Control for Cyber Physical Systems at IEEE World Forum on the Internet of Things, Reston, Virginia, 12-14 December 2016. Winner of the IEEE World Forum on the Internet of Things Best Paper Award.
138
 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.
139
 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.
140
 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.
141
 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.
142
 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.
143
 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.
144
 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.
145
 Nicolas Rouquette, Nenad Medvidovic and David Garlan. Dependable Autonomous Systems = knowing well what to do + knowing how to do it well. In Proceedings of the NASA High Dependability Computing Consortium Workshop, NASA AMES, Moffett Field, CA, 10-12 January 2001.
146
 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.
147
 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.
148
 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.
149
 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.
150
 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.
151
 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.
152
 Ryan Wagner, David Garlan and Matthew Fredrikson. Poster: Quantitative Underpinnings of Secure, Graceful Degradation. In Proceedings of the 2018 Symposium of Hot Topics in the Science of Security, Raleigh, North Carolina, 10-11 April 2018.
153
 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 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.
154
 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.
155
 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.
156
 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.
157
 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.
158
 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.
159
 Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues and David Garlan. Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats. 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.
160
 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. Awarded Best Artifact Award for SEAMS 2019.
161
 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.
162
 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.
163
 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.
164
 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.
165
 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.
166
 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.
167
 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.
168
 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.
169
 Roykrong Sukkerd, Reid Simmons and David Garlan. Tradeoff-Focused Contrastive Explanation for MDP Planning. In Proceedings of the 29th IEEE International Conference on Robot & Human Interactive Communication, Virtual, 31 August - 4 September 2020.
170
 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.
171
 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.
172
 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.
173
 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.
174
 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. In Proceedings of the 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Virtual, 17-24 May 2021.
175
 Nianyu Li, Mingyue Zhang, Eunsuk Kang and David Garlan. Engineering Secure Self-adaptive Systems with Bayesian Games. In Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, 27 March - 1 April 2021.
176
 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.
177
 Pedro Mendes, Maria Casimiro, Paolo Romano and David Garlan. TrimTuner: Efficient Optimization of MachineLearning Jobs in the Cloud via Sub-Sampling. In Proceedings of the 2020 Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2020), 2020.
178
 Rebekka Wohlrab and David Garlan. Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. In Proceedings of the 27th International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany (Virtual), 12-15 April 2021.
179
 Nianyu Li, Javier Cámara, David Garlan, Bradley Schmerl and Zhi Jin. Hey! Preparing Humans to do Tasks in Self-adaptive Systems. In Proceedings of the 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021), Virtual, 18-21 May 2021. Awarded Best Student Paper for SEAMS 2021.
180
 Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno and Eunsuk Kang. Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), Virtual, 21-25 September 2020.
181
 Changjian Zhang, David Garlan and Eunsuk Kang. A Behavioral Notion of Robustness for Software Systems. In Proceedings of the 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Virtual, 6-16 November 2020.
182
 Shang-Wen Cheng. Change Is the Ultimate Self-Adaptive Challenge. In Proceedings of the 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Virtual, 18-21 May 2021.
183
 David Garlan. The Unknown Unknowns are not Totally Unknown. In Proceedings of the 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Virtual, 18-21 May 2021.
184
 Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins and Eunsuk Kang. AlloyMax: Bringing Maximum Satisfaction to Relational Specifications. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021, Virtual, 23-28 August 2021. Distinguished Paper Award.
185
 Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang and Mark Klein. Self-Adaptation for Machine Learning Based Systems. In Proceedings of the 1st International Workshop on Software Architecture and Machine Learning (SAML), Springer, Virtual, (Originally Växjö, Sweden), 14 September 2021.
186
 Mohammed Alharbi, Shihong Huang and David Garlan. A Probabilistic Model for Personality Trait Focused Explainability. In Proceedings of the 4th international Workshop on Context-aware, Autonomous and Smart Architecture (CASA 2021), co-located with the 15th European Conference on Software Architecture, Virtual (Originally Växjö Sweden), 13-17 September 2021.
187
 Javier Cámara, Mariana Silva, David Garlan and Bradley Schmerl. Explaining Architectural Design Tradeoff Spaces: a Machine Learning Approach. In Proceedings of the 15th European Conference on Software Architecture, Virtual (Originally, Växjö Sweden), 13-17 September 2021.
188
 Danny Weyns, Tomas Bures, Radu Calinescu, Barnaby Craggs, John Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin and Bradley Schmerl. Six Software Engineering Principles for Smarter Cyber-Physical Systems. In Proceedings of the Workshop on Self-Improving System Integration, 27 September 2021.
189
 Maria Casimiro, David Garlan, Javier Cámara, Luis Rodrigues and Paolo Romano. A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems. In Proceedings of the Third International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 6 December 2021.
190
 Christopher Steven Timperley, Tobias Dürschmid, Bradley Schmerl, David Garlan and Claire Le Goues. ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. In Proceedings of the 19th International Conference on Software Architecture (ICSA 2022), 12-15 March 2022.
191
 Andres Diaz-Pace and David Garlan. Making Architecture Optimization Transparent with Tactic-Based Explanations. In Proceedings of the 19th International Conference on Software Architecture (ICSA 2022), 12-15 March 2022.
192
 Rebekka Wohlrab, Rômulo Meira-Góes and Michael Vierhauser. Run-Time Adaptation of Quality Attributes for Automated Planning. In Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’22), Pittsburgh, USA and Virtual, 18-24 May 2022.
193
 Maria Casimiro, Paolo Romano, David Garlan and Luis Rodrigues. Towards a Framework for Adapting Machine Learning Components. In 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), 2022. Presentation Video.
194
 Changjian Zhang, Taranj Saluja, Rômulo Meira-Góes, Matthew Bolton, David Garlan and Eunsuk Kang. Robustification of Behavioral Designs against Environmental Deviations. In Proceedings of the 45th International Conference on Software Engineering, 14-20 May 2023.
195
 Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan and Eunsuk Kang. Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. In Proceedings of the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 15-16 May 2023.
196
 Pedro Mendes, Maria Casimiro, Paolo Romano and David Garlan. HyperJump: Accelerating HyperBand via Risk Modelling. In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023.
197
 Mohammad Reza Saleh Sedghpour, David Garlan, Bradley Schmerl, Cristian Klein and Johan Tordsson. Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. In Proceedings of the 11th IEEE International conference on Cloud Engineering (IC2E), 25-28 September 2023. Best Paper Award.
198
 Tobias Dürschmid, Christopher Steven Timperley, David Garlan and Claire Le Goues. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. In Proceedings of the 46th International Conference on Software Engineering (ICSE 2024), 14-20 April 2024.
199
 Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan and Eunsuk Kang. Fortis: A Tool for Analysis and Repair of Robust Software Systems. In Proc. Formal Methods in Computer-Aided Design 2023, 23-27 October 2023.
200
 Andres Diaz-Pace, Rebekka Wohlrab and David Garlan. Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. In 17th European Conference on Software Architecture (ECSA), 18-22 September 2023. Best Paper Award.
201
 David Garlan, Bradley Schmerl, Rebekka Wohlrab and Javier Cámara. Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. In Proc. the 1st International Workshop on Designing Software, 15 April 2024.
202
 Andres Diaz-Pace and David Garlan. The Architect in the Maze: On the Effective Usage of Automated Design Exploration. In Proc. the 1st International Workshop on Designing Software, 15 April 2024.
203
 Simon Chu, Justin Koe, David Garlan and Eunsuk Kang. Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. In Proc. the International Conference on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 15-16 April 2024.
204
 Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra and Nejib Ammar. Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. In 26th International Symposium on Formal Methods (FM24), 11-13 September 2024. To appear.
205
 Pedro Mendes, Paolo Romano and David Garlan. Error-Driven Uncertainty Aware Training. In 27th European Conference on Artificial Intelligence, 19-24 October 2024. To appear.
206
 Pedro Mendes, Paolo Romano and David Garlan. Hyper-parameter Tuning for Adversarially Robust Models. In AISafety 2024, Jeju, South Korea, 4 August 2024. Best Paper Award.
207
 Paulo Canelas, Bradley Schmerl, Alcides Fonesca and Christopher Steven Timperley. Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. In The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Vienna, Austria, 16-20 September 2024. To appear.
<< InCollection >> TOP
1
 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.
2
 David Garlan. Software Architecture. In J Marciniak editor, Wiley Encyclopedia of Software Engineering, John Wiley & Sons, 2001.
3
 Bradley Schmerl and Chris Marlin. Designing configuration management facilities for dynamically bound systems. In Jacky Estublier editor, Software Configuration Management: ICSE SCM-4 and SCM-5 Workshops - Selected Papers, Vol. 1005:88-100 of Lecture Notes in Computer Science, Spring-Verlag, 1995.
4
 David Garlan, Robert T. Monroe and David Wile. Acme: Architectural Description of Component-Based Systems. In Gary T. Leavens and Murali Sitaraman editors, Foundations of Component-Based Systems, Pages 47-68, Cambridge University Press, 2000.
5
 Mary Shaw and David Garlan. Formulations and Formalisms in Software Architecture. In Jan Van Leeuwen editor, Computer Science Today: Recent Trends and Developments, Vol. 1000:307-323 of Lecture Notes in Computer Science, Spring-Verlag, 1995.
6
 David Garlan and Mary Shaw. An Introduction to Software Architecture. In V Ambriola and G Tortora editors, Advances in Software Engineering and Knowledge Engineering, Vol. 2 of Series on Software Engineering and Knowledge Engineering, World Scientific Publishing Company, 1995. 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.
7
 David Garlan, Mary Shaw, Chris Okasaki, Curtis Scott and Roy Swonger. Experience with a Course on Architectures for Software Systems. In Lecture Notes in Computer Science, Vol. 640:23-43, 1992.
8
 João 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.
9
 Rogério de Lemos, Holger Giese, Hausi A. Muller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Goeschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezz, Christian Prehofer, Wilhelm Schafer, Rick Schlichting, Bradley Schmerl, Dennis B. Smith, João Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong and Jochen Wuttke. Software engineering for self-adaptive systems: A second research roadmap. In Rogério de Lemos, Holger Giese, Hausi A. Muller and Mary Shaw editors, Software Engineering for Self-Adaptive Systems II, Vol. 7475:1--32, Springer-Verlag, 2013.
<< InBook >> TOP
1
 David Garlan, Shang-Wen Cheng and Bradley Schmerl. Increasing System Dependability through Architecture-based Self-repair. In Rogério de Lemos, Cristina Gacek and Alexander Romanovsky editors, Architecting Dependable Systems, Springer-Verlag, 2003.
2
 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.
3
 João 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.
4
 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. Springer Link.
5
 Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese and Karl Goeschka. On Patterns for Decentralized Control in Self-Adaptive Systems. In Rogério de Lemos, Holger Giese, Hausi Muller and Mary Shaw editors, Software Engineering for Self-Adaptive Systems II, Vol. 7475 of LNCS , Springer, 2012.
6
 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.
7
 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.
8
 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, September 2016.
9
 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.
<< PhdThesis >> TOP
1
 João 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.
2
 Bridget Spitznagel. Compositional Transformation of Software Connectors. PhD thesis, Carnegie Mellon Univeristy School of Computer Science Technical Report CMU-CS-04-128, 2005.
3
 Bradley Schmerl. Designing Configuration Management Tools for Dynamically Composed Systems. PhD thesis, Flinders University, Adelaide, South Australia, October 1997.
4
 Robert Monroe. Rapid Development of Custom Software Architecture Design Environments. PhD thesis, Carnegie Mellon University School of Computer Science, August 1999. Published as CMU SCS Technical Report CMU-CS-99-161.
5
 Robert Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, January 1997. Issued as CMU Technical Report CMU-CS-97-144.
6
 George Fairbanks. Design Fragments. PhD thesis, Technical Report CMU-ISRI-07-108, Institute for Software Research, Carnegie Mellon University, 2007.
7
 Shang-Wen Cheng. Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation. PhD thesis, Carnegie Mellon University, May 2008. Institute for Software Research Technical Report CMU-ISR-08-113.
8
 Vahe Poladian. Tailoring Configuration to User's Tasks under Uncertainty. PhD thesis, Carnegie Mellon University, April 2008. Technical Report CMU-CS-08-121.
9
 Ajinkya Y. Bhave. Multi-View Consistency in Architectures for Cyber-Physical Systems. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 2011.
10
 Jeffrey M. Barnes. Software Architecture Evolution. PhD thesis, Institute for Software Research, School of Computer Science, Carnegie Mellon University, 2013. Technical Report CMU-ISR-13-118.
11
 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.
12
 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.
13
 Ashutosh Pandey. Hybrid Planning in Self-adaptive Systems. PhD thesis, Carnegie Mellon University, 2020. Institute for Software Research Technical Report CMU-ISR-20-100.
14
 Cody Kinneer. Search-based Plan Reuse in Self-* Systems. PhD thesis, Pages 122, Institute for Software Research, Carnegie Mellon University, May 2021.
15
 Roykrong Sukkerd. Improving Transparency and Intelligibility of Multi-Objective Probabilistic Planning. PhD thesis, Nr. (CMU-ISR-22-104), Institute for Software Research, School of Computer Science, 2022.
16
 Thomas J. Glazier. Meta-Management of Collections of Autonomic Systems. PhD thesis, Nr. (CMU-S3D-23-110), Software and Societal Systems Department, School of Computer Science, December 2023.
17
 Vishal Dwivedi. Halo: A Framework for End-User Architecting. PhD thesis, Nr. (CMU-S3D-22-110), Software and Societal Systems Department, School of Computer Science, 2022.
18
 Paulo Casanova. Failure Detection and Diagnosis in Architecture-based Autonomic Systems. PhD thesis, Nr. (CMU-S3D-12-100), Software and Societal Systems Department, School of Computer Science, Carnegie Mellon University, April 2023.
<< TechReport >> TOP
1
 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.
2
 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.
3
 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.
4
 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.
5
 João 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.
6
 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.
7
 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.
8
 Felix Bachmann, Len Bass, Paul Clements, David Garlan, James Ivers, Reed Little, Robert Nord and Judith Stafford. Documenting Software Architectures: Organization of Documentation Package. Technical report, CMU/SEI-2001-TN-010, Software Engineering Institute, 2001.
9
 Juergen Dingel, David Garlan and Craig Damon. A feasibility study of the HLA bridge. Technical report, CMU-CS-01-103, Carnegie Mellon University School of Computer Science, March 2001.
10
 Robert Monroe. Capturing Software Architecture Design Expertise With Armani. Technical report, CMU-CS-98-163, Carnegie Mellon University School of Computer Science, January 2001. Version 2.3.
11
 Bradley Schmerl and Chris Marlin. Modelling Dynamic Configurations to Guide Tool Design. Technical report, 97-01, Flinders University Department of Computer Science, 1996.
12
 Craig Damon, Ralph Melton, Elizabeth Bigelow, James Ivers and David Garlan. Formalizing a Specification for Analysis: The HLA Ownership Properties. Technical report, CMU-CS-99-126, Carnegie Mellon University School of Computer Science, April 1999.
13
 Zhenyu Wang and David Garlan. Task-Driven Computing. Technical report, CMU-CS-00-154, Carnegie Mellon University School of Computer Science, May 2000.
14
 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. Technical report, CMU/SEI-2000-SR-004, Software Engineering Institute, 2000.
15
 David Garlan and João Sousa. Documenting Software Architectures: Recommendations for Industrial Practice. Technical report, CMU-CS-00-169, Carnegie Mellon University School of Computer Science, October 2000.
16
 Juergen Dingel, David Garlan, Somesh Jha and David Notkin. Toward a formal treatment of implicit invocation. Technical report, CMU-CS-97-153, Carnegie Mellon University School of Computer Science, July 1997.
17
 Robert Allen and David Garlan. Formal Connectors. Technical report, CMU-CS-94-115, Carnegie Mellon University, School of Computer Science, March 1994.
18
 Mary Shaw and David Garlan. Characteristics of Higher-level Languages for Software Architectures. Technical report, CMU-CS-94-210, Carnegie Mellon University School of Computer Science, 1994.
19
 Robert Allen and David Garlan. Towards Formalized Software Architectures. Technical report, CMU-CS-92-163, Carnegie Mellon University, School of Computer Science, July 1992.
20
 David Garlan and Curtis Scott. Reactive Integration for Traditional Programming Languages. Technical report, CMU-CS-92-217, Carnegie Mellon University School of Computer Science, 1992.
21
 João 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.
22
 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.
23
 Marwan Abi-Antoun and Jeffrey M. Barnes. Enforcing Conformance between Security Architecture and Implementation. Technical report, CMU-ISR-09-113, Carnegie Mellon University Institure for Software Research, April 2009.
24
 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.
25
 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.
26
 Paulo Casanova, Bradley Schmerl, David Garlan, Rui Abreu and Jungsik Ahn. Applying Autonomic Diagnosis at Samsung Electronics. Technical report, CMU-ISR-13-111, Institute for Software Research, Carnegie Mellon University, September 2013.
27
 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.
28
 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.
29
 Jeffrey M. Barnes. Case Study Report: Architecture Evolution at Costco. Technical report, CMU-ISR-13-116, Institute for Software Research, School of Computer Science, Carnegie Mellon University, 2013.
30
 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.
31
 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.
32
 Mary Shaw, Jonathan Aldrich, Travis Breux, David Garlan, James Herbsleb, Christian Kästner, 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.
33
 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.
34
 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.
35
 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.
<< Misc >> TOP
1
 Shang-Wen Cheng, Robert Nord and Judith Stafford. WICSA Wiki WAN Party: capturing experience in software architecture best practices. ACM SIGSOFT Software Engineering Notes, Volume 30, Number 1, January 2005.
2
 Paul Clements, Felix Bachmann, David Garlan, Reed Little, Robert Nord and Judith Stafford. A Practical Method for Documenting Software Architectures. 2002.
3
 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.
4
 Chris Pride. Extending Aura with an Augmented Reality Interface. Undergraduate Thesis, 2007.
5
 Vishal Dwivedi, David Garlan and Bradley Schmerl. End User Orchestrations. 2010. Submitted for publication.
6
 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.
<< Unpublished >> TOP
1
 David Garlan, Andrew Kompanek, John Kenney, David Luckham, Bradley Schmerl and David Wile. An Activity Language for the ADL Toolkit. August 2000. Working draft.
2
 Jianing Hu. Adding Maps to Acme. August 2000. Working Draft.
3
 Bradley Schmerl, Shawn Butler and David Garlan. Architecture-based Simulation for Security and Performance. 2006. Submitted for publication.
4
 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. http://acme.able.cs.cmu.edu/pubs/show.php?id=333.
5
 Kirti Garg, David Garlan and Bradley Schmerl. Architecture Based Information Flow Analysis for Software Security. 2008.
6
 Ryan Wagner, David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.
7
 Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
8
 Cody Kinneer, David Garlan and Claire Le Goues. Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. 2019. Submitted for publication.
9
 Md Abir Hossen, Sonam Kharade, Jason M. O\'Kane, Bradley Schmerl, David Garlan and Pooyan Jamshidi. CURE: Simulation-Augmented Auto-Tuning in Robotics. 2024. Submitted for publication.
10
 Hongrui Chen, Aditya Joglekar, Zack Rubenstein, Bradley Schmerl, Gary Fedder, Jan De Nijs, David Garlan, Stephen Smith and Levant Burak Kara. Generative Manufacturing: A requirements and resource-driven approach to part making. 2024. Submitted for Publication.
<< Book >> TOP
1
 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. <a href=http://www.cs.cmu.edu/~able/publications/DSA/Jolt.pdf>2003 Jolt Productivity Award Winner</a>.
2
 Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996. Prentice Hall Ordering Information.
3
 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.
4
 Ivan Mistrik, Nour Ali, John Grundy and Bradley Schmerl editors. Managing Trade-offs in Adaptable Software Architectures. Morgan Kaufmann, August 2016.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32 		        BibAdmin