| 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 | 50 | 2013 |
| 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 | 21 | 2013 |
| Machine learning for network intrusion detection—A comparative study M Al Lail, A Garcia, S Olivo Future Internet 15 (7), 243, 2023 | 9 | 2023 |
| 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 | 9 | 2014 |
| 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 | 9 | 2013 |
| 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 | 5 | 2023 |
| 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 | 2 | 2022 |
| 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 | 2 | 2022 |
| 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 | 2 | 2021 |
| 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 | 1 | 2023 |
| 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 | 1 | 2021 |
| A Framework for Specifying and Analyzing Temporal Properties of UML Class Models. M Al-Lail MoDELS (Demos/Posters/StudentResearch), 112-117, 2013 | 1 | 2013 |
| 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 |
| 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 | | 2022 |
| Database Web Application for Administering Spatio-Temporal Access Control Policies M Trevino, M Al Lail American Journal of Advanced Research 5, 1, 2021 | | 2021 |
| 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS)| 978-1-6654-7180-0/22/$31.00© 2022 IEEE| DOI: 10.1109/MASS56207. 2022.00128 M Abdelhakim, M Albilani, K Alcantara, M Al Lail, Y AlSaqabi, A Altaweel, ... | | |
Robert FranceProfessor of Computer Science, Colorado State UniversityVerified email at cs.colostate.edu
