Roderick Bloem

Univ.-Prof., Ph.D.

1996 …2022
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.

  • 14 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
Hybrid systems Engineering & Materials Science
Multi agent systems Engineering & Materials Science

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

Research Output 1996 2019

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

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

Hybrid systems
Learning systems
Testing
Recurrent neural networks

Run-Time Optimization for Learned Controllers Through Quantitative Games

Avni, G., Bloem, R., Chatterjee, K., Henzinger, T., Könighofer, B. & Pranger, S., 15 Jul 2019, Computer Aided Verification (CAV). Dillig, I. & Tasiran, S. (eds.). 31 ed. Springer, Vol. 11561. p. 630-649 ( Lecture Notes in Computer Science; vol. 11561).

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

Open Access
Controllers
Emergency vehicles
Stochastic models
Telecommunication traffic
Learning systems

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

Synthesis of Minimum-Cost Shields for Multi-agent Systems

Bharadwaj, S., Bloem, R., Dimitrova, R., Könighofer, B. & Topcu, U., 10 Jul 2019, 2019 American Control Conference (ACC). ACM/IEEE, p. 1048-1055 8 p.

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

Multi agent systems
Costs
Warehouses
Unmanned aerial vehicles (UAV)
Logistics

Synthesizing Reactive Systems Using Robustness and Recovery Specifications

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2019, (Accepted/In press) 2019 Formal Methods in Computer Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). IEEE CS, 5 p.

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

Specifications
Recovery

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

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