Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications related to 'Formal Methods'   Download bibtex file Order by:   Type | Year
           related to:
Article (Journal)TOP
1
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.
2
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.
3
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.
4
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, 2018. Accepted for publication.
5
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, May 2018. Springer Link.
InProceedingsTOP
6
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.
7
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.
8
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.
9
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.
10
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.
11
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.
12
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.
13
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).
14
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.
15
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.
16
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.
17
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.
18
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.
InBookTOP
19
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.
TechReportTOP
20
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.
21
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.
22
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.
23
Robert Allen and David Garlan. Formal Connectors. Technical report, CMU-CS-94-115, Carnegie Mellon University, School of Computer Science, March 1994.
24
Robert Allen and David Garlan. Towards Formalized Software Architectures. Technical report, CMU-CS-92-163, Carnegie Mellon University, School of Computer Science, July 1992.
UnpublishedTOP
25
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2018. Submitted for publication.
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51
        BibAdmin