Naif Alasmari

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Intelligent Control

Markov Decision Processes

Top Venues

Comput. Electr. Eng.

J. Syst. Softw.

Publications

Manal Abdullah Alohali, Naif Alasmari, Nabil Sharaf Almalki, Majdi Khalid, Mrim M. Alnfiai, Mohammed Assiri, Sitelbanat Abdelbagi
Textual emotion analysis using improved metaheuristics with deep learning model for intelligent systems. Trans. Emerg. Telecommun. Technol. 35 (4) (2024)
Naif Alasmari, Manal Abdullah Alohali, Majdi Khalid, Nabil Almalki, Abdelwahed Motwakel, Mohamed Ibrahim Alsaid, Azza Elneil Osman, Amani A. Alneil
Improved metaheuristics with deep learning based object detector for intelligent control in autonomous vehicles. Comput. Electr. Eng. 108 (2023)
Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188 (2022)
Naif Alasmari, Radu Calinescu
Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. SEAA (2022)
Radu Calinescu, Naif Alasmari, Mario Gleirscher
Maintaining driver attentiveness in shared-control autonomous driving. CoRR (2021)
Radu Calinescu, Naif Alasmari, Mario Gleirscher
Maintaining driver attentiveness in shared-control autonomous driving. SEAMS@ICSE (2021)
Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
Quantitative Verification with Adaptive Uncertainty Reduction. CoRR (2021)
Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE (2021)
Naif Alasmari, Radu Calinescu
Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. ES (2018)
Naif Alasmari
Optimising Cloud-Based Hadoop 2.x Applications. UCC Companion (2018)