| emsoft | participants

Ivan Ruchkin

EMSOFT 2020: 20th International Conference on Embedded Software

Compositional Probabilistic Analysis of Temporal Properties over Stochastic Detectors

Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, and Insup Lee

EMSOFT 2014: 14th International Conference on Embedded Software

Contract-Based Integration of Cyber-Physical Analyses

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, and David Garlan