| 2025 | FASE | Symbolic State Partitioning for Reinforcement Learning. | Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2025 | SEAMS | Symbolic State Seeding Improves Coverage of Reinforcement Learning. | Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2025 | SEFM | ProbTest: Unit Testing for Probabilistic Programs. | Katrine Christensen, Mahsa Varshosaz, Ral Pardo |
| 2024 | ICST | Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors. | Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski |
| 2024 | VECoS | Monitoring Safety and Reliability of Underwater Robots: A Case Study. | Mahsa Varshosaz, Andrzej Wasowski |
| 2022 | ICST | Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. | Sergio Quijano, Mahsa Varshosaz |
| 2019 | SOFSEM | Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. | Mahsa Varshosaz, Mohammad Reza Mousavi |
| 2019 | SPLC | Towards efficient analysis of variation in time and space. | Thomas Thm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer |
| 2018 | SPLC | A classification of product sampling for software product lines. | Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer |
| 2018 | TASE | Telling Lies in Process Algebra. | Mohammad Reza Mousavi, Mahsa Varshosaz |
| 2015 | ICFEM | Delta-Oriented FSM-Based Testing. | Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi |
| 2014 | APSEC | Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. | Mahsa Varshosaz, Ramtin Khosravi |
| 2013 | SPLC | Discrete time Markov chain families: modeling and verification of probabilistic software product lines. | Mahsa Varshosaz, Ramtin Khosravi |
| 2012 | ICFEM | Modeling and Verification of Probabilistic Actor Systems Using pRebeca. | Mahsa Varshosaz, Ramtin Khosravi |