default search action

combined dblp search
author search
venue search
publication search

ask others

Mustafa Al Lail

Mustafa Al-Lail

> Home > Persons

Person information

affiliation: Texas A&M International University, Laredo, TX, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/LailHB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/LailHB25
Mustafa Al Lail, Alexis Huante, Mariem Belhor:
Impact of Network Data Complexity on Machine Learning Performance for Real-Time Iot Systems. ISORC 2025: 1-8
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/MoncivaisL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/MoncivaisL25
Marshal Moncivais, Mustafa Al Lail:
A Secure, Context-Aware Software Architecture for Real-Time IoT Applications. ISORC 2025: 303-309
2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/ViescaA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/ViescaA24
Antonio Rosales Viesca, Mustafa Al-Lail:
Taming the frame problem: an automated approach for robust UML class diagram specification and verification. Innov. Syst. Softw. Eng. 20(4): 619-641 (2024)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/LailPASR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/LailPASR24
Mustafa Al Lail, Daniela Pinto, Luis Alvarez Almanza, Francisco Salazar, Carolina Rizzi:
Beyond Traditional Methods: Deep Learning with Data Augmentation for Robust Access Control. ICCCN 2024: 1-6
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Al-LailVCZP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Al-LailVCZP24
Mustafa Al-Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour, Alfredo J. Perez:
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams. ICSE Companion 2024: 114-118
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/ViescaAA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/ViescaAA24
Antonio Rosales Viesca, Mustafa Al-Lail, Omar Alam:
Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange. ISORC 2024: 1-4
2023
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fi/AlLailGO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fi/AlLailGO23
Mustafa Al-Lail, Alejandro Garcia, Saul Olivo:
Machine Learning for Network Intrusion Detection - A Comparative Study. Future Internet 15(7): 243 (2023)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lcpc/ValeroLaraHLGTBV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcpc/ValeroLaraHLGTBV23
Pedro Valero-Lara, Alexis Huante, Mustafa Al Lail, William F. Godoy, Keita Teranishi, Prasanna Balaprakash, Jeffrey S. Vetter:
Comparing Llama-2 and GPT-3 LLMs for HPC Kernels Generation. LCPC 2023: 20-32
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/models/CardenasA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CardenasA23
Hector Cardenas, Mustafa Al-Lail:
Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach. MoDELS (Companion) 2023: 393-402
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ViescaA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ViescaA23
Antonio Rosales Viesca, Mustafa Al-Lail:
Automated Mitigation of Frame Problem in UML Class Diagram Verification. MoDELS (Companion) 2023: 841-850
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/MoncivaisA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/MoncivaisA23
Marshal Moncivais, Mustafa Al-Lail:
Poster: Integrating Spatio-temporal Authorization with Generic Cloud-based Software Architecture for Internet of Things Devices. SACMAT 2023: 59-61
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07103
Pedro Valero-Lara, Alexis Huante, Mustafa Al-Lail, William F. Godoy, Keita Teranishi, Prasanna Balaprakash, Jeffrey S. Vetter:
Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation. CoRR abs/2309.07103 (2023)
2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/models/HamannGA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HamannGA22
Lars Hamann, Martin Gogolla, Mustafa Al-Lail:
Categorization of approaches to extend and reuse OCL. MoDELS (Companion) 2022: 847-851
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/models/Al-LailRCHP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Al-LailRCHP22
Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez:
Transformation of TOCL temporal properties into OCL. MoDELS (Companion) 2022: 899-907
2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jcscoll/LailMT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcscoll/LailMT21
Mustafa Al Lail, Marshal Moncivais, Miguelangel Trevino:
Towards a software system for spatio-temporal authorization. J. Comput. Sci. Coll. 36(7): 47-55 (2021)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/Al-Lail21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/Al-Lail21
Mustafa Al-Lail:
Poster: Towards Cloud-Based Software for Incorporating Time and Location into Access Control Decisions. SACMAT 2021: 55-57

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/Al-LailSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/Al-LailSF14
Mustafa Al-Lail, Wuliang Sun, Robert B. France:
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. QSIC 2014: 196-201
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/AbdunabiARF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/AbdunabiARF13
Ramadan Abdunabi, Mustafa Al-Lail, Indrakshi Ray, Robert B. France:
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model. IEEE Syst. J. 7(3): 501-515 (2013)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Al-LailAFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Al-LailAFR13
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. ICECCS 2013: 246-251
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/Al-LailAFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Al-LailAFR13
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
An Approach to Analyzing Temporal Properties in UML Class Models. MoDeVVa@MoDELS 2013: 77-86
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/Al-Lail13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Al-Lail13
Mustafa Al-Lail:
A Framework for Specifying and Analyzing Temporal Properties of UML Class Models. MoDELS (Demos/Posters/StudentResearch) 2013: 112-117

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.