Crest 2017

CREST 2017

2nd international Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies

April 29, 2017, Uppsala, Sweden

Program

08:50 - 09:00 Opening remarks

Session 1, Chair: Oleg Sokolsky

09:00 - 10:00Keynote presentation: Samantha Kleinberg, Stevens Institute of Technology. The Logic of Causality
10:00 - 10:30coffee break

Session 2, Chair: Gregor Goessler

10:30 - 11:00Sjur Kristoffer Dyrkolbotn. Preemption and Overdetermination in Formal Models of Actual Causality
11:00 - 11:30Simon Rehwald, Amjad Ibrahim, Kristian Beckers and Alexander Pretschner.
ACCBench: A Framework for comparing Causality Algorithms   
11:30 - 12:00Bernd Finkbeiner. Causality-based Model Checking (invited presentation)
12:00 - 12:30Jan-Gerd Meß.
Fault Detection and Isolation in Spacecraft Data Acquisition Systems (invited presentation)
12:30 - 14:00lunch break

Session 3, Chair: Mohammad Reza Mousavi

14:00 - 15:00Keynote presentation: Marco Bozzano, Fondazione Bruno Kessler.
Causality and temporal dependencies in the design of fault management systems (extended abstract)
15:00 - 15:30Gregor Goessler, Jean-Bernard Stefani and Oleg Sokolsky. A quest for formal
tools for reasoning about counterfactual causation
15:30 - 16:00coffee break

Session 4, Chair: Stefan Leue

16:00 - 16:30Mohammad Reza Mousavi. Combining Epistemic and Operational Aspects in
Compositional Verification of Protocols
(invited presentation)
16:30 - 17:00Chris Leong, Tim Kelly and Rob Alexander. Incorporating epistemic
uncertainty into the safety assurance of socio-technical systems
17:00 - 17:30Closing discussion: Quo vadis CREST? Community building and future of the CREST workshop

Workshop Dinner

18:30              Workshop Dinner (self-pay), location to be announced.