EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.

  • Bloem, Roderick (Teilnehmer (Co-Investigator))
  • Könighofer, Robert, (Teilnehmer (Co-Investigator))

Projekt: Foschungsprojekt

Projektdetails

Beschreibung

In diesem Projekt setzt sich ein Konsortium von führenden Europäischen akademischen und industriellen Akteuren auf die Entwicklung eines integrierten,
Cross-Layer-Modellierung basierenden Tool Frame für Faultmanagement, Verifikation und zuverlässiges Design von Cyber-Physical Systems (CPS) zum Ziel.
StatusAbschlussdatum
Tatsächlicher Beginn/ -es Ende1/03/1528/02/18

Publikationen

  • 4 Beitrag in einem Konferenzband

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

  • Formal Verification of Masked Hardware Implementations in the Presence of Glitches

    Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).

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

    Open Access
    Datei

    Cooperative Reactive Synthesis

    Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, Band 9364. S. 394-410 (Lecture Notes in Computer Science).

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

    Open Access
    Datei