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.

  • 4 Similar Profiles
Specifications Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Temporal logic Engineering & Materials Science
Testing Engineering & Materials Science
Masking Mathematics
Stabilization Engineering & Materials Science
Distributed Systems Mathematics
Fault Mathematics

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

Research Output 1996 2019

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 contributionResearchpeer-review

Open Access
File
Masking
Fault
Robustness
Flip
Soft Error

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 proceedingConference contributionResearchpeer-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 proceedingConference contributionResearchpeer-review

Testing

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 proceedingConference contributionResearchpeer-review

Expansion-Based QBF Solving Without Recursion

Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F. & Seidl, M., 2018, In : arXiv.org e-Print archive. CoRR

Research output: Contribution to journalArticleResearch

Activities 2004 2007

  • 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

OneSpin Solutions

Roderick Bloem (Speaker)
8 Mar 2006

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

Alpine Verification Meeting

Roderick Bloem (Speaker)
5 Oct 2005

Activity: Talk or presentationInvited talkScience to science

Fault Localization and Correction

Roderick Bloem (Speaker)
12 Jul 2005

Activity: Talk or presentationTalk at conference or symposiumScience to science

Prizes

Best Paper Award, Haifa Verification Conference

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

Prize: Prizes / Medals / Awards

Projects 2004 2022