Kein Foto von Masoud Ebrahimi

Masoud Ebrahimi

Fogh-lis.

20162022
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Masoud Ebrahimi aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 1 Ähnliche Profile
Model checking Ingenieurwesen & Materialwissenschaft
Specifications Ingenieurwesen & Materialwissenschaft
Testing Ingenieurwesen & Materialwissenschaft
Hybrid systems Ingenieurwesen & Materialwissenschaft
Learning systems Ingenieurwesen & Materialwissenschaft
Temporal logic Ingenieurwesen & Materialwissenschaft
Recovery Ingenieurwesen & Materialwissenschaft
Explosions Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 2017 2019

  • 4 Beitrag in einem Konferenzband
  • 1 Artikel

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

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (Hrsg.). Cham: Springer International Publishing AG , S. 3-21 19 S. (Lecture Notes in Computer Science; Band 11812).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Hybrid systems
Learning systems
Testing
Recurrent neural networks

Synthesizing Reactive Systems Using Robustness and Recovery Specifications

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2019, (Angenommen/In Druck) 2019 Formal Methods in Computer Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (Hrsg.). IEEE CS, 5 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Specifications
Recovery

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (Hrsg.). IEEE CS, S. 130 - 138 9 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Testing

Symbolic checking of Fuzzy CTL on Fuzzy Program Graph

Ebrahimi, M., Sotudeh, G. & Movaghar, A., 3 Feb 2018, in : Acta informatica.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Model checking
Temporal logic
Explosions
Flip flop circuits
Fuzzy systems

Synthesizing Non-Vacuous Systems

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2017, Verification, Model Checking, and Abstract Interpretation. Bouajjani, A. & Monniaux, D. (Hrsg.). Cham: Springer International Publishing AG , S. 55-72 18 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Specifications
Model checking
Hardware

Projekte 2016 2022