Skip to main navigation Skip to search Skip to main content

EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems

  • Könighofer, Robert (Attendee / Assistant)
  • Bloem, Roderick (Project manager on research unit)

Project: Research project

Project Details

Description

In this project, a consortium of leading European academic and industrial players aim at combining their expertise in developing an integrated, cross-layer modelling based tool framework for fault management, verification and reliable design of dependable Cyber-Physical Systems (CPS).
StatusFinished
Effective start/end date1/03/15 → 28/02/18

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 4 Conference paper

  • 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. (eds.). IEEE CS, p. 130 - 138 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 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, Vol. 10821. p. 321-353 33 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • Cooperative Reactive Synthesis

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
View all 4 research outputs