19962019

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.

  • 15 Ähnliche Profile

Netzwerk Jüngste externe Zusammenarbeit auf Länderebene Erkunden Sie die Details, indem Sie auf die Punkte klicken.

Publikationen

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.

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

Efficient Information-Flow Verification Under Speculative Execution

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

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

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

  • 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. (Hrsg.). 31 Aufl. Springer, Band 11561. S. 630-649 ( Lecture Notes in Computer Science; Band 11561).

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

    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. (Hrsg.). Springer, S. 183-204 22 S. (Lecture Notes in Computer Science; Band 11388).

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

    Open Access
    Datei
  • Verwandte Tätigkeiten

    • 5 Vortrag bei Workshop, Seminar oder Kurs
    • 3 Gastvortrag
    • 2 Vortrag bei Konferenz oder Fachtagung

    Haifa Verification Conference 2007

    Roderick Bloem (Redner/in)
    24 Okt 2007

    Aktivität: Vortrag oder PräsentationGastvortragScience to science

    Te-DES Workshop

    Roderick Bloem (Redner/in)
    9 Jan 2006

    Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

    OneSpin Solutions

    Roderick Bloem (Redner/in)
    8 Mär 2006

    Aktivität: Vortrag oder PräsentationGastvortragScience to science

    Fault Localization and Correction

    Roderick Bloem (Redner/in)
    12 Jul 2005

    Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

    PROSYD Workshop, IBM

    Roderick Bloem (Redner/in)
    10 Feb 2005

    Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

    Prämien

    Best Paper Award, Haifa Verification Conference

    Roderick Bloem (Empfänger/-in) & Stefan Simon Staber (Empfänger/-in), 23 Okt 2006

    Auszeichnung: Preise / Medaillen / Ehrungen

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

    Bernhard Aichernig (Empfänger/-in), Roderick Bloem (Empfänger/-in), Masoud Ebrahimi (Empfänger/-in), Martin Horn (Empfänger/-in), Franz Pernkopf (Empfänger/-in), Wolfgang Roth (Empfänger/-in), Astrid Rupp (Empfänger/-in), Martin Tappler (Empfänger/-in) & Markus Tranninger (Empfänger/-in), Okt 2019

    Auszeichnung: Preise / Medaillen / Ehrungen

    Projekte