Roderick Bloem

Univ.-Prof., Ph.D.

1996 …2023

Publikationen pro Jahr

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

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