Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2 
publications
Proactive Handoff of Secondary User in Cognitive Radio Networks Using Machine Learning Techniques
Published in International Conference on Intelligent Computing, Information and Control Systems (ICICCS), Springer, 2021
A machine learning-based approach to improve handoff decisions in cognitive radio networks by predicting signal deterioration and optimizing spectrum usage.
Recommended citation: 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.
Download Paper
Automatic Benchmark Generation for Object Constraint Language
Published in IEEE Conference on Software Testing, Verification and Validation (ICST 2023), 2023
Proposes a framework for automatic generation of benchmarks to evaluate OCL tools in terms of performance, expressiveness, and complexity.
Recommended citation: A. Jha (2023). "Automatic Benchmark Generation for Object Constraint Language." IEEE ICST 2023.
Download Paper
Verifying UML Models Annotated with OCL Strings
Published in ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), 2024
Explores automated approaches to verify UML models that include OCL constraints, improving model-driven development with formal validation techniques.
Recommended citation: A. Jha, R. Monahan, H. Wu (2024). "Verifying UML Models Annotated with OCL Strings." ACM/IEEE MODELS 2024.
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.