World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
47
Citations
8280
World Ranking
6534
National Ranking
51

Overview

Roderick Bloem is affiliated with Graz University of Technology in Austria. Their research primarily spans the fields of Computer Science and Engineering, with a strong focus on areas such as Artificial Intelligence, Computational Theory and Mathematics, and Software.

The scientist's work addresses multiple subfields including Hardware and Architecture as well as Safety, Risk, Reliability, and Quality. Their publications reflect a significant interest in Formal Methods in Verification, Software Testing and Debugging Techniques, and Software Reliability and Analysis Research.

Recent papers from Roderick Bloem include:

  • Safe Reinforcement Learning Using Probabilistic Shields, 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Online shielding for reinforcement learning, 2022, Innovations in Systems and Software Engineering
  • Adaptive Shielding under Uncertainty, 2021, Radboud Repository (Radboud University)
  • Adaptive Testing for Specification Coverage in CPS Models, 2021, IFAC-PapersOnLine
  • Learning Mealy machines with one timer, 2023, Information and Computation

Frequent collaborators include:

  • Bettina Könighofer
  • Benedikt Maderbacher
  • Dejan Ničković
  • Masoud Ebrahimi
  • Vedad Hadžić

The venues where Roderick Bloem most often publishes encompass:

  • arXiv (Cornell University)
  • IACR Transactions on Cryptographic Hardware and Embedded Systems
  • Formal Methods in System Design
  • Innovations in Systems and Software Engineering
  • Lecture notes in computer science

Best Publications

  • Handbook of Model Checking

    Edmund M. Clarke;Thomas A. Henzinger;Helmut Veith;Roderick Bloem

  • Safe Reinforcement Learning via Shielding

    Mohammed Alshiekh;Roderick Bloem;Rüdiger Ehlers;Bettina Könighofer

  • Synthesis of Reactive(1) designs

    Roderick Bloem;Barbara Jobstmann;Nir Piterman;Amir Pnueli

  • Efficient Büchi Automata from LTL Formulae

    Fabio Somenzi;Roderick Bloem

  • Program repair as a game

    Barbara Jobstmann;Andreas Griesmayer;Roderick Bloem

  • Better Quality in Synthesis through Quantitative Objectives

    Roderick Bloem;Krishnendu Chatterjee;Thomas A. Henzinger;Barbara Jobstmann

  • Optimizations for LTL Synthesis

    B. Jobstmann;R. Bloem

  • An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps

    Roderick Bloem;Harold N. Gabow;Fabio Somenzi

  • Synthesizing robust systems

    Roderick Bloem;Krishnendu Chatterjee;Karin Greimel;Thomas A. Henzinger

  • Specify, Compile, Run: Hardware from PSL

    Roderick Bloem;Stefan Galler;Barbara Jobstmann;Nir Piterman

  • Automatic Hardware Synthesis from Specifications: A Case Study

    R. Bloem;S. Galler;B. Jobstmann;N. Piterman

  • RATSY – a new requirements analysis tool with synthesis

    Roderick Bloem;Alessandro Cimatti;Karin Greimel;Georg Hofferek

  • Decidability of Parameterized Verification

    Roderick Bloem;Swen Jacobs;Ayrat Khalimov;Igor Konnov

  • Anzu: a tool for property synthesis

    Barbara Jobstmann;Stefan Galler;Martin Weiglhofer;Roderick Bloem

  • Synthesizing robust systems

    Roderick Bloem;Karin Greimel;Thomas A. Henzinger;Barbara Jobstmann

  • Shield Synthesis

    Roderick Bloem;Bettina Könighofer;Robert Könighofer;Chao Wang

  • Efficient Decision Procedures for Model Checking of Linear Time Logic Properties

    Roderick Bloem;Kavita Ravi;Fabio Somenzi

  • Model-Based Testing IoT Communication via Active Automata Learning

    Martin Tappler;Bernhard K. Aichernig;Roderick Bloem

  • Interactive presentation: Automatic hardware synthesis from specifications: a case study

    Roderick Bloem;Stefan Galler;Barbara Jobstmann;Nir Piterman

  • Automatic Fault Localization for Property Checking

    G. Fey;S. Staber;R. Bloem;R. Drechsler

  • Automatic fault localization for property checking

    Stefan Staber;Görschwin Fey;Roderick Bloem;Rolf Drechsler

Frequent Co-Authors

Fabio Somenzi
Fabio Somenzi University of Colorado Boulder
Krishnendu Chatterjee
Krishnendu Chatterjee Institute of Science and Technology Austria
Jean-François Raskin
Jean-François Raskin Université Libre de Bruxelles
Thomas A. Henzinger
Thomas A. Henzinger Institute of Science and Technology Austria
Alessandro Cimatti
Alessandro Cimatti Fondazione Bruno Kessler
Stefan Mangard
Stefan Mangard Graz University of Technology
Rolf Drechsler
Rolf Drechsler University of Bremen
Chao Wang
Chao Wang University of Southern California
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Nir Piterman
Nir Piterman University of Gothenburg

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing Computer Science online opens doors to various flexible and affordable education options. For those looking for a quicker entry point, 1 year associate degree programs online offer a fast-track route to foundational skills and entry-level tech jobs.

Budget is a major consideration for many students. Fortunately, cheap online college classes can reduce financial barriers, making it possible to earn credits toward a Computer Science degree without overwhelming debt.

If your academic history is a concern, several online colleges that accept 2.0 gpa provide access to quality programs, ensuring that a lower GPA does not block your future in tech.

Interested in combining tech skills with environmental impact? An environmental science degree also offers pathways to careers that leverage data analysis and computing to solve global sustainability challenges.

Best Scientists Citing Roderick Bloem

Trending Scientists