Masoud Ebrahimi

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