Bettina Könighofer

According to our database1, Bettina Könighofer authored at least 14 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Shielded Decision-Making in MDPs.
CoRR, 2018

Formal Verification of Masked Hardware Implementations in the Presence of Glitches.
Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

Safe Reinforcement Learning via Shielding.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Formal Verification of Masked Hardware Implementations in the Presence of Glitches.
IACR Cryptology ePrint Archive, 2017

Shield synthesis.
Formal Methods in System Design, 2017

Safe Reinforcement Learning via Shielding.
CoRR, 2017

2016
Synthesis of Admissible Shields.
Proceedings of the Hardware and Software: Verification and Testing, 2016

2015
Shield Synthesis: Runtime Enforcement for Reactive Systems.
CoRR, 2015

Shield Synthesis: - Runtime Enforcement for Reactive Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014
Synthesizing robust systems.
Acta Inf., 2014

Synthesis of synchronization using uninterpreted functions.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof.
CoRR, 2013

Synthesizing multiple boolean functions using interpolation on a single proof.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Synthesizing Robust Systems with RATSY
Proceedings of the Proceedings First Workshop on Synthesis, 2012


  Loading...