Ivan Ruchkin

cyber-physical systems software architecture confidence monitoring verification software engineering formal methods models integration model machine learning analysis contracts contract assurance safety architecture software ide kdevelop eclipse user interface widget gui tool view net beans visual studio usability integrated development environment automotive prediction probabilistic specification compositionality design assumptions parameter estimation detection algorithms robotics power turtlebot hybrid programs computer science cps aadl однооконный интерфейс сред automation anomaly detection foundation models medical devices 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 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