1996 …2022
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Roderick Bloem aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 14 Ähnliche Profile
Specifications Ingenieurwesen & Materialwissenschaft
Parallel algorithms Ingenieurwesen & Materialwissenschaft
Temporal logic Ingenieurwesen & Materialwissenschaft
Testing Ingenieurwesen & Materialwissenschaft
Masking Mathematik
Stabilization Ingenieurwesen & Materialwissenschaft
Hybrid systems Ingenieurwesen & Materialwissenschaft
Multi agent systems Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 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. (Hrsg.). Cham: Springer International Publishing AG , S. 3-21 19 S. (Lecture Notes in Computer Science; Band 11812).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. (Hrsg.). 31 Aufl. Springer, Band 11561. S. 630-649 ( Lecture Notes in Computer Science; Band 11561).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. (Hrsg.). Springer, S. 183-204 22 S. (Lecture Notes in Computer Science; Band 11388).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei
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, S. 1048-1055 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, (Angenommen/In Druck) 2019 Formal Methods in Computer Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (Hrsg.). IEEE CS, 5 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Specifications
Recovery

Aktivitäten 2004 2007

  • 5 Vortrag bei Workshop, Seminar oder Kurs
  • 3 Gastvortrag
  • 2 Vortrag bei Konferenz oder Fachtagung

Haifa Verification Conference 2007

Roderick Bloem (Redner/in)
24 Okt 2007

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Te-DES Workshop

Roderick Bloem (Redner/in)
9 Jan 2006

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

OneSpin Solutions

Roderick Bloem (Redner/in)
8 Mär 2006

Aktivität: Vortrag oder PräsentationGastvortragScience to science

PROSYD Workshop, IBM

Roderick Bloem (Redner/in)
10 Feb 2005

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Fault Localization and Correction

Roderick Bloem (Redner/in)
12 Jul 2005

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Preise

Best Paper Award, Haifa Verification Conference

Roderick Bloem (Empfänger/-in) & Stefan Simon Staber (Empfänger/-in), 23 Okt 2006

Auszeichnung: Preise / Medaillen / Ehrungen

Projekte 2004 2022