Dr. Noemi Passing

While being a member of this group or in collaboration with us.

• Reactive Synthesis of Smart Contract Control Flows
  Bernd Finkbeiner, Jana Hofmann, Florian Kohn and Noemi Passing · ATVA 2023
• Synthesizing Dominant Strategies for Liveness
  Bernd Finkbeiner and Noemi Passing · FSTTCS 2022
• Specification decomposition for reactive synthesis
  Bernd Finkbeiner, Gideon Geier and Noemi Passing · ISSE 2022
• BOCoSy: Small but Powerful Symbolic Output-Feedback Control
  Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski and Anne-Kathrin Schmuck · HSCC 2022
• Compositional synthesis of modular systems
  Bernd Finkbeiner and Noemi Passing · ISSE 2022
• Temporal Stream Logic modulo Theories
  Bernd Finkbeiner, Philippe Heim and Noemi Passing · FoSSaCS 2022
• Compositional Synthesis of Modular Systems
  Bernd Finkbeiner and Noemi Passing · ATVA 2021
• Specification Decomposition for Reactive Synthesis
  Bernd Finkbeiner, Gideon Geier and Noemi Passing · NFM 2021
• Automatic Optimizations for Runtime Verification Specifications
  Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Stefan Oswald, Noemi Passing and Maximilian Schwenger · MT-CPS 2021
• Dependency-based Compositional Synthesis
  Bernd Finkbeiner and Noemi Passing · ATVA 2020
• Verified Rust Monitors for Lola Specifications
  Bernd Finkbeiner, Stefan Oswald, Noemi Passing and Maximilian Schwenger · RV 2020

• An Efficient Automaton Construction for Synthesizing Dominant Strategies
  Sanny Schmitt · Master Thesis
• Structured Program Synthesis from Temporal Stream Logic Specifications
  Peter Gastauer · Bachelor Thesis

• From Program Verification to Synthesis

  Advisor·Reactive Systems Group · Summer 2022