Noemi Passing - RankMe

19 papers B 4Journal 9Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Dominant Strategies for Hyperproperties. Engineering Safe and Trustworthy Cyber Physical Systems Bernd Finkbeiner, Noemi Passing
2023	—	`—`	Compositional synthesis of reactive systems. Noemi Passing
2023	—	`conf`	Reactive Synthesis of Smart Contract Control Flows. ATVA (1) Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
2023	J	`jnl`	Specification decomposition for reactive synthesis. Innov. Syst. Softw. Eng. Bernd Finkbeiner, Gideon Geier, Noemi Passing
2022	—	`conf`	BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
2022	J	`jnl`	Compositional synthesis of modular systems. Innov. Syst. Softw. Eng. Bernd Finkbeiner, Noemi Passing
2022	J	`jnl`	Reactive Synthesis of Smart Contract Control Flows. CoRR Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
2022	J	`jnl`	Synthesizing Dominant Strategies for Liveness (Full Version). CoRR Bernd Finkbeiner, Noemi Passing
2022	—	`conf`	Synthesizing Dominant Strategies for Liveness. FSTTCS Bernd Finkbeiner, Noemi Passing
2022	B	`conf`	Temporal Stream Logic modulo Theories. FoSSaCS Bernd Finkbeiner, Philippe Heim, Noemi Passing
2021	J	`jnl`	Compositional Synthesis of Modular Systems (Full Version). CoRR Bernd Finkbeiner, Noemi Passing
2021	B	`conf`	Compositional Synthesis of Modular Systems. ATVA Bernd Finkbeiner, Noemi Passing
2021	J	`jnl`	Specification Decomposition for Reactive Synthesis (Full Version). CoRR Bernd Finkbeiner, Gideon Geier, Noemi Passing
2021	—	`conf`	Specification Decomposition for Reactive Synthesis. NFM Bernd Finkbeiner, Gideon Geier, Noemi Passing
2021	J	`jnl`	Temporal Stream Logic modulo Theories. CoRR Bernd Finkbeiner, Philippe Heim, Noemi Passing
2020	B	`conf`	Dependency-Based Compositional Synthesis. ATVA Bernd Finkbeiner, Noemi Passing
2020	J	`jnl`	Dependency-based Compositional Synthesis (Full Version). CoRR Bernd Finkbeiner, Noemi Passing
2020	B	`conf`	Verified Rust Monitors for Lola Specifications. RV Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
2020	J	`jnl`	Verified Rust Monitors for Lola Specifications. CoRR Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger