Publications of Ivan Ruchkin 
|
Order by: Type | Year
|
|
|
|
| 1 |
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.
|
|
|
|
|
|
|
|
|
| 3 |
Ashutosh Pandey,
Ivan Ruchkin,
Bradley Schmerl,
Javier Cámara and
David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
|
| 4 |
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.
|
| 5 |
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.
|
|
|
|
|
|
|
|
|
| 8 |
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.
|
|
|
|
|
| 9 |
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.
|
| 10 |
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.
|
|
|
|
|
| 11 |
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.
|
| 12 |
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.
|
| 13 |
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.
|
| 14 |
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.
|
|
|
|
|
| 15 |
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.
|
| 16 |
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.
|
| 17 |
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.
|
| 18 |
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.
|
|
|
|
|
| 19 |
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.
|
|
|
