54 Infos zu Bettina Könighofer

1 Aktuelle Nachrichten

3 Profile in Sozialen Netzwerken

GitHub is where bkoenighofer builds software.

Semantic Scholar profile for Bettina Könighofer, with 43 highly influential citations and 19 scientific research papers.

1 Projekte

Internal project; Graz University, Prof. Parncutt; Project status:: finished; AEMT Team: Bettina Könighofer, Philip Weber, Christian Gütl. PROJECT OVERVIEW.

4 Bücher zum Namen

Specifications for reactive systems often consist of environment assumptions and system guarantees. An implementation should not only be …ct, but also

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV held in St. Petersburg,...

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015,...

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014,...

7 Dokumente

Authors: Roderick Bloem (IAIK, TU-Graz), Hans-Jürgen Gamauf (IAIK, TU-Graz), Georg Hofferek (IAIK, TU-Graz), Bettina Könighofer (IAIK, TU-Graz), Robert ...

Barbara Jobstmann, Bettina Könighofer, and Robert Könighofer. Synthesizing robust systems. Acta Inf., 51(3-4), [3] Krishnendu Chatterjee, Thomas A.

Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem. Bit Rate of Programs. Cewei Cui, Zhe Dang, Thomas R. Fischer.

Bettina Könighofer · Robert Könighofer. Received: 22 February Accepted: 23 October Published online: 5 December © Springer-Verlag ...

12 Wissenschaftliche Publikationen

List of computer science publications by Bettina Könighofer

List of computer science publications by Rüdiger Ehlers

Bibliographic content of SYNT@CAV 2012

List of computer science publications by Barbara Jobstmann

2 Allgemeine Veröffentlichungen

Scalability issues may prevent users from verifying critical properties of a complex hardware design. In this situation, we propose to synthesize a “safety...

3 Meinungen & Artikel

It appears that Lejla and Lisa love logic. To us at IAIK this is just logical. After all, we also like logic a lot. We are really pleased to see that the next...

Well, there is at least one more way, which Bettina Könighofer from Graz University of Technology (Austria) presented (an older related paper is ...

Posts about internship written by kcposch

20 Webfunde aus dem Netz

GitHub repositories created and contributed to by Bettina Könighofer (bkoenighofer)

Bettina Könighofer. Posted on October 21, by ayrat. ‹ Ioan Dragan · Alexander Kößler ›. Posted in Students · University of Salzburg Vienna University of ...

September 2017: A preprint of the paper Safe Reinforcement Learning via Shielding by Mohammed Alshiekh, Roderick Bloem, Bettina Könighofer, Scott Niekum, Ufuk Topcu, and me …

Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, and Ufuk Topcu: Safe Reinforcement Learning via Shielding. 32nd AAAI …

Scalability issues may prevent users from verifying critical properties of a complex hardware design. In this situation, we propose to synthesize a

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer

(IAIK, TU-Graz), Hans-Jürgen Gamauf (IAIK, TU-Graz), Georg Hofferek (IAIK, TU- Graz), Bettina Könighofer (IAIK, TU-Graz), Robert Könighofer

Synthesizing Robust Systems with RATSY Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer and Robert Könighofer ...

14:30, Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Außerlechner and Raphael Spörk. Synthesis of Synchronization using ...

The IBM R&D Labs in Israel Leadership Seminars page, information about IBM R&D Labs in Israel Leadership Seminars and Confrences events.

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer & Robert Könighofer ...

Synthesizing multiple boolean functions using interpolation on a single proofGeorg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, ...

2: :00: Synthesizing Robust Systems with RATSY (Roderick Bloem, Hans Jürgen Gamauf, Georg Hofferek, Bettina Könighofer and Robert Könighofer).

Synthesizing Robust Systems with RATSY. Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer · ArXiv;

Shield Synthesis: - Runtime Enforcement for Reactive SystemsRoderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang. TACAS 2015: [doi].

Shield synthesis is an approach to enforce a set of safety-critical properties of a reactive system at runtime. A shield monitors the system and

Bettina Könighofer. Graz University of Technology. autor. Robert Könighofer. Graz University of Technology , .at. Bibliografia.

@misc{ , author = {Roderick Bloem and Bettina Koenighofer and Robert Koenighofer and Chao Wang}, title = {{S}hield {S}ynthesis: {R}untime ...

Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem. Aug cs.LO arXiv: v1. Scited Scite!

Template-based Circuit Understanding 14:30 Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Außerlechner ...