Roderick Bloem

Univ.-Prof., Ph.D.

1996 …2023

Publikationen pro Jahr

Fingerprint

Ergründen Sie die Forschungsthemen, in denen Roderick Bloem aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
  • 1 Ähnliche Profile

Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre

Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
  • A Systematic Approach to Automotive Security

    Ebrahimi, M., Marksteiner, S., Nickovic, D., Bloem, R., Schögler, D., Eisner, P., Sprung, S., Schober, T., Chlup, S., Schmittner, C. & König, S., 6 März 2023, Formal Methods - 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (Hrsg.). Cham: Springer, S. 598-609 12 S. (Lecture Notes in Computer Science; Band 14000).

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

  • Attribute Repair for Threat Prevention

    Tarrach, T., Ebrahimi, M., König, S., Schmittner, C., Bloem, R. & Ničković, D., 2023, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Proceedings. Guiochet, J., Tonetta, S. & Bitsch, F. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 135-148 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14181 LNCS).

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

  • Learning Mealy machines with one timer

    Vaandrager, F., Ebrahimi, M. & Bloem, R., Dez. 2023, in: Information and Computation. 295, 21 S., 105013.

    Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

    Open Access
    Datei
  • Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

    Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., Mai 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (Hrsg.). Springer Nature Switzerland AG, S. 141-160 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13872 LNCS).

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

    Open Access
    Datei
  • Quantile: Quantifying Information Leakage

    Hadzic, V., Cassiers, G., Primas, R., Mangard, S. & Bloem, R., 31 Dez. 2023.

    Publikation: KonferenzbeitragPaperBegutachtung