No photo of Roderick Bloem

View Scopus Profile

Roderick Bloem

Univ.-Prof., Ph.D.

1996 …2024

Research activity per year

Filter
Conference paper

Search results

  • 2024

    Synthesis from Infinite-State Generalized Reactivity(1) Specifications

    Maderbacher, B., Windisch, F. & Bloem, R., Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2023

    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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-review

  • 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 proceeding › Conference paper › peer-review

    Open Access
    File

  • Safety Shielding under Delayed Observation

    Cano Córdoba, F., Palmisano, A., Fränzle, M., Bloem, R. & Könighofer, B., 2023, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). 1 ed. Palo Alto, California, USA: AAAI Press, Vol. 33. p. 80-85 6 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2022

    Automata Learning meets Shielding

    Tappler, M., Pranger, S., Könighofer, B., Muskardin, E., Bloem, R. & Larsen, K. G., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings: ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 335-359 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File

  • FERPModels: A Certification Framework for Expansion-Based QBF Solving

    Bloem, R., Hadzic, V., Shukla, A. & Seidl, M., 2022, Proceedings - 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022. p. 80-83 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File

  • Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget – a Bandgap Case Study

    Bloem, R., Larrauri Borroto, L. A., Lengfeldner, R., Mateis, C., Ničković, D. & Ziegler, B., 2022, Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022. IEEE Institute of Electrical and Electronics Engineers, p. 21-24 4 p. (Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Power Contracts: Provably Complete Power Leakage Models for Processors

    Bloem, R., Gigerl, B., Gourjon, M., Hadzic, V., Mangard, S. & Primas, R., 7 Nov 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association of Computing Machinery, p. 381-395 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Reactive Synthesis Modulo Theories using Abstraction Refinement

    Maderbacher, B. & Bloem, R., 2022, Proceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022. TU Wien Academic Press, p. 315-324 (Conference Series: Formal Methods in Computer-Aided Design; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
  • 2021

    Adaptive Shielding under Uncertainty.

    Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 25 May 2021, 2021 American Control Conference, ACC 2021. p. 3467-3474 8 p. 9482889. (Proceedings of the American Control Conference; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs

    Gigerl, B., Hadzic, V., Primas, R., Mangard, S. & Bloem, R., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, p. 1469-1486 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • CocoAlma: A Versatile Masking Verifier

    Hadzic, V. & Bloem, R., 9 Jul 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). p. 14-23 10 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Learning Mealy Machines with One Timer

    Vaandrager, F., Bloem, R. & Ebrahimi, M., 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Cham: Springer Nature Switzerland AG, p. 157-170 14 p. (Lecture Notes in Computer Science; vol. 12638).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Online Shielding for Stochastic Systems

    Könighofer, B., Bloem, R., Tappler, M., Rudolf, J. & Palmisano, A., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. Dutle, A., Muñoz, C. A., Moscato, M. M., Titolo, L. & Perez, I. (eds.). Cham: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12673 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Proving SIFA Protection of Masked Redundant Circuits

    Hadžić, V., Primas, R. & Bloem, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 249-265 16 p. (Lecture Notes in Computer Science; vol. 12971).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File

  • TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

    Pranger, S., Könighofer, B., Posch, L. & Bloem, R., 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 222-228 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12971 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2020

    Placement of Runtime Checks to Counteract Fault Injections

    Maderbacher, B., Karl, A. F. & Bloem, R., Oct 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings: 20th International Conference, RV 2020. Deshmukh, J. & Nickovic, D. (eds.). Springer Nature Switzerland AG, p. 241-258 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Safe Reinforcement Learning Using Probabilistic Shields

    Jansen, N., Könighofer, B., Junges, S., Serban, A. & Bloem, R., 2020, 31st International Conference on Concurrency Theory, CONCUR 2020: 31st CONCUR 2020: Vienna, Austria (Virtual Conference). Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 31-316 286 p. 3

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Shield Synthesis for Reinforcement Learning

    Könighofer, B., Bloem, R., Jansen, N. & Lorber, F. L., 29 Oct 2020, (E-pub ahead of print) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Vol. 1. p. 290-306 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2019

    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 proceeding › Conference paper › peer-review

  • 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 proceeding › Conference paper › peer-review

  • 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 proceeding › Conference paper › peer-review

  • 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 proceeding › Conference paper › peer-review

    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 proceeding › Conference paper › peer-review

    Open Access
    File

  • Synthesis of Minimum-Cost Shields for Multi-agent Systems

    Bharadwaj , S., Bloem, R., Dimitrova , R., Könighofer, B. & Topcu, U., 10 Jul 2019, 2019 American Control Conference (ACC). ACM/IEEE, p. 1048-1055 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2018

    A Counting Semantics for Monitoring LTL Specifications over Finite Traces

    Bartocci, E., Bloem, R., Nickovic, D. & Röck, F., 2018, Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1. p. 547-564 18 p. (Lecture Notes in Computer Science; vol. 10980).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access

  • Automata Learning for Symbolic Execution

    Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Bounded Synthesis of Register Transducers

    Khalimov, A., Maderbacher, B. & Bloem, R., 2018, Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lahiri, S. & Wang, C. (eds.). p. 494-510 17 p. ( Lecture Notes in Computer Science; vol. 11138).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Expansion-Based QBF Solving Without Recursion

    Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F. & Seidl, M., 2018, fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). Bjørner , N. & Gurfinkel, A. (eds.). p. 40-49

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Formal Verification of Masked Hardware Implementations in the Presence of Glitches

    Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Vol. 10821. p. 321-353 33 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Safe Reinforcement Learning via Shielding

    Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S. & Topcu, U., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018. p. 2669-2678 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Synthesis of distributed algorithms with parameterized threshold guards

    Lazić, M., Konnov, I., Widder, J. & Bloem, R., 1 Mar 2018, 21st International Conference on Principles of Distributed Systems, OPODIS 2017. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 95. 32

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2017

    Bounded Synthesis for Streett, Rabin, and CTL*

    Khalimov, A. & Bloem, R., 2017, CAV.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File

  • Model-Based Testing IoT Communication via Active Automata Learning

    Tappler, M., Aichernig, B. K. & Bloem, R., 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). p. 276-287 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Towards a secure SCRUM process for agile web application development

    Maier, P., Ma, Z. & Bloem, R., 29 Aug 2017, ARES 2017 - Proceedings of the 12th International Conference on Availability, Reliability and Security. Association of Computing Machinery, a73. (ACM International Conference Proceeding Series; vol. Part F130521).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2016

    Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16

    Aleksandrowicz, G., Arbel, E., Bloem, R., Braak, T. T., Devadze, S., Fey, G., Jenihhin, M., Jutman, A., Kerkoff, H. G., Könighofer, R., Malburg, J., Moran, S., Raik, J., Rauwerda, G., Riener, H., Röck, F., Shibin, K., Sunesen, K., Wan, J. & Zhao, Y., 2016, 2016 Forum on Specification and Design Languages (FDL). 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File

  • Learning Models of a Network Protocol using Neural Network Language Models

    Aichernig, B., Bloem, R., Pernkopf, F., Röck, F., Schrank, T. & Tappler, M., 2016, IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

    Braud-Santoni, N., Bloem, R. & Jacobs, S., 13 Jul 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Springer-Verlag Italia, Vol. 9779. p. 157-176 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2015

    Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

    Bloem, R. P., Chatterjee, K., Jacobs, S. & Könighofer, R., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, p. 517-532 (Lecture Notes in Computer Science; vol. 9035).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Case Study: Automatic Test Case Generation for a Secure Cache Implementation

    Bloem, R. P., Hein, D., Röck, F. & Schumi, R. A., 2015, (Accepted/In press) International Conference on Tests And Proofs. .

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Cooperative Reactive Synthesis

    Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, p. 394-410 (Lecture Notes in Computer Science; vol. 9364).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Shield Synthesis: - Runtime Enforcement for Reactive Systems

    Bloem, R. P., Könighofer, B., Könighofer, R. & Wang, C., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, p. 533-548 (Lecture Notes in Computer Science; vol. 9035).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Synthesizing cooperative reactive mission plans

    Ehlers, R., Könighofer, R. & Bloem, R., 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems . IEEE Institute of Electrical and Electronics Engineers, p. 3478-3485

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
  • 2014

    Automatic Error Localization for Software using Deductive Verification

    Könighofer, R., Tögl, R. & Bloem, R. P., 2014, Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014). Berlin Heidelberg: Springer, p. 92-98 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8855).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File

  • Automating Test-Suite Augmentation

    Bloem, R. P., Könighofer, R., Röck, F. & Tautschnig, M., 2014, International Conference on Quality Software. ., p. 67-72

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • How to Handle Assumptions in Synthesis

    Bloem, R. P., Ehlers, R., Jacobs, S. & Könighofer, R., 2014, Proceedings 3rd Workshop on Synthesis (SYNT 2014). Electronic Proceedings in Theoretical Computer Science, p. 34-50 (EPTCS; vol. 157).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Parameterized Synthesis Case Study: AMBA AHB

    Khalimov, A., Bloem, R. P. & Jacobs, S., 2014, SYNT 2014. ., p. 68-83

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • SAT-based methods for circuit synthesis

    Bloem, R. P., Egly, U., Klampfl, P., Könighofer, R. & Lonsing, F., 2014, Formal Methods in Computer-Aided Design. IEEE Institute of Electrical and Electronics Engineers, p. 31-34

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • SAT-Based Synthesis Methods for Safety Specs

    Bloem, R. P., Könighofer, R. & Seidl, M., 2014, Verification, Model Checking, and Abstract Interpretation, 15th International Conference. McMillan, K. L. & Rival, X. (eds.). Berlin-Heidelberg: Springer, p. 1-20 (Lecture Notes in Computer Science; vol. 8318).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File