{"id":385,"date":"2019-02-17T20:41:39","date_gmt":"2019-02-17T18:41:39","guid":{"rendered":"http:\/\/members.loria.fr\/Mery\/?page_id=385"},"modified":"2021-05-19T08:01:35","modified_gmt":"2021-05-19T06:01:35","slug":"general-informations","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/Mery\/general-informations\/","title":{"rendered":"General Informations"},"content":{"rendered":"<h4><span style=\"color: darkblue\"><strong><span style=\"color: darkblue;font-family: Helvetica,Arial;font-size: large\"><b>Informations on projects <\/b><\/span><\/strong><\/span><\/h4>\n<ul>\n<li><a href=\"http:\/\/impex.loria.fr\/\" target=\" _top\" rel=\"noopener\">Project IMPEX supported by ANR<\/a>on IMPlicit and EXplicit semantics integration in proof based developments of discrete systems. The project ends on December 2018. \u00a0We have organized a SHONAN meeting on \u00a0the topics of IMPEX and a book has been edited &#8230;. <a href=\"https:\/\/rd.springer.com\/book\/10.1007%2F978-981-15-5054-6\">please click\u00a0\u00a0 Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems\u00a0Communications of NII Shonan Meetings<\/a><\/li>\n<li><a href=\"http:\/\/eb2all.loria.fr\/\"><strong>EB2ALL tools set for translating Event B Models into Executable Codes<\/strong><\/a>is available by clicking on the highlighted link<\/li>\n<li><a href=\"http:\/\/visidia.labria.fr\">Visidia<\/a> is a project lead by Professor Mohammed Mosbah and his research group at LABRI and was an action of the RIMEL project.<\/li>\n<li><a href=\"http:\/\/eventb.loria.fr\/\"><strong>Event B Web Page<\/strong><\/a><\/li>\n<li><a href=\"http:\/\/www.loria.fr\/~mery\/somepapers\/fhies3.pdf\">Medical Protocol Diagnosis using Formal Methods<\/a>by Neeraj Singh and Dominique Mery<\/li>\n<li><a href=\"http:\/\/www.loria.fr\/~mery\/somepapers\/fhies5.pdf\">Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata<\/a>by Neeraj Singh and Dominique Mery<\/li>\n<li><a href=\"http:\/\/www.springer.com\/uk\/home\/new+%26+forthcoming+titles+%28default%29?SGWID=3-40356-22-173762603-0\">Logics of Specification Languages <\/a>appears in the Series: Monographs in Theoretical Computer Science. An EATCS Series <strong>Bjorner, Dines; Henson, Martin C. (Eds.) <\/strong>. A chapter on Event B is cowritten by Dominique Cansell and Dominique M\u00e9ry.<\/li>\n<li><a href=\"http:\/\/rimel.loria.fr\/\" target=\" _top\" rel=\"noopener\">Project RIMEL<\/a>on refinement of event systems and applications to distributed algorithms and system engineering<\/li>\n<\/ul>\n<h4>Informations on lectures and teaching activities<\/h4>\n<ul>\n<li><strong><span style=\"color: darkblue;font-family: Helvetica,Arial;font-size: large\"><b>Lectures at Universit\u00e9 de Lorraine, Telecom Nancy <\/b><\/span><a href=\"http:\/\/arche.univ-lorraine.fr\/enrol\/index.php?id=12474\">Modelling Software-based Systems <\/a>MsC Computer Science since \u00a02000 Son a Moodle-like platform called Arche<br \/>\n<\/strong><\/li>\n<li><strong><span style=\"color: darkblue;font-family: Helvetica,Arial;font-size: large\"><b>Lectures at Universit\u00e9 de Lorraine, Telecom Nancy <\/b><\/span><a href=\"http:\/\/arche.univ-lorraine.fr\/enrol\/index.php?id=9316\">Mod\u00e8les et Algorithmes <\/a>MsC Computer Science, Telecom since 1993 \u00a0 on a Moodle-like platform called Arche<br \/>\n<\/strong><\/li>\n<li><strong><span style=\"color: darkblue;font-family: Helvetica,Arial;font-size: large\"><b>Lectures at NUI Maynooth <\/b><\/span><a href=\"http:\/\/www.loria.fr\/~mery\/erasmusmaynooth\/\">Access to the lectures notes <\/a>Session February 2016 <\/strong><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Informations on projects <\/p>\n<ul>\n<li><a href=\"http:\/\/impex.loria.fr\/\" target=\" _top\" rel=\"noopener\">Project IMPEX supported by ANR<\/a>on IMPlicit and EXplicit semantics integration in proof based developments of discrete systems. The project ends on December 2018. \u00a0We have organized a SHONAN meeting on \u00a0the topics of IMPEX and a book has been edited &#8230;. <a href=\"https:\/\/rd.springer.com\/book\/10.1007%2F978-981-15-5054-6\">please click\u00a0\u00a0 Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems\u00a0Communications of NII Shonan Meetings<\/a><\/li>\n<li><a href=\"http:\/\/eb2all.loria.fr\/\">EB2ALL tools set for translating Event B Models into Executable Codes<\/a>is available by clicking on the highlighted link<\/li>\n<li><a href=\"http:\/\/visidia.labria.fr\">Visidia<\/a> is a project lead by Professor Mohammed Mosbah and his research group at LABRI and was an action of the RIMEL project.<\/li>\n<\/ul>\n","protected":false},"author":120,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-385","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/385","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/users\/120"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/comments?post=385"}],"version-history":[{"count":8,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/385\/revisions"}],"predecessor-version":[{"id":454,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/385\/revisions\/454"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/media?parent=385"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}