Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Software testing and verification
- Software product lines analysis
- Program repair
- Quantitative verification
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Mahsa Varshosaz er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
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 -
Patching Locking Bugs Statically with Crayons
Cruz, A., Varshosaz, M., Le Goues, C. & Wasowski, A., 22 aug. 2022, I: ACM Transactions on Software Engineering and Methodology.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
Araujo, H., Mousavi, M. R. & Varshosaz, M., 2022, I: ACM Transactions on Software Engineering and Methodology (TOSEM).Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang
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
-
INSIGHT: Program Repair with Static Insights
Wasowski, A. (PI), Cruz, A. (CoI) & Varshosaz, M. (CoI)
01/09/2018 → 31/08/2023
Projekter: Projekt › Forskning
-
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. (Samarbejdspartner) & Heinrich, S. (Samarbejdspartner)
01/12/2020 → 30/04/2025
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