Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. - Jesko Hecking-Harbusch; Niklas O. Metzger (ATVA, 2019)

aMAZEing Programming - Providing SKILLs to Fellow Students. - Timo P. Gros; Pascal Leo Held; Pascal Lauer; Niklas O. Metzger; Kallistos Weis (SKILL, 2019)

Conservative Hybrid Automata from Development Artifacts. - Niklas Metzger 001; Sanny Schmitt; Maximilian Schwenger (CoRR, 2021)

Temporal Causality in Reactive Systems. - Norine Coenen; Bernd Finkbeiner; Hadar Frenkel; Christopher Hahn; Niklas Metzger 001; Julian Siber (ATVA, 2022)

Explaining Hyperproperty Violations. - Norine Coenen; Raimund Dachselt; Bernd Finkbeiner; Hadar Frenkel; Christopher Hahn; Tom Horak; Niklas Metzger 001; Julian Siber (CAV (1), 2022)

Information Flow Guided Synthesis. - Bernd Finkbeiner; Niklas Metzger 001; Yoram Moses (CAV (2), 2022)

Information Flow Guided Synthesis (Full Version). - Bernd Finkbeiner; Niklas Metzger 001; Yoram Moses (CoRR, 2022)

Attention Flows for General Transformers. - Niklas Metzger 001; Christopher Hahn; Julian Siber; Frederik Schmitt; Bernd Finkbeiner (CoRR, 2022)

Formal Specifications from Natural Language. - Christopher Hahn; Frederik Schmitt; Julia J. Tillman; Niklas Metzger 001; Julian Siber; Bernd Finkbeiner (CoRR, 2022)

Live synthesis. - Bernd Finkbeiner; Felix Klein 001; Niklas Metzger 001 (Innov. Syst. Softw. Eng., 2022)

Visual Analysis of Hyperproperties for Understanding Model Checking Results. - Tom Horak; Norine Coenen; Niklas Metzger 001; Christopher Hahn; Tamara Flemisch; Julián Méndez 001; Dennis Dimov; Bernd Finkbeiner; Raimund Dachselt (IEEE Trans. Vis. Comput. Graph., 2022)

Second-Order Hyperproperties. - Raven Beutner; Bernd Finkbeiner; Hadar Frenkel; Niklas Metzger 001 (CAV (2), 2023)

Monitoring Second-Order Hyperproperties. - Raven Beutner; Bernd Finkbeiner; Hadar Frenkel; Niklas Metzger 001 (AAMAS, 2024)

Synthesis of Temporal Causality. - Bernd Finkbeiner; Hadar Frenkel; Niklas Metzger 001; Julian Siber (CAV (3), 2024)

Information Flow Guided Synthesis with Unbounded Communication. - Bernd Finkbeiner; Niklas Metzger 001; Yoram Moses (CAV (3), 2024)

Synthesis of Universal Safety Controllers. - Bernd Finkbeiner; Niklas Metzger 001; Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (2), 2025)

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025. - Bernd Finkbeiner; Anne-Kathrin Schmuck; Satya Prakash Nayak; Niklas Metzger 001 (Zenodo, 2025)

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025. - Bernd Finkbeiner; Anne-Kathrin Schmuck; Satya Prakash Nayak; Niklas Metzger 001 (Zenodo, 2025)