Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

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

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

More information here

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

More information here

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

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.