Masoud Ebrahimi

Orcid: 0000-0002-5440-1331

Affiliations:
  • Graz University of Technology, Austria


According to our database1, Masoud Ebrahimi authored at least 14 papers between 2017 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Learning Mealy machines with one timer.
Inf. Comput., December, 2023

Attribute Repair for Threat Prevention.
Proceedings of the Computer Safety, Reliability, and Security, 2023

A Systematic Approach to Automotive Security.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2022
Specifiable robustness in reactive synthesis.
Formal Methods Syst. Des., April, 2022

Identification and Verification of Attack-Tree Threat Models in Connected Vehicles.
CoRR, 2022

Threat Repair with Optimization Modulo Theories.
CoRR, 2022

2021
Vacuity in synthesis.
Formal Methods Syst. Des., 2021

2020
Safety Synthesis Sans Specification.
CoRR, 2020

2019
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version).
CoRR, 2019

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

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning.
Proceedings of the Testing Software and Systems, 2019

Synthesizing Reactive Systems Using Robustness and Recovery Specifications.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 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...