| 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 | 51 | 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 | 23 | 2013 |
| Machine learning for network intrusion detection—a comparative study M Al Lail, A Garcia, S Olivo Future Internet 15 (7), 243, 2023 | 15 | 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 | 10 | 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 | 8 | 2023 |
| A unified modeling language framework for specifying and analyzing temporal properties M Al Lail Colorado State University, 2018 | 5 | 2018 |
| 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 | 4 | 2022 |
| 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 |
| 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 |
| A Framework for Specifying and Analyzing Temporal Properties of UML Class Models. M Al-Lail MoDELS (Demos/Posters/StudentResearch), 112-117, 2013 | 2 | 2013 |
| 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 | 1 | 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 | 1 | 2022 |
| 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 |
| 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 |
Robert FranceProfessor of Computer Science, Colorado State University在 cs.colostate.edu 的电子邮件经过验证
