| Supporting heterogeneity in cyber-physical systems architectures A Rajhans, A Bhave, I Ruchkin, BH Krogh, D Garlan, A Platzer, B Schmerl IEEE Transactions on Automatic Control 59 (12), 3178-3193, 2014 | 108 | 2014 |
| Software engineering for smart cyber-physical systems: Challenges and promising solutions T Bures, D Weyns, B Schmer, E Tovar, E Boden, T Gabor, ... ACM SIGSOFT Software Engineering Notes 42 (2), 19-24, 2017 | 72 | 2017 |
| Model-based adaptation for robotics software J Aldrich, D Garlan, C Kästner, C Le Goues, A Mohseni-Kabir, I Ruchkin, ... IEEE software 36 (2), 83-90, 2019 | 39 | 2019 |
| Multi-paradigm modeling for cyber–physical systems: A systematic mapping review A Barišić, I Ruchkin, D Savić, MA Mohamed, R Al-Ali, LW Li, H Mkaouar, ... Journal of Systems and Software 183, 111081, 2022 | 38 | 2022 |
| Contract-based integration of cyber-physical analyses I Ruchkin, D De Niz, D Garlan, S Chaki Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 37 | 2014 |
| Foundations and tools for end-user architecting D Garlan, V Dwivedi, I Ruchkin, B Schmerl Large-Scale Complex IT Systems. Development, Operation and Management: 17th …, 2012 | 24 | 2012 |
| Eliminating inter-domain vulnerabilities in cyber-physical systems: An analysis contracts approach I Ruchkin, A Rao, D De Niz, S Chaki, D Garlan Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and …, 2015 | 20 | 2015 |
| Architectural abstractions for hybrid programs I Ruchkin, B Schmerl, D Garlan Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015 | 19 | 2015 |
| Six software engineering principles for smarter cyber-physical systems D Weyns, T Bures, R Calinescu, B Craggs, J Fitzgerald, D Garlan, ... 2021 IEEE International Conference on Autonomic Computing and Self …, 2021 | 14 | 2021 |
| Towards a formal framework for hybrid planning in self-adaptation A Pandey, I Ruchkin, B Schmerl, J Cámara 2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017 | 14 | 2017 |
| Active: A tool for integrating analysis contracts I Ruchkin, D De Niz, S Chaki, D Garlan 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2014 | 13 | 2014 |
| Systematic literature review on multi-paradigm modelling for cyber-physical systems A Barisic, D Savić, R Al-Ali, I Ruchkin, D Blouin, A Cicchetti, ... COST European Cooperation in Science and Technology, 2019 | 11 | 2019 |
| Cybermatics: Advanced strategy and technology for cyber-enabled systems and applications X Zhou, AY Zomaya, W Li, I Ruchkin Future Generation Computer Systems 79, 350-353, 2018 | 11 | 2018 |
| Confidence composition for monitors of verification assumptions I Ruchkin, M Cleaveland, R Ivanov, P Lu, T Carpenter, O Sokolsky, I Lee 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 10 | 2022 |
| Hybrid planning using learning and model checking for autonomous systems A Pandey, I Ruchkin, B Schmerl, D Garlan 2020 IEEE International Conference on Autonomic Computing and Self …, 2020 | 10 | 2020 |
| Scalable platforms and advanced algorithms for IoT and cyber-enabled applications X Zhou, G Xu, J Ma, I Ruchkin Journal of parallel and distributed computing 118, 1-4, 2018 | 10 | 2018 |
| Challenges in physical modeling for adaptation of cyber-physical systems I Ruchkin, S Samuel, B Schmerl, A Rico, D Garlan 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 210-215, 2016 | 10 | 2016 |
| Surveying neuro-symbolic approaches for reliable artificial intelligence of things Z Lu, I Afridi, HJ Kang, I Ruchkin, X Zheng Journal of Reliable Intelligent Environments 10 (3), 257-279, 2024 | 9 | 2024 |
| Integration of Modeling Methods for Cyber-Physical Systems. I Ruchkin Carnegie Mellon University, USA, 2019 | 9 | 2019 |
| Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. I Ruchkin, BR Schmerl, D Garlan ACES-MB&WUCOR@ MoDELS, 3-10, 2015 | 9 | 2015 |
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
