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.

  • 3 Similar Profiles
Specifications Engineering & Materials Science
Temporal logic Engineering & Materials Science
Testing Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Stabilization Engineering & Materials Science
Communication Engineering & Materials Science
Electromagnetic waves Engineering & Materials Science
Redundancy Engineering & Materials Science

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

Research Output 1996 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 proceedingConference contribution

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 contribution

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 contribution

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 proceedingConference contribution

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 journalArticle

Activities 2004 2007

  • 5 Talk at workshop, seminar or course
  • 3 Invited talk
  • 2 Talk at conference or symposium

Haifa Verification Conference 2007

Bloem, R. (Speaker)
24 Oct 2007

Activity: Science to scienceInvited talk

Te-DES Workshop

Bloem, R. (Speaker)
9 Jan 2006

Activity: Science to scienceTalk at workshop, seminar or course

OneSpin Solutions

Bloem, R. (Speaker)
8 Mar 2006

Activity: Science to scienceInvited talk

Alpine Verification Meeting

Bloem, R. (Speaker)
5 Oct 2005

Activity: Science to scienceInvited talk

Universitäre Vortragsreihe an der Hebrew University

Bloem, R. (Speaker)
12 Feb 2005

Activity: Science to scienceTalk at conference or symposium

Prizes

Best Paper Award, Haifa Verification Conference

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

Prize: Prizes / Medals / Awards

Projects 2004 2022

Security & Safety

Bloem, R. & Mangard, S.

1/01/15 → …

Project: Research areaResearch Area

RiSE - Rigorous Systems Engineering

Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.

1/03/1131/08/19

Project: Research project