Masoud Ebrahimi

According to our database1, Masoud Ebrahimi authored at least 3 papers between 2017 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.
Acta Inf., 2019

2018
Automata Learning for Symbolic Execution.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Synthesizing Non-Vacuous Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017


  Loading...