Seuraa
Ivan Ruchkin
Ivan Ruchkin
Assistant Professor, Department of Electrical and Computer Engineering, University of Florida
Vahvistettu sähköpostiosoite verkkotunnuksessa ece.ufl.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1092014
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
672017
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
382014
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
322019
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
282022
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
242012
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
222015
Architectural abstractions for hybrid programs
I Ruchkin, B Schmerl, D Garlan
Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015
192015
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
152014
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
142017
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
112019
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
112018
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
102016
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
92020
Integration of Modeling Methods for Cyber-Physical Systems.
I Ruchkin
Carnegie Mellon University, USA, 2019
92019
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
92018
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems.
I Ruchkin, BR Schmerl, D Garlan
ACES-MB&WUCOR@ MoDELS, 3-10, 2015
92015
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
82022
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
82021
IPL: an integration property language for multi-model cyber-physical systems
I Ruchkin, J Sunshine, G Iraci, B Schmerl, D Garlan
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
72018
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20