Masoud Ebrahimi

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 16

Top Topics

Symbolic Execution

Top Venues

Formal Methods Syst. Des.

Publications

Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
A Systematic Approach to Automotive Security. FM (2023)
Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem
Learning Mealy machines with one timer. Inf. Comput. 295 (Part B) (2023)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Attribute Repair for Threat Prevention. SAFECOMP (2023)
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
A Systematic Approach to Automotive Security. CoRR (2023)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. 60 (2) (2022)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Threat Repair with Optimization Modulo Theories. CoRR (2022)
Masoud Ebrahimi, Christoph Striessnig, Joaquim Castella Triginer, Christoph Schmittner
Identification and Verification of Attack-Tree Threat Models in Connected Vehicles. CoRR (2022)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Vacuity in synthesis. Formal Methods Syst. Des. 57 (3) (2021)
Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi
Learning Mealy Machines with One Timer. LATA (2021)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
Safety Synthesis Sans Specification. CoRR (2020)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR (2019)
Masoud Ebrahimi, Gholamreza Sotudeh, Ali Movaghar
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph. Acta Informatica 56 (1) (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
Automata Learning for Symbolic Execution. FMCAD (2018)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Synthesizing Non-Vacuous Systems. VMCAI (2017)