Research output per year
Research output per year
Personal profile
Keywords
- Software testing and verification
- Software product lines analysis
- Program repair
- Quantitative verification
Fingerprint
Dive into the research topics where Mahsa Varshosaz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formal Specification and Testing for Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, In: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, p. 125-158 33 p., 193.Research output: Journal Article or Conference Article in Journal › Journal article › Research
Open AccessFile -
Towards Formal Specification of Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023.Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review
-
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
Quijano, S. & Varshosaz, M., 8 Jun 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). Valencia, Spain: IEEE, p. 486-488 2 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Patching Locking Bugs Statically with Crayons
Cruz, A., Varshosaz, M., Le Goues, C. & Wasowski, A., 22 Aug 2022, In: ACM Transactions on Software Engineering and Methodology.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
Araujo, H., Mousavi, M. R. & Varshosaz, M., 2022, In: ACM Transactions on Software Engineering and Methodology (TOSEM).Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access
Datasets
-
Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Creator), Ghaffari, M. (Creator), Johnsen, E. B. (Creator) & Wasowski, A. (Creator), ZENODO, 26 Jun 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Dataset: Software
-
REMARO: Reliable AI for Marine Robotics
Wasowski, A. (PI), Weihl, L. (CoI), Mohammadi Kashani, M. (CoI), Quijano, S. D. (CoI), Varshosaz, M. (CoI), Marnet, L. R. (CoI), Grasshof, S. (Collaborator) & Heinrich, S. (Collaborator)
01/12/2020 → 30/04/2025
Project: Research
-
INSIGHT: Program Repair with Static Insights
Wasowski, A. (PI), Cruz, A. (CoI) & Varshosaz, M. (CoI)
Independent Research Fund Denmark
01/09/2018 → 31/08/2023
Project: Research
-
DIREC: Verifiable and Safe AI for Autonomous Systems
Wasowski, A. (PI), Ghaffari, M. (CoI), Varshosaz, M. (CoI) & Høeg-Petersen, A. H. (CoI)
01/03/2021 → 30/09/2025
Project: Research