Publikationen pro Jahr
Publikationen pro Jahr
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Benedikt Maderbacher aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
-
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., Mai 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (Hrsg.). Springer Nature Switzerland AG, S. 141-160 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13872 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Adaptive testing for specification coverage and refinement in CPS models
Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., Nov. 2022, in: Nonlinear Analysis: Hybrid Systems. 46, 16 S., 101254.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
Reactive Synthesis Modulo Theories using Abstraction Refinement
Maderbacher, B. & Bloem, R., 2022, Proceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022. TU Wien Academic Press, S. 315-324 (Conference Series: Formal Methods in Computer-Aided Design; Band 3).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Adaptive Testing for Specification Coverage in CPS Models
Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., 1 Juli 2021, in: IFAC-PapersOnLine. 54, 5, S. 229-234 6 S.Publikation: Beitrag in einer Fachzeitschrift › Konferenzartikel › Begutachtung
Open Access -
Placement of Runtime Checks to Counteract Fault Injections
Maderbacher, B., Karl, A. F. & Bloem, R., Okt. 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings: 20th International Conference, RV 2020. Deshmukh, J. & Nickovic, D. (Hrsg.). Springer Nature Switzerland AG, S. 241-258 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12399 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei
Aktivitäten
-
Reactive Synthesis of Cyber-Physical Systems
Benedikt Maderbacher (Redner/in)
11 Sept. 2023Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Sorbonne Université
Benedikt Maderbacher (Gast)
22 Apr. 2023 → 27 Apr. 2023Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
Reactive Synthesis modulo Theories
Benedikt Maderbacher (Redner/in)
18 Juli 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Reactive Synthesis Modulo Theories using Abstraction Refinement
Benedikt Maderbacher (Redner/in)
21 Okt. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Placement of Runtime Checks to Counteract Fault Injections
Benedikt Maderbacher (Redner/in)
7 Okt. 2020Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science