Publications

  • S. Wang, Y. Geoffroy, G. Gössler, O. Sokolsky, and I. Lee. A Hybrid Approach to Causality Analysis. Proc. 15th International Conference on Runtime Verification (RV’15), LNCS 9333, Springer, 2015.
  • G. Gössler and O. Sokolsky. Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands. EPTCS 224, 2016.