No photo of Bettina Könighofer

Bettina Könighofer

Dipl.-Ing., BSc

20082019
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2012 2018

  • 6 Conference contribution
  • 2 Article

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 proceedingConference contributionResearchpeer-review

Open Access
File

Safe Reinforcement Learning via Shielding

Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S. & Topcu, U., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018. p. 2669-2678 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Shielded Decision-Making in MDPs

Jansen, N., Könighofer, B., Junges, S. & Bloem, R., 2018, In : arXiv.org e-Print archive. CoRR, abs/1807.06096.

Research output: Contribution to journalArticleResearchpeer-review

Shield Synthesis: - Runtime Enforcement for Reactive Systems

Bloem, R. P., Könighofer, B., Könighofer, R. & Wang, C., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, Vol. 9035. p. 533-548 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Synthesis of Synchronization using Uninterpreted Functions

Bloem, R. P., Hofferek, G., Könighofer, B., Könighofer, R., Außerlechner, S. & Spörk, R., 2014, Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014. ., p. 35-42

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Projects 2008 2019

RiSE - Rigorous Systems Engineering

Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.

1/03/1131/08/19

Project: Research project

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.

1/01/1031/12/12

Project: Research project

Formal Methods for Design & Verification

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/0815/07/19

Project: Research area