Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publications related to 'Architecture View Consistency'   Download bibtex file Order by:   Type | Year
           related to:
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.
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.
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.
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.
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51