Seuraa
Noemi Passing
Noemi Passing
CISPA Helmholtz Center for Information Security
Vahvistettu sähköpostiosoite verkkotunnuksessa cispa.saarland - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Temporal stream logic modulo theories
B Finkbeiner, P Heim, N Passing
International Conference on Foundations of Software Science and Computation …, 2022
312022
Specification Decomposition for Reactive Synthesis
B Finkbeiner, G Geier, N Passing
NASA Formal Methods Symposium, 113-130, 2021
252021
Verified Rust Monitors for Lola Specifications
B Finkbeiner, S Oswald, N Passing, M Schwenger
252020
Compositional synthesis of modular systems
B Finkbeiner, N Passing
Innovations in Systems and Software Engineering, 1-15, 2022
202022
Dependency-based compositional synthesis
B Finkbeiner, N Passing
International Symposium on Automated Technology for Verification and …, 2020
18*2020
Synthesizing dominant strategies for liveness
B Finkbeiner, N Passing
Proceedings of FSTTCS 2022,, 2022
8*2022
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
62022
Reactive synthesis of smart contract control flows
B Finkbeiner, J Hofmann, F Kohn, N Passing
International Symposium on Automated Technology for Verification and …, 2023
32023
Compositional synthesis of reactive systems
NE Passing
Saarländische Universitäts-und Landesbibliothek, 2023
2023
Automatic Optimizations for Runtime Verification Specifications
J Baumeister, B Finkbeiner, M Kruse, S Oswald, N Passing, M Schwenger
2021
Representing Pattern Matching Algorithms by Polynomial-Size Automata
T Marschall, NE Passing
arXiv preprint arXiv:1607.00138, 2016
2016
Advanced Runtime Analysis of Pattern Matching Algorithms
NE Passing
Universität des Saarlandes Saarbrücken, 2015
2015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–12