| 1 |
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.
|
| 2 |
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.
|
|
|
| 3 |
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.
|
| 4 |
Ashutosh Pandey,
Ivan Ruchkin,
Bradley Schmerl and
David Garlan. Hybrid Planning Using Learning and Model Checking for Autonomous Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Supplemental Material | Presentation Video.
|
| 5 |
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.
|
| 6 |
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.
|
| 7 |
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.
|
| 8 |
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.
|
| 9 |
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.
|
| 10 |
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.
|
| 11 |
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.
|
| 12 |
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.
|
| 13 |
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.
|
| 14 |
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.
|
| 15 |
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.
|
|
|
