Roderick Bloem

Univ.-Prof., Ph.D.

1996 …2023

Research activity per year

Fingerprint

Dive into the research topics where Roderick Bloem is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 Mar 2023, Formal Methods - 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (eds.). Cham: Springer, p. 598-609 12 p. (Lecture Notes in Computer Science; vol. 14000).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 135-148 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14181 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Learning Mealy machines with one timer

    Vaandrager, F., Ebrahimi, M. & Bloem, R., Dec 2023, In: Information and Computation. 295, 21 p., 105013.

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
  • Quantile: Quantifying Information Leakage

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

    Research output: Contribution to conferencePaperpeer-review