Masoud Ebrahimi

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Learning Mealy machines with one timer.

Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem

Inf. Comput., December, 2023

Attribute Repair for Threat Prevention.

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic

Proceedings of the Computer Safety, Reliability, and Security, 2023

A Systematic Approach to Automotive Security.

Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Specifiable robustness in reactive synthesis.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Formal Methods Syst. Des., April, 2022

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

Masoud Ebrahimi, Christoph Striessnig, Joaquim Castella Triginer, Christoph Schmittner

CoRR, 2022

Threat Repair with Optimization Modulo Theories.

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic

CoRR, 2022

2021

Vacuity in synthesis.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Formal Methods Syst. Des., 2021

2020

Safety Synthesis Sans Specification.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener

CoRR, 2020

2019

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

Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger

CoRR, 2019

Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.

Masoud Ebrahimi, Gholamreza Sotudeh, Ali Movaghar

Acta Informatica, 2019

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

Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger

Proceedings of the Testing Software and Systems, 2019

Synthesizing Reactive Systems Using Robustness and Recovery Specifications.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Automata Learning for Symbolic Execution.

Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Synthesizing Non-Vacuous Systems.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017