Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Love My Data 11 - 15 Mar 2024
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
Download
Doctoral thesis (Dissertations and theses)
Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair
Fahmy, Hazem
2023
Permalink
https://hdl.handle.net/10993/55149
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
PhD_Thesis_Hazem.pdf
Author postprint (11.31 MB)
Download
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Research center :
- Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation
Disciplines :
Computer science
Author, co-author :
Fahmy, Hazem
;
University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Language :
English
Title :
Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and Repair
Defense date :
03 May 2023
Number of pages :
178
Institution :
Unilu - University of Luxembourg, Luxembourg
Degree :
Docteur en Informatique
Promotor :
Pastore, Fabrizio
President :
Briand, Lionel
Secretary :
Stifter, Thomas
Jury member :
Stocco, Andrea
Riccio, Vincenzo
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
FnR Project :
FNR14711346 - Functional Safety For Autonomous Systems, 2020 (01/08/2020-31/07/2023) - Fabrizio Pastore
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 14 May 2023
Statistics
Number of views
95 (11 by Unilu)
Number of downloads
71 (3 by Unilu)
More statistics
Bibliography
Similar publications
Contact ORBilu