Mustafa Al-Lail

According to our database, Mustafa Al-Lail authored at least 13 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Machine Learning for Network Intrusion Detection - A Comparative Study.

Mustafa Al-Lail, Alejandro Garcia, Saul Olivo

Future Internet, July, 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

Poster: Integrating Spatio-temporal Authorization with Generic Cloud-based Software Architecture for Internet of Things Devices.

Marshal Moncivais, Mustafa Al-Lail

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

Automated Mitigation of Frame Problem in UML Class Diagram Verification.

Antonio Rosales Viesca, Mustafa Al-Lail

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach.

Hector Cardenas, Mustafa Al-Lail

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Categorization of approaches to extend and reuse OCL.

Lars Hamann, Martin Gogolla, Mustafa Al-Lail

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Transformation of TOCL temporal properties into OCL.

Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Poster: Towards Cloud-Based Software for Incorporating Time and Location into Access Control Decisions.

Mustafa Al-Lail

Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021

2014

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties.

Mustafa Al-Lail, Wuliang Sun, Robert B. France

Proceedings of the 2014 14th International Conference on Quality Software, 2014

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

An Approach to Analyzing Temporal Properties in UML Class Models.

Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

A Framework for Specifying and Analyzing Temporal Properties of UML Class Models.

Mustafa Al-Lail

Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

Rigorous Analysis of Temporal Access Control Properties in Mobile Systems.

Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013