Articles matching “Monahan”

1. 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)
2. Songyan Lai, Rosemary Monahan, FRET2WEST: Exploring translation between temporal logic representations, pp. 1:1-18, PDF, DOI. Volume 25, no. 1 ( 2026)