Roderick Bloem

Research output

Research output per year 1996 2006 2014 2016 2018 2019 2021 2022 2023 2024

• 101 Conference paper
• 21 Article
• 6 Preprint
• 3 Chapter
• 16 More
  • 2 Book
  • 2 Other report
  • 2 (Old data) Lecture or Presentation
  • 2 Paper
  • 2 Conference article
  • 2 Editorial
  • 1 Commissioned report
  • 1 Poster
  • 1 Doctoral Thesis
  • 1 Master's Thesis

Research output per year

Research output per year

Search results

• 2013

  Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall

  Bloem, R. P., Greimel, K., Könighofer, R. & Röck, F., 28 Oct 2013.

  Research output: Contribution to conference › (Old data) Lecture or Presentation

  Open Access

  File
• 2009

  Debugging Unrealizable Specifications Using Simple Counterstrategies

  Könighofer, R., Hofferek, G. & Bloem, R. P., 28 Jun 2009.

  Research output: Contribution to conference › (Old data) Lecture or Presentation