Articles with public access mandates - Noemi PassingLearn more
Available somewhere: 8
Specification Decomposition for Reactive Synthesis
B Finkbeiner, G Geier, N Passing
NASA Formal Methods Symposium, 113-130, 2021
Mandates: German Research Foundation, European Commission
Verified Rust Monitors for Lola Specifications
B Finkbeiner, S Oswald, N Passing, M Schwenger
Mandates: German Research Foundation, European Commission
Compositional synthesis of modular systems
B Finkbeiner, N Passing
Innovations in Systems and Software Engineering, 1-15, 2022
Mandates: German Research Foundation, European Commission
Dependency-based compositional synthesis
B Finkbeiner, N Passing
International Symposium on Automated Technology for Verification and …, 2020
Mandates: German Research Foundation, European Commission
Synthesizing Dominant Strategies for Liveness
B Finkbeiner, N Passing
42nd IARCS Annual Conference on Foundations of Software Technology and …, 2022
Mandates: German Research Foundation, European Commission
BOCoSy: Small but Powerful Symbolic Output-Feedback Control
B Finkbeiner, K Mallik, N Passing, M Schledjewski, AK Schmuck
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
Mandates: German Research Foundation, European Commission
Reactive synthesis of smart contract control flows
B Finkbeiner, J Hofmann, F Kohn, N Passing
International Symposium on Automated Technology for Verification and …, 2023
Mandates: European Commission
Automatic Optimizations for Runtime Verification Specifications
J Baumeister, B Finkbeiner, M Kruse, S Oswald, N Passing, M Schwenger
Mandates: German Research Foundation, European Commission
Publication and funding information is determined automatically by a computer program