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.
Publications
You can also find my articles on my Google Scholar profile.
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.