Items where Author is "Passing, Noemi"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 9.

Conference or Workshop Item (A Paper)

Finkbeiner, Bernd and Passing, Noemi
(2022) Synthesizing Dominant Strategies for Liveness.
In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
Conference: FST&TCS Foundations of Software Technology and Theoretical Computer Science
(In Press)

Finkbeiner, Bernd and Mallik, Kaushik and Passing, Noemi and Schledjewski, Malte and Schmuck, Anne-Kathrin
(2022) BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
In: 25th ACM International Conference on Hybrid Systems: Computation and Control.
Conference: HSCC ACM International Conference on Hybrid Systems: Computation and Control

Finkbeiner, Bernd and Heim, Philippe and Passing, Noemi
(2022) Temporal Stream Logic modulo Theories.
In: ETAPS 2022, Apr 2022, Munich.
Conference: FOSSACS Foundations of Software Science and Computational Structures

Finkbeiner, Bernd and Passing, Noemi
(2021) Compositional Synthesis of Modular Systems.
In: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021).
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis
(In Press)

Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi
(2021) Specification Decomposition for Reactive Synthesis.
In: 13th NASA Formal Methods Symposium, NFM 2021.
Conference: NFM NASA Formal Methods Symposium
(In Press)

Finkbeiner, Bernd and Passing, Noemi
(2020) Dependency-based Compositional Synthesis.
In: 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Finkbeiner, Bernd and Oswald, Stefan and Passing, Noemi and Schwenger, Maximilian
(2020) Verified Rust Monitors for Lola Specifications.
In: RV 2020.
Conference: RV International Conference on Runtime Verification (was workshop pre 2010)

Article

Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi
(2022) Specification decomposition for reactive synthesis.
Innovations in Systems and Software Engineering.

Finkbeiner, Bernd and Passing, Noemi
(2022) Compositional synthesis of modular systems.
Innovations in Systems and Software Engineering.

This list was generated on Fri Apr 26 19:39:21 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.