关注
Mustafa Al Lail
标题
引用次数
引用次数
年份
Specification, validation, and enforcement of a generalized spatio-temporal role-based access control model
R Abdunabi, M Al-Lail, I Ray, RB France
IEEE Systems Journal 7 (3), 501-515, 2013
512013
An Approach to Analyzing Temporal Properties in UML Class Models.
M Al-Lail, R Abdunabi, RB France, I Ray, F Boulanger
MoDeVVa@ MoDELS, 77-86, 2013
232013
Machine learning for network intrusion detection—a comparative study
M Al Lail, A Garcia, S Olivo
Future Internet 15 (7), 243, 2023
152023
Analyzing behavioral aspects of UML design class models against temporal properties
M Al-Lail, W Sun, RB France
2014 14th International Conference on Quality Software, 196-201, 2014
102014
Rigorous analysis of temporal access control properties in mobile systems
M Al-Lail, R Abdunabi, RB France, I Ray
2013 18th International Conference on Engineering of Complex Computer …, 2013
92013
Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation
P Valero-Lara, A Huante, MA Lail, WF Godoy, K Teranishi, P Balaprakash, ...
arXiv preprint arXiv:2309.07103, 2023
82023
A unified modeling language framework for specifying and analyzing temporal properties
M Al Lail
Colorado State University, 2018
52018
Formal uml-based modeling and analysis for securing location-based iot applications
H Cardenas, R Zimmerman, AR Viesca, M Al Lail, AJ Perez
2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems …, 2022
42022
Transformation of tocl temporal properties into ocl
MA Lail, A Rosales, H Cardenas, L Hamann, A Perez
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
22022
Poster: Towards Cloud-Based Software for Incorporating Time and Location into Access Control Decisions
M Al Lail
Proceedings of the 26th ACM Symposium on Access Control Models and …, 2021
22021
A Framework for Specifying and Analyzing Temporal Properties of UML Class Models.
M Al-Lail
MoDELS (Demos/Posters/StudentResearch), 112-117, 2013
22013
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams
Mustafa Al Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour ...
Proceedings of IEEE/ACM International Conference on Software Engineering …, 2024
1*2024
Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach
H Cardenas, M Al Lail
2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023
12023
Categorization of approaches to extend and reuse OCL
L Hamann, M Gogolla, MA Lail
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
12022
Towards a software system for spatio-temporal authorization
MA Lail, M Moncivais, M Trevino
Journal of Computing Sciences in Colleges 36 (7), 47-55, 2021
12021
Cloud-Based Access Control Including Time and Location
M Al Lail, M Moncivais, R Benton, AJ Perez
Electronics 13 (14), 2812, 2024
2024
Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange
AR Viesca, M Al Lail, O Alam
2024 IEEE 27th International Symposium on Real-Time Distributed Computing …, 2024
2024
Automated Mitigation of Frame Problem in UML Class Diagram Verification
AR Viesca, M Al Lail
2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023
2023
Poster: Integrating Spatio-temporal Authorization with Generic Cloud-based Software Architecture for Internet of Things Devices
M Moncivais, M Al Lail
Proceedings of the 28th ACM Symposium on Access Control Models and …, 2023
2023
Performance Evaluation of Supervised Machine Learning Algorithms to Predict Shale Oil Production
E Cervantes, M Al Lail, E Torres, K Enab
IISE Annual Conference and Expo, 2023
2023
系统目前无法执行此操作,请稍后再试。
文章 1–20