{"id":32,"date":"2019-03-01T18:59:17","date_gmt":"2019-03-01T17:59:17","guid":{"rendered":"https:\/\/kmots2019.lacl.fr\/?page_id=32"},"modified":"2019-08-21T14:25:03","modified_gmt":"2019-08-21T12:25:03","slug":"scientific-programme","status":"publish","type":"page","link":"https:\/\/kmots2019.lacl.fr\/?page_id=32","title":{"rendered":"Scientific Programme"},"content":{"rendered":"\n<p>9h15 &#8211; 9h30 <a href=\"https:\/\/www.lacl.fr\/laleau\/KMOTS2019\/PresentationLaleauKMOTS2019.pdf\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Workshop opening (s\u2019ouvre dans un nouvel onglet)\">Workshop opening<\/a>&nbsp;<\/p>\n\n\n\n<p>9h30 &#8211; 10h15 Tomas Fischer, Dana Dghaym and Chenyang Zhu: <a href=\"https:\/\/www.lacl.fr\/laleau\/KMOTS2019\/ZhuRssrail2019-KMOTS2019.pdf\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Formal Model Validation through Acceptance Tests (s\u2019ouvre dans un nouvel onglet)\">Formal Model Validation through Acceptance Tests<\/a><\/p>\n\n\n\n<p>10h15 &#8211; 11h Amani Makhlouf, Hanh Nhi Tran and Christian Percebois: Reasoning about Global Graph Properties from Local Graph Transformation Rules<\/p>\n\n\n\n<p>11h &#8211; 11h30&nbsp; Coffee Break<\/p>\n\n\n\n<p>11h30 &#8211; 12h15 Xia Wang, Keming Wang, Cheng Peng and Liu Ning: <a href=\"https:\/\/www.lacl.fr\/laleau\/KMOTS2019\/XiaWang.pdf\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Design and Modeling of Level Crossing Control System with Formal Methods (s\u2019ouvre dans un nouvel onglet)\">Design and Modeling of Level Crossing Control System with Formal Methods<\/a><\/p>\n\n\n\n<p>12h15 &#8211; 13h Alexandra Halchin, Neeraj Singh, Yamine Ait Ameur, Abderrahmane Feliachi and Julien Ordioni: <a href=\"https:\/\/www.lacl.fr\/laleau\/KMOTS2019\/AlexandraHalchin20190801_KMOTS2019.pdf\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Validation of Formal Models Transformation through Animation (s\u2019ouvre dans un nouvel onglet)\">Validation of Formal Models Transformation through Animation<\/a><\/p>\n\n\n\n<p>13h &#8211; 14h15&nbsp; Lunch<\/p>\n\n\n\n<p>14h15 &#8211; 15h15 Keynote Speaker: Frederic Mallet, <a href=\"https:\/\/www.lacl.fr\/laleau\/KMOTS2019\/FredMalletKmots19.pdf\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\" (s\u2019ouvre dans un nouvel onglet)\">Logical Time Scheduling of Uncertain Task Models with SMT<\/a>\u00a0<\/p>\n\n\n\n<p>15h15 &#8211; 16h Irum Rauf and Elena Troubitsyna: A Structured Approach to Analyse Attack Surface of REST (on Youtube)<\/p>\n\n\n\n<p>16h&nbsp; Closing and Coffee Break<br><\/p>\n","protected":false},"excerpt":{"rendered":"<p>9h15 &#8211; 9h30 Workshop opening&nbsp; 9h30 &#8211; 10h15 Tomas Fischer, Dana Dghaym and Chenyang Zhu: Formal Model Validation through Acceptance Tests 10h15 &#8211; 11h Amani Makhlouf, Hanh Nhi Tran and Christian Percebois: Reasoning about Global Graph Properties from Local Graph &hellip; <a href=\"https:\/\/kmots2019.lacl.fr\/?page_id=32\">Continuer la lecture <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-32","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=\/wp\/v2\/pages\/32","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=32"}],"version-history":[{"count":5,"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=\/wp\/v2\/pages\/32\/revisions"}],"predecessor-version":[{"id":114,"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=\/wp\/v2\/pages\/32\/revisions\/114"}],"wp:attachment":[{"href":"https:\/\/kmots2019.lacl.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=32"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}