Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
A Novel Deep Synthesis-based Insider Intrusion Detection (DS-IID) Model for Malicious Insiders and AI-Generated Threats
Kotb, H., Gaber, T., AlJanah, S., Zawbaa, H. & Alkhathami, M., 2 Jan 2025, In: Scientific Reports. 15, 14 p., 207.Research output: Contribution to journal › Article › peer-review
Open Access -
A Blockchain-based Fox Optimization Algorithm for Optimizing and Securing Electrical Vehicles Charging
Hamed, A., Torky, M., AlJanah, S., Alshammari, A. & Gaber, T., 24 Oct 2024, (Accepted/In press) In: IEEE Transactions on Intelligent Vehicles. 19 p.Research output: Contribution to journal › Article › peer-review
-
A Comprehensive Review of Model Compression Techniques in Machine Learning
Dantas, P. V., da Silva Junior, W. S., Cordeiro, L. C. & Carvalho, C. B., 2 Sept 2024, In: Applied Intelligence. 54, 22, p. 11804-11844 41 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams
Izumi, F., De lima filho, E. B., Cordeiro, L. C., Maia, O., Fabrício, R., Farias, B. & Silva, A., 9 Jan 2024, (Accepted/In press) 17th IEEE International Conference on Software Testing, Verification and Validation. (Software Testing, Verification and Reliability).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
An Algebraic Approach to Simulation and Verification for Cyber-Physical Systems with Shared-Variable Concurrency
Li, R., Zhu, H. & Banach, R., 22 Apr 2024, (Accepted/In press) In: Journal of Logical and Algebraic Methods in Programming.Research output: Contribution to journal › Article › peer-review
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A. (PI), Lennox, B. (PI), Weightman, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Fisher, M. (CoI), Herrmann, G. (CoI), Dickson, A. (CoI), Lanzon, A. (CoI), Stancu, A. (CoI), Saiani, A. (CoI), Freitas, A. (CoI), Nini, A. (CoI), Voronkov, A. (CoI), Brass, A. (CoI), Vijayaraghavan, A. (CoI), Parslew, B. (CoI), crowther, W. (CoI), Grieve, B. (CoI), Adorno, B. (CoI), Jay, C. (CoI), Wang, C. C. L. (CoI), Todd, C. (CoI), Soutis, C. (CoI), Arsene, C. (CoI), Dresner, D. (CoI), Barrett, E. (CoI), Gowen, E. (CoI), Arvin, F. (CoI), Podd, F. (CoI), Brown, G. (CoI), Reger, G. (CoI), Cooper, G. (CoI), Mairs, H. (CoI), Yin, H. (CoI), Kinloch, I. (CoI), Eleftheriou, I. (CoI), Li, J. (CoI), Carrasco Gomez, J. (CoI), Ainsworth, J. (CoI), Sinha, J. (CoI), Ozanyan, K. (CoI), Smith, K. (CoI), Twomey, K. (CoI), Margetts, L. (CoI), Ren, L. (CoI), Zhang, L. (CoI), Cordeiro, L. (CoI), Rattray, M. (PI), Bissett, M. (CoI), Elliot, M. (CoI), Alvarez, M. (CoI), Luján, M. (CoI), Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M. (CoI), Peek, N. (CoI), Marjanovic, O. (CoI), Dorn, O. (CoI), Dudek, P. (CoI), Green, P. (CoI), Connolly, P. (CoI), Da Silva Bartolo, P. J. (CoI), Gardner, P. (CoI), Martin, P. (CoI), Potluri, P. (CoI), Curtis, R. (CoI), Schmidt, R. (CoI), Banach, R. (CoI), Batista-Navarro, R. T. (CoI), Kaski, S. (CoI), Midson, S. (CoI), Watson, S. (CoI), Holm, S. (CoI), Furber, S. (CoI), Schlegel, V. (CoI), Mirihanage, W. (CoI), Mansell, W. (CoI), Pan, W. (CoI), Sampson, W. (CoI), Sellers, W. (CoI), Yang, W. (CoI), Cai, P. (CoI), Sun, Y. (CoI), Alharthi, A. (Researcher), Macario Rojas, A. (Researcher), Serhan, B. (Researcher), Yu, C. (Researcher), Abara, D. (Researcher), Lopez Pulgarin, E. (Researcher), Faruq, F. (Researcher), Tavella, F. (Researcher), Semeraro, F. (Researcher), Liu, G. (Researcher), Fang, G. (Researcher), Niu, H. (Researcher), Taylor, H. (PI), Zhu, H. (PGR student), Collenette, J. (Researcher), Amano, K. (Researcher), Lo, K. C. J. (PGR student), Raggioli, L. (Researcher), Romeo, M. (Researcher), Ruocco, M. (PGR student), Ghaffari Saadat, M. (Researcher), Walmsley, M. (Researcher), Mubarik, A. (Researcher), Vinanzi, S. (Researcher), Su, Y.-H. (PGR student), McAleese, H. (PGR student), Stringer, P. (PGR student), Stoican, R. (PGR student), Ye, R. (PGR student), Kurawa, S. S. (PGR student), Zhang, T. (PGR student), Krywonos, W. (PGR student), Xu, Y. (PGR student), Tian, Y. (PGR student), Henderson, A. (Technical team), Morley, D. (Support team), Tallentire, J. (Support team), Smith, J. (Support team), Hawthornthwaite, S. (Support team), Carlson, J. (Support team) & Baniqued, P. D. (Researcher)
Project: Research
-
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
Cordeiro, L. (PI), Brown, G. (CoI), Freitas, A. (CoI), Luján, M. (CoI) & Mustafa, M. (CoI)
1/02/21 → 31/12/24
Project: Research
-
SCorCH: Secure Code for Capability Hardware
Reger, G. (PI), Cordeiro, L. (CoI), Korovin, K. (CoI), Mustafa, M. (CoI) & Olivier, P. (CoI)
1/07/20 → 31/12/23
Project: Research
Activities
-
Secure P2P energy trading: From theory to practice
Mustafa, M. (Co-Organiser)
16 Oct 2022 → 21 Oct 2022Activity: Participating in or organising event(s) › Organising a conference, workshop, exhibition, performance, inquiry, course etc › Research
-
IEEE International Smart Cities Conference
Mustafa, M. (Co-Chair)
26 Sept 2022 → 29 Sept 2022Activity: Participating in or organising event(s) › Organising a conference, workshop, exhibition, performance, inquiry, course etc › Research
-
The SNIPPET project: Secure and Privacy-friendly Peer-to-peer Electricity Trading
Mustafa, M. (Speaker)
2 Nov 2021Activity: Talk or presentation › Invited talk › Research
Datasets
-
Peer-to-Peer, Self-Consumption and Transactive Energy Literature Review Data Extraction Table
Capper, T. (Creator), Gorbatcheva, A. (Creator), Schwidtal, J. M. (Creator), A. Mustafa, M. (Creator), Andoni, M. (Creator), Chitchyan, R. (Creator), Robu, V. (Creator), Montakhabi, M. (Creator), Piccini, P. (Creator), Bahloul, M. (Creator), Mbavarira, T. (Creator), Kiesling, L. (Creator), Scott, I. J. (Creator), Francis, C. (Creator), Espana, J. M. (Creator) & Troncia, M. (Creator), University of Manchester Figshare, 25 Jan 2022
DOI: 10.48420/16930768.v1, https://figshare.manchester.ac.uk/articles/dataset/Peer-to-Peer_Self-Consumption_and_Transactive_Energy_Literature_Review_Data_Extraction_Table/16930768/1
Dataset
Prizes
-
File
-
Steve Furber Medal for Outstanding Doctoral Thesis in Computer Science
AlJanah, S. (Recipient), 24 May 2023
Prize: Prize (including medals and awards)