Roderick Bloem

Univ.-Prof., Ph.D.

19962019

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

  • 15 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Dependable Internet of Things

Römer, K. U., Witrisal, K., Baunach, M. C., Bloem, R. & Horn, M., 26 Feb 2019, Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Efficient Information-Flow Verification Under Speculative Execution

Bloem, R., Jacobs, S. & Vizel, Y., 2019, Efficient Information-Flow Verification Under Speculative Execution.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Run-Time Optimization for Learned Controllers Through Quantitative Games

    Avni, G., Bloem, R., Chatterjee, K., Henzinger, T., Könighofer, B. & Pranger, S., 15 Jul 2019, Computer Aided Verification (CAV). Dillig, I. & Tasiran, S. (eds.). 31 ed. Springer, Vol. 11561. p. 630-649 ( Lecture Notes in Computer Science; vol. 11561).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Small faults grow up - Verification of error masking robustness in arithmetically encoded programs

    Karl, A. F., Schilling, R., Bloem, R. & Mangard, S., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer, p. 183-204 22 p. (Lecture Notes in Computer Science; vol. 11388).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Activities

    • 5 Talk at workshop, seminar or course
    • 3 Invited talk
    • 2 Talk at conference or symposium

    Haifa Verification Conference 2007

    Roderick Bloem (Speaker)
    24 Oct 2007

    Activity: Talk or presentationInvited talkScience to science

    Te-DES Workshop

    Roderick Bloem (Speaker)
    9 Jan 2006

    Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

    OneSpin Solutions

    Roderick Bloem (Speaker)
    8 Mar 2006

    Activity: Talk or presentationInvited talkScience to science

    PROSYD Workshop, IBM

    Roderick Bloem (Speaker)
    10 Feb 2005

    Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

    Technion Workshop

    Roderick Bloem (Speaker)
    21 Nov 2005

    Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

    Prizes

    Best Paper Award, Haifa Verification Conference

    Roderick Bloem (Recipient) & Stefan Simon Staber (Recipient), 23 Oct 2006

    Prize: Prizes / Medals / Awards

    Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems

    Bernhard Aichernig (Recipient), Roderick Bloem (Recipient), Masoud Ebrahimi (Recipient), Martin Horn (Recipient), Franz Pernkopf (Recipient), Wolfgang Roth (Recipient), Astrid Rupp (Recipient), Martin Tappler (Recipient) & Markus Tranninger (Recipient), Oct 2019

    Prize: Prizes / Medals / Awards

    Projects