20182019

Research output per year

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Netzwerk Jüngste externe Zusammenarbeit auf Länderebene Erkunden Sie die Details, indem Sie auf die Punkte klicken.

Publikationen

  • 2 Beitrag in einem Konferenzband

Programming Behavioral Test Models for SMT Solving in Scala

Aichernig, B., Maderbacher, B. & Tiran, S., 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, S. 52-60

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Bounded Synthesis of Register Transducers

Khalimov, A., Maderbacher, B. & Bloem, R., 2018, Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lahiri, S. & Wang, C. (Hrsg.). S. 494-510 17 S. ( Lecture Notes in Computer Science; Band 11138).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung