Articles matching “Jha”

1. Shilpi Gupta, Mohammad Sadeghi, Monalisha Ojha, Colin Atkinson, Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays, pp. 3:71-84, PDF, DOI. Volume 25, no. 3 ( 2026)
2. Ankit Jha, Rosemary Monahan, Hao Wu, Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification, pp. 3:365-378, PDF, DOI. Volume 25, no. 3 ( 2026)