Mustafa Al-Lail

16 papers B 1C 3Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2024 C conf
Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange.
ISORC
Antonio Rosales Viesca, Mustafa Al-Lail, Omar Alam
2024 — conf
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams.
ICSE Companion
Mustafa Al-Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour, Alfredo J. Perez
2024 J jnl
Taming the frame problem: an automated approach for robust UML class diagram specification and verification.
Innov. Syst. Softw. Eng.
Antonio Rosales Viesca, Mustafa Al-Lail
2023 — conf
Automated Mitigation of Frame Problem in UML Class Diagram Verification.
MoDELS (Companion)
Antonio Rosales Viesca, Mustafa Al-Lail
2023 J jnl
Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation.
CoRR
Pedro Valero-Lara, Alexis Huante, Mustafa Al-Lail, William F. Godoy, Keita Teranishi, Prasanna Balaprakash, Jeffrey S. Vetter
2023 J jnl
Machine Learning for Network Intrusion Detection - A Comparative Study.
Future Internet
Mustafa Al-Lail, Alejandro Garcia, Saul Olivo
2023 C conf
Poster: Integrating Spatio-temporal Authorization with Generic Cloud-based Software Architecture for Internet of Things Devices.
SACMAT
Marshal Moncivais, Mustafa Al-Lail
2023 — conf
Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach.
MoDELS (Companion)
Hector Cardenas, Mustafa Al-Lail
2022 — conf
Categorization of approaches to extend and reuse OCL.
MoDELS (Companion)
Lars Hamann, Martin Gogolla, Mustafa Al-Lail
2022 — conf
Transformation of TOCL temporal properties into OCL.
MoDELS (Companion)
Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez
2021 C conf
Poster: Towards Cloud-Based Software for Incorporating Time and Location into Access Control Decisions.
SACMAT
Mustafa Al-Lail
2014 — conf
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties.
QSIC
Mustafa Al-Lail, Wuliang Sun, Robert B. France
2013 — conf
A Framework for Specifying and Analyzing Temporal Properties of UML Class Models.
MoDELS (Demos/Posters/StudentResearch)
Mustafa Al-Lail
2013 — conf
An Approach to Analyzing Temporal Properties in UML Class Models.
MoDeVVa@MoDELS
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray
2013 B conf
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems.
ICECCS
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray
2013 J jnl
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model.
IEEE Syst. J.
Ramadan Abdunabi, Mustafa Al-Lail, Indrakshi Ray, Robert B. France