Research output per year
Research output per year
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).
| Status | Finished |
|---|---|
| Effective start/end date | 1/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.
Research output
- 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 AccessFile -
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 AccessFile