Representing Pattern Matching Algorithms by Polynomial-Size Automata. - Tobias Marschall; Noemi E. Passing (CoRR, 2016)

Dependency-Based Compositional Synthesis. - Bernd Finkbeiner; Noemi Passing (ATVA, 2020)

Verified Rust Monitors for Lola Specifications. - Bernd Finkbeiner; Stefan Oswald; Noemi Passing; Maximilian Schwenger (RV, 2020)

Dependency-based Compositional Synthesis (Full Version). - Bernd Finkbeiner; Noemi Passing (CoRR, 2020)

Specification Decomposition for Reactive Synthesis (Full Version). - Bernd Finkbeiner; Gideon Geier; Noemi Passing (CoRR, 2021)

Compositional Synthesis of Modular Systems (Full Version). - Bernd Finkbeiner; Noemi Passing (CoRR, 2021)

Temporal Stream Logic modulo Theories. - Bernd Finkbeiner; Philippe Heim; Noemi Passing (FoSSaCS, 2022)

Synthesizing Dominant Strategies for Liveness. - Bernd Finkbeiner; Noemi Passing (FSTTCS, 2022)

BOCoSy: Small but Powerful Symbolic Output-Feedback Control. - Bernd Finkbeiner; Kaushik Mallik; Noemi Passing; Malte Schledjewski; Anne-Kathrin Schmuck (HSCC, 2022)

Synthesizing Dominant Strategies for Liveness (Full Version). - Bernd Finkbeiner; Noemi Passing (CoRR, 2022)

Compositional synthesis of modular systems. - Bernd Finkbeiner; Noemi Passing (Innov. Syst. Softw. Eng., 2022)

Reactive Synthesis of Smart Contract Control Flows. - Bernd Finkbeiner; Jana Hofmann; Florian Kohn; Noemi Passing (ATVA (1), 2023)

Compositional synthesis of reactive systems. - Noemi Passing (2023)

Specification decomposition for reactive synthesis. - Bernd Finkbeiner; Gideon Geier; Noemi Passing (Innov. Syst. Softw. Eng., 2023)