According to our database1, Masoud Ebrahimi authored at least 3 papers between 2017 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.
Acta Inf., 2019
Automata Learning for Symbolic Execution.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Synthesizing Non-Vacuous Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017