Ivan Ruchkin

cyber-physical systems software architecture confidence monitoring verification software engineering formal methods models integration model analysis contracts contract assurance safety architecture software ide kdevelop eclipse user interface widget gui tool view net beans visual studio usability integrated development environment machine learning probabilistic specification compositionality design assumptions parameter estimation detection algorithms power turtlebot hybrid programs computer science cps aadl однооконный интерфейс сред automotive prediction causality clinical alarm suppression alarm fatigue pac bounds data programming sampling simulation data generation unmanned underwater vehicle smart systems engineering probabilistic logic probabilistic logic covid-19 epidemic model analysis hybrid planning adaptation ai planning robotics control information security algorithms dependency loops acquisition build vs buy systems teaching denial thermal runaway battery electric vehicles logic keymaera theorem proving framework poster adl variability traceability views