Noemi Passing

Publications

[FHKP23] Reactive Synthesis of Smart Contract Control Flows
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, and Noemi Passing
21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023)
[FP22b] Synthesizing Dominant Strategies for Liveness
Bernd Finkbeiner and Noemi Passing
42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022)
[FGP22] Specification decomposition for reactive synthesis
Bernd Finkbeiner, Gideon Geier, and Noemi Passing
Innovations in Systems and Software Engineering, NFM 2021 Special Issue (ISSE 2022)
[FP22a] Compositional synthesis of modular systems
Bernd Finkbeiner and Noemi Passing
Innovations in Systems and Software Engineering, ATVA 2021 Special Issue (ISSE 2022)
[FMPSS22] BOCoSy: Small but Powerful Symbolic Output-Feedback Control
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, and Anne-Kathrin Schmuck
25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2022)
[FHP22] Temporal Stream Logic modulo Theories
Bernd Finkbeiner, Philippe Heim, and Noemi Passing
25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022)
[FP21] Compositional Synthesis of Modular Systems
Bernd Finkbeiner and Noemi Passing
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
[FGP21] Specification Decomposition for Reactive Synthesis
Bernd Finkbeiner, Gideon Geier, and Noemi Passing
13th NASA Formal Methods Symposium (NFM 2021)
[BFKOPS21] Automatic Optimizations for Runtime Verification Specifications
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Stefan Oswald, Noemi Passing, and Maximilian Schwenger
6th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT@CPSWeek 2021)
[FOPS20] Verified Rust Monitors for Lola Specifications
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, and Maximilian Schwenger
20th International Conference on Runtime Verification (RV 2020)
[FP20] Dependency-based Compositional Synthesis
Bernd Finkbeiner and Noemi Passing
18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020)
[MP16] Representing Pattern Matching Algorithms by Polynomial-Size Automata
Tobias Marschall and Noemi Passing
arXiv preprint

Student Projects

Structured Program Synthesis from Temporal Stream Logic Specifications Peter Gastauer, Bachelor Thesis, 2023, co-advised by Hadar Frenkel
An Efficient Automaton Construction for Synthesizing Dominant Strategies Sanny Schmitt, Master Thesis, 2022
Specification Decomposition for Reactive Synthesis Gideon Geier, Bachelor Thesis, 2020
Satisfiability of Temporal Stream Logic modulo Theories Philippe Heim, Bachelor Thesis, 2020
Verifiable Runtime Monitor Generation for Lola Specifications Stefan Oswald, Bachelor Thesis, 2020, co-advised by Maximilian Schwenger

Teaching

Summer 2022 Proseminar Advisor for From Program Verification to Synthesis.
Winter 2019/2020 Assistant for Verification.
Summer 2019 Seminar Advisor for Hybrid Systems.
Summer 2018 Proseminar Advisor for Formal Verification of Security Protocols.
Winter 2017/18 Proseminar Advisor for Time Machine.
Summer 2016 Coach for Mathematics Precourse at Saarland University.
Winter 2015/2016 Tutor for Theoretical Computer Science at the Chair of Theoretical Computer Science.
Summer 2015 Coach for Mathematics Precourse at Saarland University.
Winter 2013/2014 Tutor for Programming 1 at the Dependable Systems and Software Group.
Summer 2013 Tutor for Mathematics Precourse at Saarland University.

Theses

Compositional Synthesis of Reactive Systems PhD Thesis, Saarland University, 2023
Compositional Synthesis of Dominant Strategies for Distributed Systems Master Thesis, Saarland University, 2019
Advanced Runtime Analysis of Pattern Matching Algorithms Bachelor Thesis, Saarland University, 2015