default search action
Mahsa Varshosaz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c11]Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski:
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors. ICSTW 2024: 63-67 - [i1]Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski:
Symbolic State Partition for Reinforcement Learning. CoRR abs/2409.16791 (2024) - 2023
- [j7]Mahsa Varshosaz
, Mohsen Ghaffari
Formal Specification and Testing for Reinforcement Learning. Proc. ACM Program. Lang. 7(ICFP): 125-158 (2023) - [j6]Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review. ACM Trans. Softw. Eng. Methodol. 32(2): 51:1-51:61 (2023) - [j5]Juan Cruz-Carlon
Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol. 32(3): 56:1-56:28 (2023) - [e1]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [d1]Mahsa Varshosaz
Formal Specification and Testing for Reinforcement Learning (Supplementary Material ). Zenodo, 2023 - 2022
- [c10]Sergio Quijano
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. ICST 2022: 486-488
2010 – 2019
- 2019
- [j4]Nauman Bin Ali
On the search for industry-relevant regression testing research. Empir. Softw. Eng. 24(4): 2020-2055 (2019) - [j3]Mahsa Varshosaz, Lars Luthmann
Modal transition system encoding of featured transition systems. J. Log. Algebraic Methods Program. 106: 1-28 (2019) - [c9]Mahsa Varshosaz, Mohammad Reza Mousavi:
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. SOFSEM 2019: 490-503 - [c8]Thomas Thüm, Leopoldo Teixeira, Klaus Schmid
Towards efficient analysis of variation in time and space. SPLC (B) 2019: 69:1-69:8 - 2018
- [j2]Mahsa Varshosaz
Basic behavioral models for software product lines: Revisited. Sci. Comput. Program. 168: 171-185 (2018) - [c7]Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer:
A classification of product sampling for software product lines. SPLC 2018: 1-13 - [c6]Mohammad Reza Mousavi, Mahsa Varshosaz:
Telling Lies in Process Algebra. TASE 2018: 116-123 - 2016
- [j1]Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Sci. Comput. Program. 123: 42-60 (2016) - [c5]Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi:
Complete IOCO test cases: a case study. A-TEST@SIGSOFT FSE 2016: 38-44 - 2015
- [c4]Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi:
Delta-Oriented FSM-Based Testing. ICFEM 2015: 366-381 - 2014
- [c3]Mahsa Varshosaz, Ramtin Khosravi:
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) 2014: 63-70 - 2013
- [c2]Mahsa Varshosaz, Ramtin Khosravi:
Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops 2013: 34-41 - 2012
- [c1]Mahsa Varshosaz, Ramtin Khosravi:
Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM 2012: 135-150
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: