{"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":"2016-08-17T15:27:06","modified_gmt":"2016-08-17T13:27:06","slug":"projets","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/HCirstea\/projets\/","title":{"rendered":"Projets"},"content":{"rendered":"

QUARTEFT<\/a> –\u00a0QUAlifiable Real TimE Fiacre Transformation (FNRAE<\/a>: Fondation de Recherche pour l’A\u00e9ronautique et l’Espace)<\/p>\n

Participants:\u00a0LAAS-CNRS<\/a>,\u00a0IRIT<\/a>,\u00a0PAREO<\/a> (LORIA et INRIA Nancy – Grand-Est),\u00a0AIRBUS France<\/a>,\u00a0Ellidiss<\/a><\/p>\n

 <\/p>\n

CORiAS<\/a> –\u00a0Conception et r\u00e9alisation d’assistants \u00e0 la preuve en\u00a0surd\u00e9duction modulo\u00a0(ARC Inria: Collaborative Research Initiatives)<\/p>\n

Participants:\u00a0TypiCal<\/a> (INRIA Saclay – Ile-de-France),\u00a0PAREO<\/a> (LORIA et INRIA Nancy – Grand-Est)<\/p>\n

 <\/p>\n

SSURF –\u00a0Safety and Security under FOCAL\u00a0(ANR<\/a>: national program on computer systems security and safety)<\/p>\n

Participants:\u00a0SPI – LIP6 – UPMC<\/a> with\u00a0Safe River<\/a>,\u00a0PAREO<\/a> (LORIA et INRIA Nancy – Grand-Est),\u00a0CPR – CEDRIC – CNAM<\/a>,\u00a0BERTIN Technologies<\/a><\/p>\n

 <\/p>\n

REWERSE<\/a> –\u00a0Reasoning on the Web with Rules and Semantics (Network of Excellence<\/a>\u00a0within the\u00a0<\/span>6th Framework Programme<\/a>)<\/span><\/p>\n

 <\/p>\n

MODULOGIC<\/a> –\u00a0design of a platform for building certified software (ACI SI<\/a>: national program\u00a0for understanding, defining and guaranteeing security and\u00a0dependability at the system level)<\/p>\n

Participants:\u00a0FOC (LIP6, CEDRIC, INRIA-Rocquencourt),\u00a0LOGICAL (INRIA-Futurs et LIX),\u00a0MIR\u00d3 (INRIA-Sophia-Antipolis),\u00a0PROTHEO (LORIA et INRIA-Lorraine)<\/p>\n

 <\/p>\n

MANIFICO – non-intrusive meta-compilation of matching with constraints (RNTL)<\/p>\n

Participants:\u00a0Contraintes<\/a> (INRIA-Rocquencourt),\u00a0ILOG<\/a>,\u00a0PROTHEO (LORIA et INRIA-Lorraine)<\/p>\n","protected":false},"excerpt":{"rendered":"

QUARTEFT<\/a> –\u00a0QUAlifiable Real TimE Fiacre Transformation (FNRAE<\/a>: Fondation de Recherche pour l’A\u00e9ronautique et l’Espace)<\/p>\n

Participants:\u00a0LAAS-CNRS<\/a>,\u00a0IRIT<\/a>,\u00a0PAREO<\/a> (LORIA et INRIA Nancy – Grand-Est),\u00a0AIRBUS France<\/a>,\u00a0Ellidiss<\/a><\/p>\n

 <\/p>\n

CORiAS<\/a> –\u00a0Conception et r\u00e9alisation d’assistants \u00e0 la preuve en\u00a0surd\u00e9duction modulo\u00a0(ARC Inria: Collaborative Research Initiatives)<\/p>\n

Participants:\u00a0TypiCal<\/a> (INRIA Saclay – Ile-de-France),\u00a0PAREO<\/a> (LORIA et INRIA Nancy – Grand-Est)<\/p>\n

 <\/p>\n

SSURF –\u00a0Safety and Security under FOCAL\u00a0(ANR<\/a>: national program on computer systems security and safety)<\/p>\n

Participants:\u00a0SPI –<\/a><\/p>\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\/HCirstea\/wp-json\/wp\/v2\/pages\/22","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":13,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":306,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/pages\/22\/revisions\/306"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}