Noemi Passing
About Me
I was a Ph.D. student at CISPA Helmholtz Center for Information Security and the Graduate School of Computer Science of Saarland University.
I defended my PhD thesis Compositional Synthesis of Reactive Systems in July 2023.
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 |