{"id":68,"date":"2019-06-17T11:39:18","date_gmt":"2019-06-17T09:39:18","guid":{"rendered":"https:\/\/project.inria.fr\/shonan139\/?page_id=68"},"modified":"2020-02-05T09:56:53","modified_gmt":"2020-02-05T08:56:53","slug":"participants","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/shonan139\/participants\/","title":{"rendered":"Participants"},"content":{"rendered":"<p><\/p>\n<ul>\n<li><a href=\"https:\/\/www.researchgate.net\/profile\/Armen_Aghasaryan\">Armen Aghasaryan<\/a> (Nokia Bell Labs) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/Causal-Reasoning-workshop-armen.pdf\"><em>Root Cause Analysis (RCA) for Future Networks : Technology, Vision and Challenges<\/em><\/a><\/li>\n<li>Vitaliy Batusov (York University, CA) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/vbatusov-shonan.pdf\"><em>Actual Causality in Situation Calculus<\/em><\/a><\/li>\n<li><a href=\"https:\/\/www.sen.uni-konstanz.de\/members\/research-staff\/dr-georgiana-caltais\/\">Georgiana Caltais<\/a> (University of Konstanz) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/Shonan-presentation-Caltais.pdf\"><em>Causality for (software defined) networks<\/em><\/a><em><br \/>\n<\/em><\/li>\n<li><a href=\"https:\/\/www.react.uni-saarland.de\/people\/coenen.html\">Norine Coenen<\/a> (Saarland University) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/NorineCoenen_CausalityAndHyperproperties_.pdf\"><em>Causality &amp; Hyperproperties<\/em><\/a><\/li>\n<li><a href=\"http:\/\/www.csl.sri.com\/people\/gehani\/\">Ashish Gehani<\/a> (SRI) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/Shonan-2019.MCI_.slides-Ashish.pdf\"><em>Causality Inference for Attack Investigation<\/em><\/a><\/li>\n<li>Mario Gleirscher (University of York, UK) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/Gleirscher-Shonan-slides-handout.pdf\"><em>Risk Structures: Concepts and Purpose<\/em><\/a><\/li>\n<li><a href=\"https:\/\/cps.ceng.metu.edu.tr\/\">Ebru Aydin Gol<\/a> (Middle East Technical University) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/shonan_presentation.pdf\"><em>Cause Mining with STL<\/em><\/a><\/li>\n<li><a href=\"https:\/\/pop-art.inrialpes.fr\/people\/goessler\/\">Gregor G\u00f6ssler<\/a> (INRIA) &#8211; <em>Causality Analysis and Fault Ascription from First Principles<\/em><\/li>\n<li><a href=\"http:\/\/www.skleinberg.org\/\">Samantha Kleinberg<\/a> (Stevens Institute of Technology) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/kleinberg_Shonan19.pdf\"><em>Causality and decision-making<\/em><\/a><\/li>\n<li><a href=\"https:\/\/www.sen.uni-konstanz.de\/\">Stefan Leue<\/a> (University of Konstanz) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/190600-Shonan-SL.pdf\"><em>Causality in Models of Computation<\/em><\/a><\/li>\n<li><a href=\"https:\/\/www2.le.ac.uk\/departments\/informatics\/people\/mohammad-mousavi\/mohammad-mousavis-homepage\">Mohammad Reza Mousavi<\/a> (University of Leicester) &#8211; <em>Using Model-Based Testing for Doping Detection in Cyber-Physical Systems<\/em><\/li>\n<li><a href=\"http:\/\/www.cs.yale.edu\/homes\/piskac\/\">Ruzica Piskac<\/a> (Yale) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/2019-Shonan-rpiskac.pdf\"><em>Using SAT Solvers to Prevent Causal Failures in the Cloud<\/em><\/a><\/li>\n<li><a href=\"http:\/\/www22.in.tum.de\/pretschner\/\">Alexander Pretschner<\/a> (TU Munich) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/accountability.pdf\"><em>Using Causal Models for Accountability<\/em><\/a>; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/Efficient-Computation-of-Actual-HP-Causality-for-Accountability.pdf\"><em>Efficiently Computing Halpern-Pearl Causality for Binary Models with SAT Solving and ILP<\/em><\/a><\/li>\n<li>Richard Trefler (U Waterloo) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/nii-trefler-Update-.pdf\"><em>Can causal reasoning be used to understand and explain counterexamples to verification in the analysis of parameterized programs<\/em><\/a><\/li>\n<li>Thomas Wies (New York University) &#8211; <em><a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2019\/07\/2019-06-shonan-type-error-localization-Wies.pdf\">Finding Minimum Type Error Sources<\/a><br \/>\n<\/em><\/li>\n<li>Shoji Yuen (Nagoya University) &#8211; <a href=\"https:\/\/project.inria.fr\/shonan139\/files\/2020\/02\/Shonan139-yuen.pdf\"><em>Automating Time-series Safety Analysis for Automotive Control Systems using Weighted Partial Max-SMT<\/em><\/a><\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>Armen Aghasaryan (Nokia Bell Labs) &#8211; Root Cause Analysis (RCA) for Future Networks : Technology, Vision and Challenges Vitaliy Batusov (York University, CA) &#8211; Actual Causality in Situation Calculus Georgiana Caltais (University of Konstanz) &#8211; Causality for (software defined) networks Norine Coenen (Saarland University) &#8211; Causality &amp; Hyperproperties Ashish Gehani\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/shonan139\/participants\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":524,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"class_list":["post-68","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/pages\/68","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/users\/524"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/comments?post=68"}],"version-history":[{"count":19,"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/pages\/68\/revisions"}],"predecessor-version":[{"id":108,"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/pages\/68\/revisions\/108"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/shonan139\/wp-json\/wp\/v2\/media?parent=68"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}