Bernd Finkbeiner

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 216

Top Venues

CoRR

ATVA

CAV (1)

Publications

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) (2024)
Raven Beutner, Bernd Finkbeiner
Hyper Strategy Logic. AAMAS (2024)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CAV (3) (2024)
Raven Beutner, Bernd Finkbeiner
Non-deterministic Planning for Hyperproperty Verification. ICAPS (2024)
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees - Segmentation. HSCC (2024)
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) (2024)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) (2024)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR (2024)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis with Unbounded Communication. CoRR (2024)
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees: Robustness and Segmentation. HSCC (2024)
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
NeuRes: Learning Proofs of Propositional Satisfiability. CoRR (2024)
Raven Beutner, Bernd Finkbeiner
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. AAAI (2024)
Raven Beutner, Bernd Finkbeiner
Non-Deterministic Planning for Hyperproperty Verification. CoRR (2024)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Synthesis of Temporal Causality. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. AAMAS (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. CoRR (2024)
Raven Beutner, Bernd Finkbeiner
Hyper Strategy Logic. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CoRR (2023)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) (2023)
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with verified guarantees. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Raven Beutner, Bernd Finkbeiner
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems. Log. Methods Comput. Sci. 19 (2) (2023)
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
Leveraging Static Analysis: An IDE for RTLola. ATVA (2023)
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Concurrent Hyperproperties. Theories of Programming and Formal Methods (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. CoRR (2023)
Raven Beutner, Bernd Finkbeiner
Model Checking Omega-Regular Hyperproperties with AutoHyperQ. LPAR (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CAV (2) (2023)
Raven Beutner, Bernd Finkbeiner
On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing. CoRR (2023)
Raven Beutner, Bernd Finkbeiner
AutoHyper: Explicit-State Model Checking for HyperLTL. TACAS (1) (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. ICLR (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
Checking and Sketching Causes on Temporal Sequences. ATVA (2023)
Bernd Finkbeiner
Logics and Algorithms for Hyperproperties. ACM SIGLOG News 10 (2) (2023)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Raven Beutner, Bernd Finkbeiner
AutoHyper: Explicit-State Model Checking for HyperLTL. CoRR (2023)
Bernd Finkbeiner, Julian Siber
Counterfactuals Modulo Temporal Logics. LPAR (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. CoRR (2023)
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
Automata-Based Software Model Checking of Hyperproperties. CoRR (2023)
Bernd Finkbeiner, Julian Siber
Counterfactuals Modulo Temporal Logics. CoRR (2023)
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). Dagstuhl Reports 13 (9) (2023)
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification decomposition for reactive synthesis. Innov. Syst. Softw. Eng. 19 (4) (2023)
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
Automata-Based Software Model Checking of Hyperproperties. NFM (2023)
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CSF (2023)
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Concurrent Hyperproperties. CoRR (2023)
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
Leveraging Static Analysis: An IDE for RTLola. CoRR (2023)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. CoRR (2022)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live synthesis. Innov. Syst. Softw. Eng. 18 (3) (2022)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. CoRR (2022)
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
Real-time Visualization of Stream-based Monitoring Data. CoRR (2022)
Bernd Finkbeiner, Noemi Passing
Compositional synthesis of modular systems. Innov. Syst. Softw. Eng. 18 (3) (2022)
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. LICS (2022)
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
Can reactive synthesis and syntax-guided synthesis be friends? PLDI (2022)
Raven Beutner, Bernd Finkbeiner
Prophecy Variables for Hyperproperty Verification. CSF (2022)
Bernd Finkbeiner, Noemi Passing
Synthesizing Dominant Strategies for Liveness. FSTTCS (2022)
Raven Beutner, Bernd Finkbeiner
Software Verification of Hyperproperties Beyond k-Safety. CAV (1) (2022)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL (2022)
Raven Beutner, Bernd Finkbeiner
Prophecy Variables for Hyperproperty Verification. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CoRR (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CAV (1) (2022)
Raven Beutner, Bernd Finkbeiner
Software Verification of Hyperproperties Beyond k-Safety. CoRR (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
Temporal Causality in Reactive Systems. ATVA (2022)
Bernd Finkbeiner, Noemi Passing
Synthesizing Dominant Strategies for Liveness (Full Version). CoRR (2022)
Raven Beutner, Bernd Finkbeiner
A Logic for Hyperproperties in Multi-Agent Systems. CoRR (2022)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis. CAV (2) (2022)
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
Real-Time Visualization of Stream-Based Monitoring Data. RV (2022)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28 (1) (2022)
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC (2022)
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
Attention Flows for General Transformers. CoRR (2022)
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15 (4) (2022)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. CoRR (2022)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis (Full Version). CoRR (2022)
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
Formal Specifications from Natural Language. CoRR (2022)
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal Stream Logic modulo Theories. FoSSaCS (2022)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CAV (1) (2021)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. ATVA (2021)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CoRR (2021)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) (2021)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. CoRR (2021)
Borzoo Bonakdarpour, Bernd Finkbeiner
The Complexity of Monitoring Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR (2021)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live Synthesis. CoRR (2021)
Borzoo Bonakdarpour, Bernd Finkbeiner
Controller Synthesis for Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Noemi Passing
Compositional Synthesis of Modular Systems (Full Version). CoRR (2021)
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Noemi Passing
Compositional Synthesis of Modular Systems. ATVA (2021)
Borzoo Bonakdarpour, Bernd Finkbeiner
Program Repair for Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal Stream Logic modulo Theories. CoRR (2021)
Bernd Finkbeiner
Model Checking Algorithms for Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification Decomposition for Reactive Synthesis (Full Version). CoRR (2021)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR (2021)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. NeurIPS (2021)
Raven Beutner, Bernd Finkbeiner
A Temporal Logic for Strategic Hyperproperties. CONCUR (2021)
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with Verified Guarantees. RV (2021)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR (2021)
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner
Teaching Temporal Logics to Neural Networks. ICLR (2021)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Realizing Omega-regular Hyperproperties. CoRR (2021)
Raven Beutner, Bernd Finkbeiner
A Temporal Logic for Strategic Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Live Synthesis. ATVA (2021)

Bernd Finkbeiner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd Finkbeiner