Ivan Ruchkin

Affiliations: 
Carnegie Mellon University, Pittsburgh, PA 
Area:
Cyber-physical systems, software engineering, formal methods
Google:
"Ivan Ruchkin"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Aldrich J, Garlan D, Kaestner C, et al. (2019) Model-Based Adaptation for Robotics Software Ieee Software. 36: 83-90
Zhou X, Xu G, Ma J, et al. (2018) Scalable platforms and advanced algorithms for IoT and cyber-enabled applications Journal of Parallel and Distributed Computing. 118: 1-4
Zhou X, Zomaya AY, Li W, et al. (2018) Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications Future Generation Computer Systems. 79: 350-353
Bures T, Weyns D, Schmer B, et al. (2017) Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions Acm Sigsoft Software Engineering Notes. 42: 19-24
Rajhans A, Bhave A, Ruchkin I, et al. (2014) Supporting Heterogeneity in Cyber-Physical Systems Architectures Ieee Transactions On Automatic Control. 59: 3178-3193
See more...