Personal profile
Keywords
- Software testing and verification
- Software product lines analysis
- Program repair
- Quantitative verification
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
ProbTest: Unit Testing for Probabilistic Programs
Christensen, K., Varshosaz, M. & Pardo, R., 12 Nov 2025, Proceedings of 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025). Springer Nature Switzerland, Vol. 16192. p. 91-109 19 p. (LNCS, Vol. 16192).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
Quijano, S., Varshosaz, M. & Wasowski, A., 27 May 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops. 5 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
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
-
CAVECORE: CAVECORE: Continuous, Automated Validation, and Evaluation of Cognitive Robots in Open-Ended Environments
Varshosaz, M. (PI) & Wasowski, A. (CoI)
01/09/2025 → 31/08/2029
Project: Research
-
MOTUS: Monitoring and Testing of Uncertainty and Safety for Smart Co-bots
Wasowski, A. (PI) & Varshosaz, M. (CoI)
Digital Research Center Denmark
31/12/2025 → 30/12/2027
Project: Research
-
PRO-TEST: Probabilistic Testing of Probabilistic Programs
Wasowski, A. (PI), Pardo Jimenez, R. (CoI), Varshosaz, M. (CoI) & Rafnsson, W. (CoI)
Independent Research Fund Denmark
01/11/2025 → 31/10/2029
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
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