Ivan Ruchkin
Ivan Ruchkin
Department of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
Title
Cited by
Cited by
Year
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
742014
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
312017
Contract-based integration of cyber-physical analyses
I Ruchkin, D De Niz, S Chaki, D Garlan
2014 International Conference on Embedded Software (EMSOFT), 1-10, 2014
282014
Foundations and tools for end-user architecting
D Garlan, V Dwivedi, I Ruchkin, B Schmerl
Monterey Workshop, 157-182, 2012
202012
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
142015
Architectural abstractions for hybrid programs
I Ruchkin, B Schmerl, D Garlan
Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015
142015
Active: A tool for integrating analysis contracts
I Ruchkin, D De Niz, S Chaki, D Garlan
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2014
132014
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
102019
IPL: An integration property language for multi-model cyber-physical systems
I Ruchkin, J Sunshine, G Iraci, B Schmerl, D Garlan
International Symposium on Formal Methods, 165-184, 2018
62018
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
62016
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
52018
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
52017
Integration beyond components and models: research challenges and directions
I Ruchkin
2016 Architecture-Centric Virtual Integration (ACVI), 8-11, 2016
52016
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems.
I Ruchkin, BR Schmerl, D Garlan
ACES-MB&WUCOR@ MoDELS, 3-10, 2015
52015
Single-window integrated development environment
I Ruchkin, V Prus
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE …, 2010
42010
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
32018
Architectural and Analytic Integration of Cyber-Physical System Models.
I Ruchkin
SRC@ MoDELS, 35-40, 2015
32015
Integration of Modeling Methods for Cyber-Physical Systems
I Ruchkin
Carnegie Mellon University, 2019
12019
Systematic literature review on multi-paradigm modelling for cyber-physical systems
A Barišic, D Savic, R Al-Ali, I Ruchkin, D Blouin, A Cicchetti, ...
12018
Towards Integration of Modeling Methods for Cyber-Physical Systems.
I Ruchkin
DS@ MoDELS, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20