{"id":13,"date":"2017-04-03T15:02:46","date_gmt":"2017-04-03T13:02:46","guid":{"rendered":"https:\/\/pages.david.uvsq.fr\/kloul\/?page_id=13"},"modified":"2024-09-26T22:34:47","modified_gmt":"2024-09-26T20:34:47","slug":"recherche","status":"publish","type":"page","link":"https:\/\/pages.david.uvsq.fr\/kloul\/recherche\/","title":{"rendered":"Recherche"},"content":{"rendered":"\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-4 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:100%\">\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-1 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:100%\">\n<p><span class=\"s1\">Mes travaux de recherche rentrent dans le cadre de la recherche de solutions analytiques pour les probl\u00e8mes de dimensionnement de syst\u00e8mes complexes. L\u2019objectif est de d\u00e9velopper des m\u00e9thodes formelles et des outils pour l\u2019analyse de la s\u00fbret\u00e9 de fonctionnement (MBSA ou Model-Based Safety Assessment) de syst\u00e8mes industriels. Je m\u2019int\u00e9resse en particulier \u00e0 des approches qui permettent, entre autres, une plus grande expressivit\u00e9, une structuration hi\u00e9rarchique des mod\u00e8les en fonction des composants du syst\u00e8me, et une mod\u00e9lisation support\u00e9e par une s\u00e9mantique formelle.<\/span><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-2 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\"><\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\"><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-columns are-vertically-aligned-center is-layout-flex wp-container-core-columns-is-layout-3 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-vertically-aligned-center is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:100%\">\n<h4><span style=\"color: #800080\"><strong>Doctorants<\/strong><\/span>\u00a0<\/h4>\n<ul style=\"list-style-type: disc\">\n<li>Perla Hajjar, <em>Approches de gestion dynamique de la mobilit\u00e9 pour les syst\u00e8mes de transports autonomes et leurs usages <\/em>[2021-&#8230;]<\/li>\n<li>Anas Hossini, <em>Predictive maintenance for smart building<\/em> [2022-&#8230;]<\/li>\n<li>Anne Fernet, Strat\u00e9gies de maintenance pr\u00e9visionnelle pour une meilleure r\u00e9silience des r\u00e9seaux de distribution d&rsquo;eau [2024-&#8230;]<\/li>\n<\/ul>\n<h4><strong><span style=\"color: #800080\">Anciens doctorants [2010-2024]<\/span><\/strong><\/h4>\n<ul style=\"list-style-type: disc\">\n<li>Yassamina Berkane, <em>Organisation du temps pour la d\u00e9congestion des mobilit\u00e9s urbaines, approche syst\u00e9mique et interdisciplinaire des bureaux de temps, <\/em>20\/12\/2023<\/li>\n<li>Tatiana Babicheva, <em>Machine learning for the distributed and dynamic management of a fleet of autonomous taxis and shuttles<\/em>, 10\/03\/2021<\/li>\n<li>Wei Chen, Formal modelling and automatic generation of test cases for the autonomous vehicle, 24\/09\/2020<\/li>\n<li>Walid Bennaceur, <em>Formal models for safety analysis of a data center system<\/em>, 21\/11\/2019<\/li>\n<li>Huixing Meng, <em>Modelling patterns for performance analysis of production and safety systems in process industry<\/em>, 17\/11\/2017<\/li>\n<li>Melissa Issad, <em>Reverse engineering of system specifications: application to the railway systems of Siemens<\/em>, 26\/04\/2017<\/li>\n<li>Amira Choutri, <em>Gestion des ressources et de la consommation \u00e9nerg\u00e9tique dans les r\u00e9seaux mobiles h\u00e9t\u00e9rog\u00e8nes<\/em>, 1\/07\/2016<\/li>\n<li>Samire Bellahs\u00e8ne, <em>Algorithmes et techniques de pr\u00e9diction des performances pour un r\u00e9seau IP \u00e0 deux noeuds<\/em>, 09\/2012<\/li>\n<\/ul>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<\/div><\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Mes travaux de recherche rentrent dans le cadre de la recherche de solutions analytiques pour les probl\u00e8mes de dimensionnement de syst\u00e8mes complexes. L\u2019objectif est de d\u00e9velopper des m\u00e9thodes formelles et des outils pour l\u2019analyse de la s\u00fbret\u00e9 de fonctionnement (MBSA ou Model-Based Safety Assessment) de syst\u00e8mes industriels. Je m\u2019int\u00e9resse en particulier \u00e0 des approches qui [&hellip;]<\/p>\n","protected":false},"author":85,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/pages\/13"}],"collection":[{"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/users\/85"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":14,"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":54,"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/pages\/13\/revisions\/54"}],"wp:attachment":[{"href":"https:\/\/pages.david.uvsq.fr\/kloul\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}