If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 5 Similar Profiles
Specifications Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Temporal logic Engineering & Materials Science
Testing Engineering & Materials Science
Graphical user interfaces Engineering & Materials Science
Stabilization Engineering & Materials Science
Systems analysis Engineering & Materials Science
Communication Engineering & Materials Science

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

Research Output 1996 2019

Small Errors 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. Springer, p. 183-204 (Lecture Notes in Computer Science; vol. 11388)

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

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, FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 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

Te-DES Workshop

Roderick Bloem (Speaker)
9 Jan 2006

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

OneSpin Solutions

Roderick Bloem (Speaker)
8 Mar 2006

Activity: Talk or presentationInvited talkScience to science

PROSYD Workshop, IBM

Roderick Bloem (Speaker)
10 Feb 2005

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Technion Workshop

Roderick Bloem (Speaker)
21 Nov 2005

Activity: Talk or presentationTalk at workshop, seminar or courseScience 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