Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Dr. Noemi Passing
Now at
VECTOR Informatik
Publications
While being a member of this group or in collaboration with us.
Reactive Synthesis of Smart Contract Control Flows
Bernd Finkbeiner
,
Jana Hofmann
,
Florian Kohn
and
Noemi Passing
·
ATVA 2023
Synthesizing Dominant Strategies for Liveness
Bernd Finkbeiner
and
Noemi Passing
·
FSTTCS 2022
Specification decomposition for reactive synthesis
Bernd Finkbeiner
,
Gideon Geier
and
Noemi Passing
·
ISSE 2022
BOCoSy: Small but Powerful Symbolic Output-Feedback Control
Bernd Finkbeiner
,
Kaushik Mallik
,
Noemi Passing
,
Malte Schledjewski
and
Anne-Kathrin Schmuck
·
HSCC 2022
Compositional synthesis of modular systems
Bernd Finkbeiner
and
Noemi Passing
·
ISSE 2022
Temporal Stream Logic modulo Theories
Bernd Finkbeiner
,
Philippe Heim
and
Noemi Passing
·
FoSSaCS 2022
Compositional Synthesis of Modular Systems
Bernd Finkbeiner
and
Noemi Passing
·
ATVA 2021
Specification Decomposition for Reactive Synthesis
Bernd Finkbeiner
,
Gideon Geier
and
Noemi Passing
·
NFM 2021
Automatic Optimizations for Runtime Verification Specifications
Jan Baumeister
,
Bernd Finkbeiner
,
Matthis Kruse
,
Stefan Oswald
,
Noemi Passing
and
Maximilian Schwenger
·
MT-CPS 2021
Dependency-based Compositional Synthesis
Bernd Finkbeiner
and
Noemi Passing
·
ATVA 2020
Verified Rust Monitors for Lola Specifications
Bernd Finkbeiner
,
Stefan Oswald
,
Noemi Passing
and
Maximilian Schwenger
·
RV 2020
Advised Theses and Student Projects
An Efficient Automaton Construction for Synthesizing Dominant Strategies
Sanny Schmitt
·
Master Thesis
Structured Program Synthesis from Temporal Stream Logic Specifications
Peter Gastauer
·
Bachelor Thesis
Teaching Activities
From Program Verification to Synthesis
Advisor
·
Reactive Systems Group
·
Summer 2022
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses