Compositional synthesis of modular systems von Finkbeiner, Bernd, Passing, Noemi

Volltext

Specification decomposition for reactive synthesis von Finkbeiner, Bernd, Geier, Gideon, Passing, Noemi

Volltext

Compositional Synthesis of Modular Systems von Finkbeiner, Bernd, Passing, Noemi

Volltext

Dependency-Based Compositional Synthesis von Finkbeiner, Bernd, Passing, Noemi

Volltext

Specification Decomposition for Reactive Synthesis von Finkbeiner, Bernd, Geier, Gideon, Passing, Noemi

Volltext

Reactive Synthesis of Smart Contract Control Flows von Finkbeiner, Bernd, Hofmann, Jana, Kohn, Florian, Passing, Noemi

Volltext

Verified Rust Monitors for Lola Specifications von Finkbeiner, Bernd, Oswald, Stefan, Passing, Noemi, Schwenger, Maximilian

Volltext

Synthesizing Dominant Strategies for Liveness (Full Version) von Finkbeiner, Bernd, Passing, Noemi

Volltext bestellen

Compositional Synthesis of Modular Systems (Full Version) von Finkbeiner, Bernd, Passing, Noemi

Volltext bestellen

Dependency-based Compositional Synthesis (Full Version) von Finkbeiner, Bernd, Passing, Noemi

Volltext bestellen

Synthesizing Dominant Strategies for Liveness (Full Version) von Finkbeiner, Bernd, Passing, Noemi

Volltext

Compositional Synthesis of Modular Systems (Full Version) von Finkbeiner, Bernd, Passing, Noemi

Volltext

Temporal Stream Logic modulo Theories (Full Version) von Finkbeiner, Bernd, Heim, Philippe, Passing, Noemi

Volltext bestellen

Specification Decomposition for Reactive Synthesis von Finkbeiner, Bernd, Geier, Gideon, Passing, Noemi

Volltext bestellen

Reactive Synthesis of Smart Contract Control Flows von Finkbeiner, Bernd, Hofmann, Jana, Kohn, Florian, Passing, Noemi

Volltext bestellen

Dependency-based Compositional Synthesis (Full Version) von Finkbeiner, Bernd, Passing, Noemi

Volltext

Verified Rust Monitors for Lola Specifications von Finkbeiner, Bernd, Oswald, Stefan, Passing, Noemi, Schwenger, Maximilian

Volltext

Representing Pattern Matching Algorithms by Polynomial-Size Automata von Marschall, Tobias, Passing, Noemi E

Volltext bestellen

Temporal Stream Logic modulo Theories (Full Version) von Finkbeiner, Bernd, Heim, Philippe, Passing, Noemi

Volltext

Specification Decomposition for Reactive Synthesis von Finkbeiner, Bernd, Geier, Gideon, Passing, Noemi

Volltext