Yoann Geoffroy

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 exhibits component faults leading to a property violation, our causality analysis formalizes a notion of counterfactual reasoning (\what would the system behavior be if a(More)
  • 1