Personlig profil
Emneord
- Software testing and verification
- Software product lines analysis
- Program repair
- Quantitative verification
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Publikation
-
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, Bind 16192. s. 91-109 19 s. (LNCS, Bind 16192).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
Quijano, S., Varshosaz, M. & Wasowski, A., 27 maj 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops. 5 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Formal Specification and Testing for Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, I: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, s. 125-158 33 s., 193.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning
Åben adgangFil -
Towards Formal Specification of Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › 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, s. 486-488 2 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
-
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
Projekter: Projekt › Forskning
-
PRO-TEST: Probabilistic Testing of Probabilistic Programs
Wasowski, A. (PI), Pardo Jimenez, R. (CoI), Varshosaz, M. (CoI) & Rafnsson, W. (CoI)
01/11/2025 → 31/10/2029
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
-
REMARO: Reliable AI for Marine Robotics
Wasowski, A. (PI), Weihl, L. (CoI), Kashani, M. M. (CoI), Quijano, S. D. (CoI), Varshosaz, M. (CoI), Marnet, L. R. (CoI), Grasshof, S. (Samarbejdspartner) & Heinrich, S. (Samarbejdspartner)
01/12/2020 → 30/04/2025
Projekter: Projekt › Forskning
-
INSIGHT: Program Repair with Static Insights
Wasowski, A. (PI), Cruz, A. (CoI) & Varshosaz, M. (CoI)
01/09/2018 → 31/08/2023
Projekter: Projekt › Forskning
Forskningsdatasæt
-
Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Ophavsmand), Ghaffari, M. (Ophavsmand), Johnsen, E. B. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 26 jun. 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Datasæt: Software