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
-
An Adaptive, Provable Correct Simplex Architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., Sept. 2024, (Angenommen/In Druck) in: International Journal on Software Tools for Technology Transfer.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
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 -
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults
Tollec, S., Hadzic, V., Nasahl, P., Asavoae, M., Bloem, R., Couroussé, D., Heydemann, K., Jan, M. & Mangard, S., 5 Sept. 2024, in: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 4, S. 179-204 26 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Maderbacher, B., Windisch, F. & Bloem, R., Okt. 2024, Leveraging Applications of Formal Methods, Verification and Validation.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
A Systematic Approach to Automotive Security
Ebrahimi, M., Marksteiner, S., Nickovic, D., Bloem, R., Schögler, D., Eisner, P., Sprung, S., Schober, T., Chlup, S., Schmittner, C. & König, S., 6 März 2023, Formal Methods - 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (Hrsg.). Cham: Springer, S. 598-609 12 S. (Lecture Notes in Computer Science; Band 14000).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Aktivitäten
-
-
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
-
OneSpin Solutions
Bloem, R. (Redner/in)
8 März 2006Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Te-DES Workshop
Bloem, R. (Redner/in)
9 Jan. 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › 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
-
FATE - Fehlergesteuerte Analyse und Prüfung für Robustheit und Stabilität der Konstruktion
Bloem, R. (Teilnehmer (Co-Investigator))
1/11/22 → 31/10/25
Projekt: Forschungsprojekt
-
Security & Safety
Bloem, R. (Teilnehmer (Co-Investigator)) & Mangard, S. (Teilnehmer (Co-Investigator))
1/01/15 → …
Projekt: Arbeitsgebiet
-
ArchCM4SSV - Architektonische Gegenmaßnahmen für Sicherheit und Sicherheitsüberprüfung
Bloem, R. (Teilnehmer (Co-Investigator))
1/07/21 → 30/06/22
Projekt: Forschungsprojekt
-
EU - SAFEST - Sichere und gesicherte Hardware: Erleichterung der digitalen Gesellschaft von ESTonia
Bloem, R. (Teilnehmer (Co-Investigator))
1/01/21 → 31/12/23
Projekt: Forschungsprojekt
-
EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie
Bloem, R. (Teilnehmer (Co-Investigator))
1/10/20 → 31/10/23
Projekt: Forschungsprojekt