Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. - Mustafa Al-Lail; Ramadan Abdunabi; Robert B. France; Indrakshi Ray (ICECCS, 2013)

A Framework for Specifying and Analyzing Temporal Properties of UML Class Models. - Mustafa Al-Lail (MoDELS (Demos/Posters/StudentResearch), 2013)

An Approach to Analyzing Temporal Properties in UML Class Models. - Mustafa Al-Lail; Ramadan Abdunabi; Robert B. France; Indrakshi Ray (MoDeVVa@MoDELS, 2013)

Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model. - Ramadan Abdunabi; Mustafa Al-Lail; Indrakshi Ray; Robert B. France (IEEE Syst. J., 2013)

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. - Mustafa Al-Lail; Wuliang Sun; Robert B. France (QSIC, 2014)

Poster: Towards Cloud-Based Software for Incorporating Time and Location into Access Control Decisions. - Mustafa Al-Lail (SACMAT, 2021)

Towards a software system for spatio-temporal authorization. - Mustafa Al Lail; Marshal Moncivais; Miguelangel Trevino (J. Comput. Sci. Coll., 2021)

Transformation of TOCL temporal properties into OCL. - Mustafa Al-Lail; Antonio Rosales; Hector Cardenas; Lars Hamann; Alfredo J. Perez (MoDELS (Companion), 2022)

Categorization of approaches to extend and reuse OCL. - Lars Hamann; Martin Gogolla; Mustafa Al-Lail (MoDELS (Companion), 2022)

Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach. - Hector Cardenas; Mustafa Al-Lail (MoDELS (Companion), 2023)

Automated Mitigation of Frame Problem in UML Class Diagram Verification. - Antonio Rosales Viesca; Mustafa Al-Lail (MoDELS (Companion), 2023)

Poster: Integrating Spatio-temporal Authorization with Generic Cloud-based Software Architecture for Internet of Things Devices. - Marshal Moncivais; Mustafa Al-Lail (SACMAT, 2023)

Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation. - Pedro Valero-Lara; Alexis Huante; Mustafa Al-Lail; William F. Godoy; Keita Teranishi; Prasanna Balaprakash; Jeffrey S. Vetter (CoRR, 2023)

Machine Learning for Network Intrusion Detection - A Comparative Study. - Mustafa Al-Lail; Alejandro Garcia; Saul Olivo (Future Internet, 2023)

Beyond Traditional Methods: Deep Learning with Data Augmentation for Robust Access Control. - Mustafa Al Lail; Daniela Pinto; Luis Alvarez Almanza; Francisco Salazar; Carolina Rizzi (ICCCN, 2024)

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams. - Mustafa Al-Lail; Antonio Rosales Viesca; Hector Cardenas; Mohammad Zarour; Alfredo J. Perez (ICSE Companion, 2024)

Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange. - Antonio Rosales Viesca; Mustafa Al-Lail; Omar Alam (ISORC, 2024)

Taming the frame problem: an automated approach for robust UML class diagram specification and verification. - Antonio Rosales Viesca; Mustafa Al-Lail (Innov. Syst. Softw. Eng., 2024)