Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Manuel Oriol
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
Shreepriya Shreepriya
Chen Ma
Yan Xing
Barbara Aquilani
Home
/
Author
/
IVAN RUCHKIN
Author Info
Open Visualization
Name
Affiliation
Papers
IVAN RUCHKIN
School of Computer Science, Carnegie Mellon University, Pittsburgh
12
Collaborators
Citations
PageRank
42
48
5.14
Referers
Referees
References
138
493
164
Search Limit
100
493
Publications (12 rows)
Collaborators (42 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Hybrid Planning Using Learning and Model Checking for Autonomous Systems
0
0.34
2020
Model-Based Adaptation for Robotics Software.
4
0.39
2019
Scalable platforms and advanced algorithms for IoT and cyber-enabled applications.
0
0.34
2018
Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications.
3
0.42
2018
IPL: An Integration Property Language for Multi-model Cyber-physical Systems.
1
0.34
2018
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.
9
0.60
2017
Towards a Formal Framework for Hybrid Planning in Self-Adaptation.
3
0.39
2017
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems
0
0.34
2015
Architectural Abstractions for Hybrid Programs
8
0.52
2015
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach
3
0.40
2015
Contract-based integration of cyber-physical analyses
11
0.52
2014
Foundations and tools for end-user architecting
6
0.54
2012
1