10 citations · 74 across the 31 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
Gregor Gössler, Oleg Sokolsky
Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities --…
cs.SE2016★ 3 cited
Monitoring Assumptions in Assume-Guarantee Contracts
Oleg Sokolsky, Teng Zhang, Insup Lee +1
Pre-deployment verification of software components with respect to behavioral specifications in the assume-guarantee form does not, in general, guarantee absence of errors at run t…