ivan-ruchkin documents

Architectural Thinking
Software Architectural Thinking
AADL Overview: Brief and Pointless
Documents AADL Overview: Brief and Pointless
Architectural Approach to CPS Modeling: The Intuition
Technology Architectural Approach to CPS Modeling: The Intuition
Single-Window Integrated Development Environment
Technology Single-Window Integrated Development Environment
Model Checking Battery Configurations to Detect Thermal Runaway
Engineering Model Checking Battery Configurations to Detect Thermal Runaway
A Framework for Contract-Based Composition of CPS Analyses
Technology A Framework for Contract-Based Composition of CPS Analyses
Architectures for Cyber-Physical Systems, or Why Ivan Doesn’t Want to Graduate
Technology Architectures for Cyber-Physical Systems, or Why Ivan Doesn’t Want to Graduate
Single-Window Development Environment
Technology Single-Window Development Environment
Tool View Interface of Integrated Development Environment / Исследование интерфейса инструментальных окон среды разработки
Documents Tool View Interface of Integrated Development Environment / Исследование интерфейса инструментальных окон среды разработки
Contract-Based Integration of Cyber-Physical Analyses (Poster)
Software Contract-Based Integration of Cyber-Physical Analyses (Poster)
Framework for Inter-Model Analysis of Cyber-Physical Systems
Technology Framework for Inter-Model Analysis of Cyber-Physical Systems
Architectural Approach to CPS Modeling and Verification: Poster
Technology Architectural Approach to CPS Modeling and Verification: Poster
Contract-Based Integration of Cyber-Physical Analyses
Software Contract-Based Integration of Cyber-Physical Analyses
Exposing Architecture in Hybrid Programs
Technology Exposing Architecture in Hybrid Programs
Framework for Inter-Model Analysis of Cyber-Physical Systems
Documents Framework for Inter-Model Analysis of Cyber-Physical Systems
VARSA 2012 Breakout Discussion
Technology VARSA 2012 Breakout Discussion
Building Software In-House: Too Much Control and Flexibility
Software Building Software In-House: Too Much Control and Flexibility
Architectural Abstractions for Hybrid Programs
Documents Architectural Abstractions for Hybrid Programs
Systems: the Big Picture Beyond Software
Documents Systems: the Big Picture Beyond Software
Identifying and Resolving Consistency Issues between Model Representations
Software Identifying and Resolving Consistency Issues between Model Representations
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach
Software Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach