According to our database1, Ivan Ruchkin authored at least 14 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Scalable platforms and advanced algorithms for IoT and cyber-enabled applications.
J. Parallel Distrib. Comput., 2018
Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications.
Future Generation Comp. Syst., 2018
IPL: An Integration Property Language for Multi-model Cyber-physical Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.
ACM SIGSOFT Software Engineering Notes, 2017
Towards a Formal Framework for Hybrid Planning in Self-Adaptation.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017
Challenges in physical modeling for adaptation of cyber-physical systems.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems.
Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Towards Integration of Modeling Methods for Cyber-Physical Systems.
Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), 2015
Architectural and Analytic Integration of Cyber-Physical System Models.
Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, 2015
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.
Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015
Architectural Abstractions for Hybrid Programs.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
Supporting Heterogeneity in Cyber-Physical Systems Architectures.
IEEE Trans. Automat. Contr., 2014
Contract-based integration of cyber-physical analyses.
Proceedings of the 2014 International Conference on Embedded Software, 2014
Foundations and Tools for End-User Architecting.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012