Research output per year
Research output per year
Supervised Work
- 8 results
Search results
-
PRIVACY-PRESERVING TRADING IN LOCAL ENERGY MARKETS
Erdayandi, K. (Author), Cordeiro, L. (Supervisor) & Mustafa, M. A. (Supervisor), 31 Dec 2024Student thesis: Phd
File -
Black-Box Cooperative Verification Framework for Finding Software Vulnerabilities in Concurrent Programs
Aljaafari, F. (Author), Cordeiro, L. (Supervisor) & Mustafa, M. A. (Supervisor), 1 Aug 2024Student thesis: Phd
File -
Fine-Grained Forgetting for Expressive Description Logics: Deductive, Semantic, and Query Forgetting in One Framework
Sakr, M. (Author), Cordeiro, L. (Supervisor) & Schmidt, R. (Supervisor), 1 Aug 2024Student thesis: Phd
File -
Efficient Hybrid Fuzzing for Detecting Vulnerabilities and Achieving High Coverage in Software
Alshmrany, K. (Author), Cordeiro, L. (Supervisor) & Zhang, N. (Supervisor), 1 Aug 2023Student thesis: Phd
File -
Differentiable Constraint-based Solvers for Explanation-based Multi-hop Inference
Thayaparan, M. (Author), Freitas, A. (Supervisor) & Cordeiro, L. (Supervisor), 1 Aug 2023Student thesis: Phd
File -
Countering IoT Botnets
Trajanovski, T. (Author), Cordeiro, L. (Supervisor) & Zhang, N. (Supervisor), 1 Aug 2023Student thesis: Phd
File -
Data transfer optimizations for heterogeneous managed runtime systems
Blanaru, F.-G. (Author), Cordeiro, L. (Supervisor) & Kotselidis, C.-E. (Supervisor), 1 Aug 2022Student thesis: Master of Philosophy
File -
Finding Software Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
Alhawi, O. (Author), Cordeiro, L. (Supervisor) & Mustafa, M. A. (Supervisor), 1 Aug 2021Student thesis: Master of Philosophy
File