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
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Temporal logic Engineering & Materials Science
Recovery Engineering & Materials Science
Explosions Engineering & Materials Science
Testing Engineering & Materials Science
Flip flop circuits Engineering & Materials Science
Fuzzy systems Engineering & Materials Science

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

Research Output 2018 2018

  • 1 Conference contribution
  • 1 Article

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

Testing

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
Model checking
Temporal logic
Explosions
Flip flop circuits
Fuzzy systems

Projects 2016 2022