Publikationen pro Jahr
Publikationen pro Jahr
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Roderick Bloem aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
Publikationen
-
Parameterized Infinite-State Reactive Synthesis
Maderbacher, B. & Bloem, R., 8 Jan. 2026, in: Proceedings of the ACM on Programming Languages. 10, POPL, S. 2439-2467 29 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
An Adaptive, Provable Correct Simplex Architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., 4 Feb. 2025, (Elektronische Veröffentlichung vor Drucklegung.) in: International Journal on Software Tools for Technology Transfer. SPIN 2022-2024, 19 S., 2589.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open AccessDatei -
Shields for Safe Reinforcement Learning
Könighofer, B., Bloem, R., Jansen, N., Junges, S. & Pranger, S., Nov. 2025, in: Communications of the ACM. 68, 11, S. 80 - 90 11 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open AccessDatei -
Synthesis of Controllers for Continuous Blackbox Systems
Maderbacher, B., Windisch, F., Larrauri Borroto, L. A. & Bloem, R., Jan. 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (Hrsg.). Springer, Cham, Band 2. S. 137–159 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15530 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches
Haring, J., Hadzic, V. & Bloem, R., 5 Sept. 2024, in: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 4, S. 110-132 23 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access
Aktivitäten
-
Side Channel Secure Software: A Hardware Question
Bloem, R. (Redner/in)
10 Juni 2026Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
TACAS 2026
Bloem, R. (Teilnehmer/-in)
12 Apr. 2026Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
-
-
Università di Padova
Bloem, R. (Gast)
21 Sept. 2021 → 23 Sept. 2021Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
Haifa Verification Conference 2007
Bloem, R. (Redner/in)
24 Okt. 2007Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
Auszeichnungen
-
Best Paper Award, Haifa Verification Conference
Bloem, R. (Empfänger/-in) & Staber, S. S. (Empfänger/-in), 23 Okt. 2006
Auszeichnung: Preise / Medaillen / Ehrungen
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, B. (Empfänger/-in), Bloem, R. (Empfänger/-in), Ebrahimi, M. (Empfänger/-in), Horn, M. (Empfänger/-in), Pernkopf, F. (Empfänger/-in), Roth, W. (Empfänger/-in), Rupp, A. (Empfänger/-in), Tappler, M. (Empfänger/-in) & Tranninger, M. (Empfänger/-in), Okt. 2019
Auszeichnung: Preise / Medaillen / Ehrungen
-
Security & Safety
Bloem, R. (Teilnehmer (Co-Investigator)) & Mangard, S. (Teilnehmer (Co-Investigator))
1/01/15 → …
Projekt: Arbeitsgebiet
-
FATE - Fehlergesteuerte Analyse und Prüfung für Robustheit und Stabilität der Konstruktion
Bloem, R. (Projektleiter an der OE)
1/11/22 → 31/10/25
Projekt: Forschungsprojekt
-
ArchCM4SSV - Architektonische Gegenmaßnahmen für Sicherheit und Sicherheitsüberprüfung
Bloem, R. (Projektleiter an der OE)
1/07/21 → 30/06/22
Projekt: Forschungsprojekt
-
EU - SAFEST - Sichere und gesicherte Hardware: Erleichterung der digitalen Gesellschaft von ESTonia
Bloem, R. (Projektleiter an der OE)
1/01/21 → 31/12/23
Projekt: Forschungsprojekt
-
EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie
Bloem, R. (Projektleiter an der OE)
1/10/20 → 31/10/23
Projekt: Forschungsprojekt