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.

Research Output 2012 2018

  • 6 Conference contribution
  • 2 Article
Filter
Conference contribution
2018

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

2015

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
2014

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
2013

Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

Hofferek, G., Gupta, A., Könighofer, B., Jiang, J-H. R. & Bloem, R. P., 2013, FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, p. 77-84

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

Open Access
File
2012

Synthesizing Robust Systems with RATSY

Bloem, R. P., Gamauf, H-J., Hofferek, G., Könighofer, B. & Könighofer, R., 2012, Proceedings First Workshop on Synthesis (SYNT 2012). Electronic Proceedings in Theoretical Computer Science, Vol. 84. p. 47-53

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

Open Access
File