Publications

Publications by categories in reversed chronological order.

2019

  1. Modal transition system encoding of featured transition systems
    Varshosaz, M., Luthmann, L., Mohr, P., Lochau, M., and Mousavi, M. R.
    J. Log. Algebraic Methods Program. 2019
  2. Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems
    Varshosaz, M., and Mousavi, M. R.
    In Proceedings pf SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019
  3. Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone
    David, J., Mostowski, W., Aramrattna, M., Fan, Y., Varshosaz, M., Karlsson, P., Roden, M., Bogga, A., Carlsen, J., Johansson, E., and Andersson, E.
    In : 2019
  4. Towards efficient analysis of variation in time and space
    Thüm, T., Teixeira, L., Schmid, K., Walkingshaw, E., Mukelabai, M., Varshosaz, M., Botterweck, G., Schaefer, I., and Kehrer, T.
    In Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019
  5. On the search for industry-relevant regression testing research
    Bin Ali, N., Engström, E., Taromirad, M., Mousavi, M. R., Mehmood Minhas, N., Helgesson, D., Kunze, S., and Varshosaz, M.
    Empirical Software Engineering 2019

2018

  1. A classification of product sampling for software product lines
    Varshosaz, M., Al-Hajjaji, M., Thüm, T., Runge, T., Mousavi, M. R., and Schaefer, I.
    In Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018
  2. Telling Lies in Process Algebra
    Mousavi, M. R., and Varshosaz, M.
    In International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018
  3. Basic behavioral models for software product lines: Revisited
    Varshosaz, M., Beohar, H., and Mousavi, M. R.
    Sci. Comput. Program. 2018

2016

  1. Basic behavioral models for software product lines: Expressiveness and testing pre-orders
    Beohar, H., Varshosaz, M., and Mousavi, M. R.
    Sci. Comput. Program. 2016
  2. Complete IOCO test cases: a case study
    Costa Paiva, S., Simão, A., Varshosaz, M., and Mousavi, M. R.
    In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016
  3. Generation of Failure Models through Automata Learning,
    Kunze, S., Mostowski, W., Mousavi, M. R., and Varshosaz, M.
    In 2016 Workshop on Automotive Systems/Software Architectures (WASA) 2016

2015

  1. Delta-Oriented FSM-Based Testing
    Varshosaz, M., Beohar, H., and Mousavi, M. R.
    In Proceedings of Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015

2014

  1. Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities
    Varshosaz, M., and Khosravi, R.
    In 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers 2014

2013

  1. Discrete time Markov chain families: modeling and verification of probabilistic software product lines
    Varshosaz, M., and Khosravi, R.
    In 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 - 30, 2013

2012

  1. Modeling and Verification of Probabilistic Actor Systems Using pRebeca
    Varshosaz, M., and Khosravi, R.
    In Proceedings of Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012