Finite Interval-Time Transition System for Real-Time Actors. - Shaghayegh Tavassoli; Ramtin Khosravi; Ehsan Khamespanah (TTCS, 2020)

A benchmark for active learning of variability-intensive systems. - Shaghayegh Tavassoli; Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Ramtin Khosravi (SPLC (A), 2022)

Adaptive behavioral model learning for software product lines. - Shaghayegh Tavassoli; Carlos Diego Nascimento Damasceno; Ramtin Khosravi; Mohammad Reza Mousavi 001 (SPLC (A), 2022)

Efficient construction of family-based behavioral models from adaptively learned models. - Shaghayegh Tavassoli; Ramtin Khosravi (Softw. Syst. Model., 2025)