Noemi Passing

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 17

Top Topics

Reactive Planning

Functional Decomposition

Specification Language

Feedback Control

Top Venues

Innov. Syst. Softw. Eng.

Publications

Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) (2023)
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification decomposition for reactive synthesis. Innov. Syst. Softw. Eng. 19 (4) (2023)
Bernd Finkbeiner, Noemi Passing
Compositional synthesis of modular systems. Innov. Syst. Softw. Eng. 18 (3) (2022)
Bernd Finkbeiner, Noemi Passing
Synthesizing Dominant Strategies for Liveness. FSTTCS (2022)
Bernd Finkbeiner, Noemi Passing
Synthesizing Dominant Strategies for Liveness (Full Version). CoRR (2022)
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC (2022)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. CoRR (2022)
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal Stream Logic modulo Theories. FoSSaCS (2022)
Bernd Finkbeiner, Noemi Passing
Compositional Synthesis of Modular Systems (Full Version). CoRR (2021)
Bernd Finkbeiner, Noemi Passing
Compositional Synthesis of Modular Systems. ATVA (2021)
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal Stream Logic modulo Theories. CoRR (2021)
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification Decomposition for Reactive Synthesis (Full Version). CoRR (2021)
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification Decomposition for Reactive Synthesis. NFM (2021)
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Verified Rust Monitors for Lola Specifications. CoRR (2020)
Bernd Finkbeiner, Noemi Passing
Dependency-based Compositional Synthesis (Full Version). CoRR (2020)
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Verified Rust Monitors for Lola Specifications. RV (2020)
Bernd Finkbeiner, Noemi Passing
Dependency-Based Compositional Synthesis. ATVA (2020)