Dr. Noemi Passing

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

• Dominant Strategies for Hyperproperties
  Bernd Finkbeiner and Noemi Passing · Engineering Safe and Trustworthy Cyber Physical Systems
• 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

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

• Compositional Synthesis of Reactive Systems
  Noemi Passing · UdS (Dissertation)
• Compositional Synthesis of Dominant Strategies for Distributed Systems
  Noemi Passing · UdS (Master Thesis)
• Advanced Runtime Analysis of Pattern Matching Algorithms
  Noemi Passing · UdS (Bachelor Thesis)

• Satisfiability of Temporal Stream Logic modulo Theories
  Philippe Heim · Bachelor Thesis
• Specification Decomposition for Reactive Synthesis
  Gideon Geier · Bachelor Thesis
• Verifiable Runtime Monitor Generation for Lola Specifications
  Stefan Oswald · Bachelor Thesis
• 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
• Verification

  Assistant·Reactive Systems Group · Winter 2019/2020
• Hybrid Systems

  Advisor·Reactive Systems Group · Summer 2019
• Formal Verification of Security Protocols

  Advisor·Reactive Systems Group · Summer 2018
• Time Machine

  Advisor·Reactive Systems Group · Winter 2017/2018
• Mathematics Precourse

  Coach·Saarland University · Summer 2016
• Theoretical Computer Science

  Tutor·Theoretical Computer Science · Winter 2015/2016
• Mathematics Precourse

  Coach·Saarland University · Summer 2015
• Programming 1

  Tutor·Dependable Systems and Software Group · Winter 2013/2014
• Mathematics Precourse

  Tutor·Saarland University · Summer 2013