No photo of Masoud Ebrahimi

Masoud Ebrahimi

Fogh-lis.

20162022

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Masoud Ebrahimi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 4 Conference contribution
  • 1 Article

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • Synthesizing Reactive Systems Using Robustness and Recovery Specifications

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2019, 2019 Formal Methods in Computer Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). IEEE CS, p. 147-151 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • Automata Learning for Symbolic Execution

    Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • Symbolic checking of Fuzzy CTL on Fuzzy Program Graph

    Ebrahimi, M., Sotudeh, G. & Movaghar, A., 3 Feb 2018, In : Acta informatica.

    Research output: Contribution to journalArticleResearchpeer-review

    Open Access
  • Synthesizing Non-Vacuous Systems

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2017, Verification, Model Checking, and Abstract Interpretation. Bouajjani, A. & Monniaux, D. (eds.). Cham: Springer International Publishing AG , p. 55-72 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • Prizes

    Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems

    Bernhard Aichernig (Recipient), Roderick Bloem (Recipient), Masoud Ebrahimi (Recipient), Martin Horn (Recipient), Franz Pernkopf (Recipient), Wolfgang Roth (Recipient), Astrid Rupp (Recipient), Martin Tappler (Recipient) & Markus Tranninger (Recipient), Oct 2019

    Prize: Prizes / Medals / Awards

    Projects