Modeling and Verification of Probabilistic Actor Systems Using pRebeca. - Mahsa Varshosaz; Ramtin Khosravi (ICFEM, 2012)

Discrete time Markov chain families: modeling and verification of probabilistic software product lines. - Mahsa Varshosaz; Ramtin Khosravi (SPLC Workshops, 2013)

Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. - Mahsa Varshosaz; Ramtin Khosravi (APSEC (1), 2014)

Delta-Oriented FSM-Based Testing. - Mahsa Varshosaz; Harsh Beohar; Mohammad Reza Mousavi 001 (ICFEM, 2015)

Complete IOCO test cases: a case study. - Sofia Larissa da Costa Paiva; Adenilso Simão; Mahsa Varshosaz; Mohammad Reza Mousavi 001 (A-TEST@SIGSOFT FSE, 2016)

Basic behavioral models for software product lines: Expressiveness and testing pre-orders. - Harsh Beohar; Mahsa Varshosaz; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2016)

A classification of product sampling for software product lines. - Mahsa Varshosaz; Mustafa Al-Hajjaji; Thomas Thüm; Tobias Runge; Mohammad Reza Mousavi 001; Ina Schaefer (SPLC, 2018)

Telling Lies in Process Algebra. - Mohammad Reza Mousavi 001; Mahsa Varshosaz (TASE, 2018)

Basic behavioral models for software product lines: Revisited. - Mahsa Varshosaz; Harsh Beohar; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2018)

Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. - Mahsa Varshosaz; Mohammad Reza Mousavi 001 (SOFSEM, 2019)

Towards efficient analysis of variation in time and space. - Thomas Thüm; Leopoldo Teixeira; Klaus Schmid; Eric Walkingshaw; Mukelabai Mukelabai; Mahsa Varshosaz; Goetz Botterweck; Ina Schaefer; Timo Kehrer (SPLC (B), 2019)

On the search for industry-relevant regression testing research. - Nauman Bin Ali; Emelie Engström; Masoumeh Taromirad; Mohammad Reza Mousavi 001; Nasir Mehmood Minhas; Daniel Helgesson; Sebastian Kunze; Mahsa Varshosaz (Empir. Softw. Eng., 2019)

Modal transition system encoding of featured transition systems. - Mahsa Varshosaz; Lars Luthmann; Paul Mohr; Malte Lochau; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2019)

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. - Sergio Quijano; Mahsa Varshosaz (ICST, 2022)

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review. - Hugo Leonardo da Silva Araujo; Mohammad Reza Mousavi 001; Mahsa Varshosaz (ACM Trans. Softw. Eng. Methodol., 2023)

Patching Locking Bugs Statically with Crayons. - Juan Cruz-Carlon; Mahsa Varshosaz; Claire Le Goues; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2023)

Formal Specification and Testing for Reinforcement Learning (Supplementary Material ). - Mahsa Varshosaz; Mohsen Ghaffari 002; Einar Broch Johnsen; Andrzej Wasowski (Zenodo, 2023)

Formal Specification and Testing for Reinforcement Learning. - Mahsa Varshosaz; Mohsen Ghaffari 002; Einar Broch Johnsen; Andrzej Wasowski (Proc. ACM Program. Lang., 2023)

Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors. - Sergio Quijano; Mahsa Varshosaz; Andrzej Wasowski (ICSTW, 2024)

Monitoring Safety and Reliability of Underwater Robots: A Case Study. - Mahsa Varshosaz; Andrzej Wasowski (AISoLA, 2024)

Symbolic State Partition for Reinforcement Learning. - Mohsen Ghaffari 002; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (CoRR, 2024)

Symbolic State Partitioning for Reinforcement Learning. - Mohsen Ghaffari 002; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (FASE, 2025)

Symbolic State Seeding Improves Coverage of Reinforcement Learning. - Mohsen Ghaffari 002; Cong Chen; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (SEAMS@ICSE, 2025)