A new set of metrics for measuring the complexity of OCL expressions
A. Jha, R. Monahan, H. Wu (2025). "A new set of metrics for measuring the complexity of OCL expressions." ACM/IEEE STAF 2025.
Publications
You can also find my articles on my Google Scholar profile.
Verifying UML Models Annotated with OCL Strings
A. Jha, R. Monahan, H. Wu (2024). "Verifying UML Models Annotated with OCL Strings." ACM/IEEE MODELS 2024.
Automatic Benchmark Generation for Object Constraint Language
A. Jha (2023). "Automatic Benchmark Generation for Object Constraint Language." IEEE ICST 2023.
Proactive Handoff of Secondary User in Cognitive Radio Networks Using Machine Learning Techniques
G. Wajhal, V. Dehalwar, A. Jha, K. Ogura, M. L. Kolhe (2021). "Proactive Handoff of Secondary User in Cognitive Radio Networks Using Machine Learning Techniques." ICICCS, Springer.