Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reactive Synthesis of Smart Contract Control Flows., , , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 248-269. Springer, (2023)BOCoSy: Small but Powerful Symbolic Output-Feedback Control., , , , and . HSCC, page 24:1-24:11. ACM, (2022)Specification decomposition for reactive synthesis., , and . Innov. Syst. Softw. Eng., 19 (4): 339-357 (December 2023)Verified Rust Monitors for Lola Specifications., , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 431-450. Springer, (2020)Dependency-Based Compositional Synthesis., and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 447-463. Springer, (2020)Compositional Synthesis of Modular Systems (Full Version)., and . CoRR, (2021)Compositional synthesis of reactive systems.. Saarland University, Saarbrücken, Germany, (2023)Temporal Stream Logic modulo Theories., , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 325-346. Springer, (2022)Compositional Synthesis of Modular Systems., and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 303-319. Springer, (2021)Specification Decomposition for Reactive Synthesis., , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 113-130. Springer, (2021)