Research output per year
Research output per year
Fingerprint
Dive into the research topics where Bettina Könighofer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Adaptive, Provable Correct Simplex Architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., Sept 2024, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.Research output: Contribution to journal › Article › peer-review
-
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Bensalem, S., Katsaros, P., Ničković, D., Liao, B. H. C., Nolasco, R. R., Ahmed, M. A. E. S., Beyene, T. A., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Ponchant, M., Sorokin, L., Tong, S., & 1 others, 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Cham: Springer Science and Business Media Deutschland GmbH, p. 256-278 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
Tappler, M., Pferscher, A., Aichernig, B. & Könighofer, B., 6 Feb 2024, ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. p. 27-39Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Judson, S., Elacqua, M., Cano, F., Antonopoulos, T., Könighofer, B., Shapiro, S. & Piskac, R., 12 Mar 2024, CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law. p. 73-85 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning
Pranger, S., Chockler, H., Tappler, M. & Könighofer, B., 2024, (Accepted/In press) Conference on Neural Information Processing Systems (NeurIPS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Delft University of Technology
Bettina Könighofer (Visitor)
10 Jul 2023 → 5 Sept 2023Activity: Visiting an external academic institution › Research at external institution
-
Formal Methods for Trusted AI
Bettina Könighofer (Speaker)
25 Oct 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
Projects
- 3 Finished
-
FWF - RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/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/10 → 31/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/08 → 15/07/19
Project: Research area