Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications related to 'Architectural Analysis'   Download bibtex file Order by:   Type | Year
           related to:
Article (Journal)TOP
1
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.
2
Jung Soo Kim and David Garlan. Analyzing Architectural Styles. In Journal of Software and Systems, Vol. 83(7):1216-1235, 2010.
InProceedingsTOP
3
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.
4
David Garlan and Zhenyu Wang. A Case Study in Software Architecture Interchange. In Proceedings of Coordination'99, Springer-Verlag, 1999.
5
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.
6
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.
7
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.
8
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>;.
9
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.
TechReportTOP
10
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.
11
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.
UnpublishedTOP
12
Bradley Schmerl, Shawn Butler and David Garlan. Architecture-based Simulation for Security and Performance. 2006. Submitted for publication.
13
Kirti Garg, David Garlan and Bradley Schmerl. Architecture Based Information Flow Analysis for Software Security. 2008.
14
Javier Cámara, David Garlan and Bradley Schmerl. Synthesizing Tradeoff Spaces of Quantitative Guarantees for Families of Software Systems. 2018. Submitted for publication.
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51
        BibAdmin