Dependency-Based Compositional Synthesis

von Finkbeiner, Bernd
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Compositional Synthesis of Modular Systems

von Finkbeiner, Bernd
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Temporal Stream Logic modulo Theories

von Finkbeiner, Bernd
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Specification Decomposition for Reactive Synthesis

von Finkbeiner, Bernd
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)