A hybrid approach to causality analysis

S Wang, Y Geoffroy, G Gößler, O Sokolsky… - Runtime Verification: 6th …, 2015 - Springer
In component-based safety-critical systems, when a system safety property is violated, it is
necessary to analyze which components are the cause. Given a system execution trace that …
被引用次数：11 相关文章
[PDF] core.ac.uk

[PDF][PDF] A Hybrid Approach to Causality Analysis

S Wang, Y Geoffroy, G Gössler, O Sokolsky, I Lee - core.ac.uk
In component-based safety-critical systems, when a system safety property is violated, it is
necessary to analyze which components are the cause. Given a system execution trace that …
[PDF] researchgate.net

[PDF][PDF] A Hybrid Approach to Causality Analysis

S Wang, Y Geoffroy, G Gössler, O Sokolsky, I Lee - 2015 - researchgate.net
In component-based safety-critical systems, when a system safety property is violated, it is
necessary to analyze which components are the cause. Given a system execution trace that …

A Hybrid Approach to Causality Analysis

O Sokolsky, I Lee - Runtime Verification - Springer
In component-based safety-critical systems, when a system safety property is violated, it is
necessary to analyze which components are the cause. Given a system execution trace that …

A Hybrid Approach to Causality Analysis

S Wang, Y Geoffroy, G Gössler, O Sokolsky… - RV 2015-6th International …, 2015 - hal.science
In component-based safety-critical systems, when a system safety property is violated, it is
necessary to analyze which components are the cause. Given a system execution trace that …

A Hybrid Approach to Causality Analysis

S Wang, Y Geoffroy, G Gössler… - RV 2015-6th …, 2015 - inria.hal.science
In component-based safety-critical systems, when a system safety property is violated, it is
necessary to analyze which components are the cause. Given a system execution trace that …