{"id":1231,"date":"2023-04-21T12:22:20","date_gmt":"2023-04-21T10:22:20","guid":{"rendered":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/"},"modified":"2023-04-21T12:22:20","modified_gmt":"2023-04-21T10:22:20","slug":"phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/","title":{"rendered":"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair"},"content":{"rendered":"<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><p>You are all cordially invited to attend the PhD defense of <strong>Mr. Hazem FAHMY on 3rd May 2023 at 09:00 am<\/strong>.<\/p><p>The PhD defense will take place in seminar <strong>room E004\/E005 (JFK Building, Campus Kirchberg).<\/strong><\/p><p><strong>Members of the defense committee:<\/strong><\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">Prof. Dr. Lionel Briand, University of Luxembourg Chairman<\/li><li class=\"ulux-list-item\">Dr. Thomas Stifter, IEE S.A. Vice-Chairman<\/li><li class=\"ulux-list-item\">Prof. Dr. Fabrizio Pastore, University of Luxembourg Supervisor<\/li><li class=\"ulux-list-item\">Prof. Dr. Vincenzo Riccio, Universit\u00e0 Di Udine Member<\/li><li class=\"ulux-list-item\">Prof. Dr. Andrea Stocco, Technical University of Munich Member<\/li><\/ul><p><strong>Abstract:<\/strong><\/p><p>Deep Neural Networks (DNNs) are increasingly adopted in a variety of safety-critical systems, including Advanced Driver-Assistance Systems (ADAS), Automated Driving Systems (ADS), medical devices, and industrial control systems. DNNs are particularly useful in the perception layer of these systems, where they are used to analyze images and other sensor data to make decisions. However, ensuring the functional safety of DNN-based components remains a challenge because performance metrics for machine learning algorithms, such as accuracy evaluation, do not enable distinguishing the different scenarios leading to DNN failures (i.e., the unsafe execution scenarios of a DNN under test).<\/p><p>To address these challenges, we propose four approaches which leverage the intuition that unsafe scenarios might be cost-effectively identified by automatically clustering images that lead to DNN failures and present commonalities. We call such image clusters root cause clusters (RCCs). The proposed approaches are:<\/p><p>\u2022 Heatmap-based Unsupervised Debugging of DNNs (HUDD), a white-box approach that identifies RCCs by applying a clustering algorithm to heatmaps capturing the relevance of every DNN neuron on the DNN outcome. HUDD also composes a dataset for retraining and improving DNNs by selecting images from an improvement set based on their closeness to the generated RCCs.<\/p><p>\u2022 Simulator-based Explanation for DNN failurEs (SEDE), a search-based approach that automatically generates explicit descriptions for hazard-triggering events from real-world images. SEDE provides such descriptions in terms of logical expressions constraining the configuration parameters of the simulator used to train the DNN.<\/p><p>\u2022 Safety Analysis using Feature Extraction (SAFE), a black-box approach that generates RCCs without relying on DNN internal information. SAFE combines transfer-learning models with dimensionality reduction techniques to extract important features from failure-inducing inputs.<\/p><p>\u2022 A pipeline for the generation of RCCs that can integrate different machine learning components. We rely on such a pipeline to assess the effectiveness of composing transfer-learning models, autoencoders, heatmaps of neuron relevance, dimensionality reduction techniques, and various clustering algorithms to derive RCCs.<\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"<p>You are all cordially invited to attend the PhD defense of Mr. Hazem FAHMY on 3rd May 2023 at 09:00 am.The PhD defense will take place in seminar room E004\/E005 (JFK Building, Campus Kirchberg).<\/p>\n","protected":false},"author":0,"featured_media":1232,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"event_start_date":"2023-05-03 09:00:00","event_end_date":"2023-05-03 10:00:00","event_speaker_name":"Hazem FAHMI","event_speaker_link":"","event_is_online":false,"event_location":"Campus Kirchberg, JFK building, room E004 - E005","event_street":"","event_location_link":"","event_zip_code":"","event_city":"","event_country":"LU"},"events-topic":[],"events-type":[],"organisation":[183],"authorship":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair - SnT - Universit\u00e9 du Luxembourg I Uni.lu<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair\" \/>\n<meta property=\"og:description\" content=\"You are all cordially invited to attend the PhD defense of Mr. Hazem FAHMY on 3rd May 2023 at 09:00 am.The PhD defense will take place in seminar room E004\/E005 (JFK Building, Campus Kirchberg).\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT FR\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/\",\"name\":\"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair - SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2023\/04\/phd_defence_supporting_safety_analysis_of_deep_neural_networks_with_automated_debugging_and_repair.jpg\",\"datePublished\":\"2023-04-21T10:22:20+00:00\",\"dateModified\":\"2023-04-21T10:22:20+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2023\/04\/phd_defence_supporting_safety_analysis_of_deep_neural_networks_with_automated_debugging_and_repair.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2023\/04\/phd_defence_supporting_safety_analysis_of_deep_neural_networks_with_automated_debugging_and_repair.jpg\",\"width\":800,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/events\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\",\"name\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"],\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair - SnT - Universit\u00e9 du Luxembourg I Uni.lu","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/","og_locale":"fr_FR","og_type":"article","og_title":"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair","og_description":"You are all cordially invited to attend the PhD defense of Mr. Hazem FAHMY on 3rd May 2023 at 09:00 am.The PhD defense will take place in seminar room E004\/E005 (JFK Building, Campus Kirchberg).","og_url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/","og_site_name":"SnT FR","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/","url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/","name":"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair - SnT - Universit\u00e9 du Luxembourg I Uni.lu","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2023\/04\/phd_defence_supporting_safety_analysis_of_deep_neural_networks_with_automated_debugging_and_repair.jpg","datePublished":"2023-04-21T10:22:20+00:00","dateModified":"2023-04-21T10:22:20+00:00","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2023\/04\/phd_defence_supporting_safety_analysis_of_deep_neural_networks_with_automated_debugging_and_repair.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2023\/04\/phd_defence_supporting_safety_analysis_of_deep_neural_networks_with_automated_debugging_and_repair.jpg","width":800,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-supporting-safety-analysis-of-deep-neural-networks-with-automated-debugging-and-repair\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-fr\/"},{"@type":"ListItem","position":3,"name":"Events","item":"https:\/\/www.uni.lu\/snt-fr\/events\/"},{"@type":"ListItem","position":4,"name":"PhD Defence: Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-fr\/#website","url":"https:\/\/www.uni.lu\/snt-fr\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-fr\/#organization","name":"SnT - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"],"description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/1231"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/types\/events"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/comments?post=1231"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/1231\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media\/1232"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media?parent=1231"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-topic?post=1231"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-type?post=1231"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/organisation?post=1231"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}