{"id":22,"date":"2015-06-15T11:01:33","date_gmt":"2015-06-15T09:01:33","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=22"},"modified":"2022-09-24T10:27:10","modified_gmt":"2022-09-24T08:27:10","slug":"projets","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/Mery\/projets\/","title":{"rendered":"Projects (Past,Present)"},"content":{"rendered":"<h2>Current Projects<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.irit.fr\/EBRP\/\">ANR EBRPPlus<\/a> \u00a0The project intends to improve to enhance Event-B and the corresponding RODIN toolset.<\/li>\n<li><a href=\"http:\/\/eb2all.loria.fr\">EB2ALL <\/a>\u00a0<a href=\"http:\/\/eb2all.loria.fr\">The Event-B to C, C++, Java and C# Code Generato<\/a>r<\/li>\n<li class=\"p1\"><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\">ANR FORMEDICIS (<\/a><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\"> ANR<\/a><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\">-16-CE25-0007)<\/a><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\"> M\u00e9thodes formelles pour le d\u00e9veloppement et l&rsquo;ing\u00e9nierie de syst\u00e8mes interactifs critiques<\/a>\u00a0(01\/2017-01\/2021) \u00a0The site of the project is <a href=\"https:\/\/w3.onera.fr\/Formedicis\">here ( just click!!!!!!!!)<\/a><\/li>\n<li><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-17-CE25-0005\">ANR DISCONT ( ANR-17-CE25-0005) Int\u00e9gration correcte de mod\u00e8les discrets et continus<\/a>\u00a0 (03\/2018-03\/2022) The site of the project is <a href=\"http:\/\/discont.loria.fr\">here (just click!!!).<\/a><\/li>\n<li><a href=\"https:\/\/team.inria.fr\/veridis\/\">Project INRIA VeriDis: Verification of Distributed Systems<\/a><\/li>\n<li><a href=\"https:\/\/anr.fr\/Projet-ANR-19-CE25-0010\">ANR EBRP-PLus <\/a><span style=\"font-family: Consolas, Monaco, monospace\">Enrichissement de EventB et de RODIN : EventB-Rodin-Plus \u2013 EBRP-EventB-Rodin-Plus<\/span><\/li>\n<\/ul>\n<h2>Past Projects<\/h2>\n<ul>\n<li class=\"p1\"><span class=\"s1\">12\/2013-12\/2018:\u00a0<\/span><span class=\"s1\"><a href=\"http:\/\/www.agence-nationale-recherche.fr\/projet-anr\/?tx_lwmsuivibilan_pi2%5BCODE%5D=ANR-13-INSE-0001\" target=\"_blank\" rel=\"noopener noreferrer\">ANR IMPEX ( ANR-13-INSE-0001) Int\u00e9gration des s\u00e9mantiques implicite et explicite dans les d\u00e9veloppements de syst\u00e8mes discrets fond\u00e9s sur la preuve<\/a><\/span><span class=\"s1\">\u00a0 \u00a0Visit \u00a0the website of <a href=\"http:\/\/impex.loria.fr\">IMPEX<\/a><\/span><\/li>\n<li><span class=\"s1\">12\/2006-09\/2010: \u00a0\u00a0<\/span><span class=\"s1\"><a href=\"http:\/\/rimel.loria.fr\" target=\"_blank\" rel=\"noopener noreferrer\">ANR RIMEL (ANR ANR-06-SETI-015) (Raffinement Incr\u00e9mental de Mod\u00e8les \u00e9v\u00e9nementiELs)<\/a><\/span><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Current Projects<\/p>\n<ul>\n<li><a href=\"https:\/\/www.irit.fr\/EBRP\/\">ANR EBRPPlus<\/a> \u00a0The project intends to improve to enhance Event-B and the corresponding RODIN toolset.<\/li>\n<li><a href=\"http:\/\/eb2all.loria.fr\">EB2ALL <\/a>\u00a0<a href=\"http:\/\/eb2all.loria.fr\">The Event-B to C, C++, Java and C# Code Generato<\/a>r<\/li>\n<li class=\"p1\"><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\">ANR FORMEDICIS (<\/a><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\"> ANR<\/a><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\">-16-CE25-0007)<\/a><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-16-CE25-0007\"> M\u00e9thodes formelles pour le d\u00e9veloppement et l&rsquo;ing\u00e9nierie de syst\u00e8mes interactifs critiques<\/a>\u00a0(01\/2017-01\/2021) \u00a0The site of the project is <a href=\"https:\/\/w3.onera.fr\/Formedicis\">here ( just click!!!!!!!!)<\/a><\/li>\n<li><a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-17-CE25-0005\">ANR DISCONT ( ANR-17-CE25-0005) Int\u00e9gration correcte de mod\u00e8les discrets et continus<\/a>\u00a0 (03\/2018-03\/2022) The site of the project is <a href=\"http:\/\/discont.loria.fr\">here (just click!!!).<\/a><\/li>\n<\/ul>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-fullwidth.php","meta":{"footnotes":""},"class_list":["post-22","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/22","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\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":25,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":490,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/22\/revisions\/490"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}