Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lail, Mustafa Al
39  Ergebnisse:
Personensuche X
?
1

TPV: A Tool for Validating Temporal Properties in UML Class..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Lail, Mustafa Al ; Viesca, Antonio ; Cardenas, Hector.. - p. 114-118 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Streamlining CPS Validation: Using Interoperable UML Tools ..:

, In: 2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC),
Viesca, Antonio Rosales ; Al Lail, Mustafa ; Alam, Omar - p. 1-4 , 2024
Link: https://doi.org/10.1109/..
 
?
3

TPV: A Tool for Validating Temporal Properties in UML Class..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,
Al Lail, Mustafa ; Viesca, Antonio ; Cardenas, Hector.. - p. 114-118 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Cloud-Based Access Control Including Time and Location:

Al Lail, Mustafa ; Moncivais, Marshal ; Benton, Robert.
Electronics.  13 (2024)  14 - p. 2812 , 2024
Link: https://doi.org/10.3390/..
 
?
5

Automated Mitigation of Frame Problem in UML Class Diagram ..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Viesca, Antonio Rosales ; Al Lail, Mustafa - p. 841-850 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Poster: Integrating Spatio-temporal Authorization with Gene..:

, In: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies,
Moncivais, Marshal ; Al Lail, Mustafa - p. 59-61 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Specifying Temporal Properties in UML Using Patterns: A Too..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Cardenas, Hector ; Lail, Mustafa Al - p. 393-402 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Machine Learning for Network Intrusion Detection—A Comparat..:

Al Lail, Mustafa ; Garcia, Alejandro ; Olivo, Saul
Future Internet.  15 (2023)  7 - p. 243 , 2023
Link: https://doi.org/10.3390/..
 
?
9

Categorization of approaches to extend and reuse OCL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Hamann, Lars ; Gogolla, Marting ; Lail, Mustafa Al - p. 847-851 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Formal UML-based Modeling and Analysis for Securing Locatio..:

, In: 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS),
Cardenas, Hector ; Zimmerman, Ryan ; Viesca, Antonio Rosales.. - p. 722-723 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Transformation of TOCL temporal properties into OCL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Lail, Mustafa Al ; Rosales, Antonio ; Cardenas, Hector.. - p. 899-907 , 2022
Link: https://dl.acm.org/doi/1..
 
?
12

Poster: Towards Cloud-Based Software for Incorporating Time..:

, In: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies,
Al Lail, Mustafa - p. 55-57 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation:

Valero-Lara, Pedro ; Huante, Alexis ; Lail, Mustafa Al...
http://arxiv.org/abs/2309.07103.  , 2023
Link: http://arxiv.org/abs/230..
 
?
14

A unified modeling language framework for specifying and an..:

Al Lail, Mustafa, author ; France, Robert B., advisor ; Ray, Indrakshi, advisor...
2000-2019.  , 2018
Link: https://hdl.handle.net/1..
 
?
15

Machine Learning for Network Intrusion Detection—A Comparat..:

Mustafa Al Lail ; Alejandro Garcia ; Saul Olivo
https://www.mdpi.com/1999-5903/15/7/243.  , 2023
Link: https://doi.org/10.3390/..
 
1-15