Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publications of Ivan Ruchkin   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> TOP
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.
<< InProceedings >> TOP
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.
Ivan Ruchkin. Integration Beyond Components and Models: Research Challenges and Directions. In In Proceedings of the 3rd Architecture Centric Virtual Integration Workshop, Venice, Italy, April 2016.
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.
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, 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.
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.
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.
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.
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.
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.
<< TechReport >> TOP
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.
<< Unpublished >> TOP
Ivan Ruchkin, Joshua Sunshine, Grant Irici, Bradley Schmerl and David Garlan. IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems. 2018. Submitted for publication.
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51