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.

  • 4 Ähnliche Profile
Specifications Ingenieurwesen & Materialwissenschaft
Parallel algorithms Ingenieurwesen & Materialwissenschaft
Temporal logic Ingenieurwesen & Materialwissenschaft
Testing Ingenieurwesen & Materialwissenschaft
Masking Mathematik
Stabilization Ingenieurwesen & Materialwissenschaft
Distributed Systems Mathematik
Fault Mathematik

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

Forschungsoutput 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. (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

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. Band 1. S. 547-564 18 S. (Lecture Notes in Computer Science; Band 10980).

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

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. (Hrsg.). IEEE CS, S. 130 - 138 9 S.

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

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. (Hrsg.). S. 494-510 17 S. ( Lecture Notes in Computer Science; Band 11138).

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

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. (Hrsg.). S. 40-49

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

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