Synthesizing Non-Vacuous Systems. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (VMCAI, 2017)

Automata Learning for Symbolic Execution. - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Tappler; Johannes Winter (FMCAD, 2018)

Synthesizing Reactive Systems Using Robustness and Recovery Specifications. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (FMCAD, 2019)

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. - Bernhard K. Aichernig; Roderick Bloem; Masoud Ebrahimi 002; Martin Horn; Franz Pernkopf; Wolfgang Roth; Astrid Rupp; Martin Tappler; Markus Tranninger (ICTSS, 2019)

Symbolic checking of Fuzzy CTL on Fuzzy Program Graph. - Masoud Ebrahimi 002; Gholamreza Sotudeh; Ali Movaghar 001 (Acta Informatica, 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 002; Martin Horn; Franz Pernkopf; Wolfgang Roth; Astrid Rupp; Martin Tappler; Markus Tranninger (CoRR, 2019)

Safety Synthesis Sans Specification. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Dana Fisman; Heinz Riener (CoRR, 2020)

Vacuity in synthesis. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (Formal Methods Syst. Des., 2021)

Threat Repair with Optimization Modulo Theories. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (CoRR, 2022)

Identification and Verification of Attack-Tree Threat Models in Connected Vehicles. - Masoud Ebrahimi 002; Christoph Striessnig; Joaquim Castella Triginer; Christoph Schmittner (CoRR, 2022)

Specifiable robustness in reactive synthesis. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (Formal Methods Syst. Des., 2022)

A Systematic Approach to Automotive Security. - Masoud Ebrahimi 002; Stefan Marksteiner; Dejan Nickovic; Roderick Bloem; David Schögler; Philipp Eisner; Samuel Sprung; Thomas Schober; Sebastian Chlup; Christoph Schmittner; Sandra König (FM, 2023)

Attribute Repair for Threat Prevention. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (SAFECOMP, 2023)

Learning Mealy machines with one timer. - Frits W. Vaandrager; Masoud Ebrahimi 002; Roderick Bloem (Inf. Comput., 2023)