Bernd Finkbeiner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
136
Venues
32
Active years
2001–2026
Best venue rank
A*
Where they publish
- A*CAV28 papers
- BATVA24 papers
- ATACAS14 papers
- BRV14 papers
- BCONCUR6 papers
- BFM5 papers
- BVMCAI5 papers
- A*LICS4 papers
- A*KR3 papers
- BFMCAD3 papers
- BCSL3 papers
- A*AAAI2 papers
- BFOSSACS2 papers
- A*ICLR2 papers
- BLPAR2 papers
- A*CCS2 papers
- CISoLA2 papers
- BITP1 paper
- AECAI1 paper
- A*ICAPS1 paper
- A*PLDI1 paper
- CHASKELL1 paper
- AESOP1 paper
- ASTACS1 paper
- CLATA1 paper
- ASAT1 paper
- CFMICS1 paper
- A*ICALP1 paper
- ARTSS1 paper
- CFORTE1 paper
- CLOPSTR1 paper
- CTIME1 paper
Papers
136 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Universal Safety Controllers with Learned Prophecies. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2026 | CAV | Differentially Private Runtime Monitoring. | Bernd Finkbeiner, Frederik Scheerer |
| 2026 | FM | Pacing Types for Asynchronous Stream Equations. | Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner |
| 2026 | FOSSACS | Complexity of Model Checking Second-Order Hyperproperties on Finite Structures. | Bernd Finkbeiner, Hadar Frenkel, Tim Rohde |
| 2026 | ITP | Completing Almost Fair Simulations. | Arthur Correnson, Iona Kuhn, Bernd Finkbeiner |
| 2026 | KR | Knowledge Compilation for Quantification in Alternating Automata. | S. Akshay, Alfredo Cantarella, Supratik Chakraborty, Bernd Finkbeiner, Niklas Metzger |
| 2026 | TACAS | Trace Repair for Temporal Behavior Trees. | Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan |
| 2025 | CAV | An Intermediate Program Representation for Optimizing Stream-Based Languages. | Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer |
| 2025 | ECAI | On Conformant Planning and Model-Checking of ∃ | Raven Beutner, Bernd Finkbeiner |
| 2025 | FMCAD | On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information. | Raven Beutner, Bernd Finkbeiner |
| 2025 | KR | Strategy Logic, Imperfect Information, and Hyperproperties. | Raven Beutner, Bernd Finkbeiner |
| 2025 | KR | An Information-Flow Perspective on Explainability Requirements: Specification and Verification. | Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2025 | LICS | Closure and Complexity of Temporal Causality. | Mishel Carelli, Bernd Finkbeiner, Julian Siber |
| 2025 | RV | A ROS Adapter for RTLola. | Jan Baumeister, Bernd Finkbeiner, Franz Jnger, Florian Kohn, Sebastian Schirmer, Christoph Torens |
| 2025 | RV | Active Monitoring with RTLola: A Specification-Guided Scheduling Approach. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer |
| 2025 | TACAS | Stream-Based Monitoring of Algorithmic Fairness. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil |
| 2025 | TACAS | Synthesis of Universal Safety Controllers. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | AAAI | On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. | Raven Beutner, Bernd Finkbeiner |
| 2024 | ATVA | Checking Satisfiability of Hyperproperties Using First-Order Logic. | Raven Beutner, Bernd Finkbeiner |
| 2024 | CAV | Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Lhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens |
| 2024 | CAV | Syntax-Guided Automated Program Repair for Hyperproperties. | Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2024 | CAV | Synthesis of Temporal Causality. | Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber |
| 2024 | CAV | Information Flow Guided Synthesis with Unbounded Communication. | Bernd Finkbeiner, Niklas Metzger, Yoram Moses |
| 2024 | FM | A Tutorial on Stream-Based Monitoring. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer |
| 2024 | FM | Visualizing Game-Based Certificates for Hyperproperty Verification. | Raven Beutner, Bernd Finkbeiner, Angelina Gbl |
| 2024 | ICAPS | Non-deterministic Planning for Hyperproperty Verification. | Raven Beutner, Bernd Finkbeiner |
| 2024 | RV | RTLolaMo | Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck |
| 2024 | RV | Stream-Based Monitoring Under Measurement Noise. | Bernd Finkbeiner, Martin Frnzle, Florian Kohn, Paul Krger |
| 2023 | ATVA | Checking and Sketching Causes on Temporal Sequences. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2023 | ATVA | Reactive Synthesis of Smart Contract Control Flows. | Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing |
| 2023 | ATVA | Leveraging Static Analysis: An IDE for RTLola. | Bernd Finkbeiner, Florian Kohn, Malte Schledjewski |
| 2023 | CAV | Second-Order Hyperproperties. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger |
| 2023 | ICLR | Iterative Circuit Repair Against Formal Specifications. | Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner |
| 2023 | LPAR | Model Checking Omega-Regular Hyperproperties with AutoHyperQ. | Raven Beutner, Bernd Finkbeiner |
| 2023 | LPAR | Counterfactuals Modulo Temporal Logics. | Bernd Finkbeiner, Julian Siber |
| 2023 | TACAS | AutoHyper: Explicit-State Model Checking for HyperLTL. | Raven Beutner, Bernd Finkbeiner |
| 2023 | TACAS | Bounded Model Checking for Asynchronous Hyperproperties. | Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2022 | ATVA | Temporal Causality in Reactive Systems. | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | CAV | Software Verification of Hyperproperties Beyond k-Safety. | Raven Beutner, Bernd Finkbeiner |
| 2022 | CAV | Explaining Hyperproperty Violations. | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber |
| 2022 | CAV | Information Flow Guided Synthesis. | Bernd Finkbeiner, Niklas Metzger, Yoram Moses |
| 2022 | CSL | Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2022 | FOSSACS | Temporal Stream Logic modulo Theories. | Bernd Finkbeiner, Philippe Heim, Noemi Passing |
| 2022 | LICS | Deciding Hyperproperties Combined with Functional Specifications. | Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krtzsch |
| 2022 | PLDI | Can reactive synthesis and syntax-guided synthesis be friends? | Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito |
| 2022 | RV | Real-Time Visualization of Stream-Based Monitoring Data. | Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski |
| 2021 | ATVA | Runtime Enforcement of Hyperproperties. | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo |
| 2021 | ATVA | Live Synthesis. | Bernd Finkbeiner, Felix Klein, Niklas Metzger |
| 2021 | ATVA | Compositional Synthesis of Modular Systems. | Bernd Finkbeiner, Noemi Passing |
| 2021 | CAV | Causality-Based Game Solving. | Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber |
| 2021 | CAV | A Temporal Logic for Asynchronous Hyperproperties. | Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2021 | CONCUR | A Temporal Logic for Strategic Hyperproperties. | Raven Beutner, Bernd Finkbeiner |
| 2021 | ICLR | Teaching Temporal Logics to Neural Networks. | Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner |
| 2021 | RV | Monitoring with Verified Guarantees. | Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
| 2021 | TACAS | RTLola on Board: Testing Real Driving Emissions on your Phone. | Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Khl, Yannik Schnitzer, Maximilian Schwenger |
| 2021 | VMCAI | Model Checking Algorithms for Hyperproperties (Invited Paper). | Bernd Finkbeiner |
| 2020 | ATVA | Explainable Reactive Synthesis. | Tom Baumeister, Bernd Finkbeiner, Hazem Torfah |
| 2020 | ATVA | Probabilistic Hyperproperties of Markov Decision Processes. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2020 | ATVA | Model Checking Branching Properties on Petri Nets with Transits. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2020 | ATVA | Dependency-Based Compositional Synthesis. | Bernd Finkbeiner, Noemi Passing |
| 2020 | CAV | RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. | Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens |
| 2020 | CAV | AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2020 | CAV | Realizing mega-regular Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup |
| 2020 | RV | Automatic Optimizations for Stream-Based Monitoring Languages. | Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger |
| 2020 | RV | Verified Rust Monitors for Lola Specifications. | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
| 2020 | VMCAI | How to Win First-Order Safety Games. | Helmut Seidl, Christian Mller, Bernd Finkbeiner |
| 2019 | ATVA | Program Repair for Hyperproperties. | Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2019 | ATVA | Approximate Automata for Omega-Regular Languages. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2019 | ATVA | Model Checking Data Flows in Concurrent Network Updates. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2019 | CAV | Verifying Hyperliveness. | Norine Coenen, Bernd Finkbeiner, Csar Snchez, Leander Tentrup |
| 2019 | CAV | Synthesizing Approximate Implementations for Unrealizable Specifications. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2019 | CAV | StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. | Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah |
| 2019 | CAV | Temporal Stream Logic: Synthesis Beyond the Bools. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2019 | CONCUR | Translating Asynchronous Games for Distributed Synthesis. | Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch |
| 2019 | FMCAD | Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. | Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner |
| 2019 | HASKELL | Synthesizing functional reactive programs. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2019 | LICS | The Hierarchy of Hyperlogics. | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann |
| 2018 | ATVA | MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. | Bernd Finkbeiner, Christopher Hahn, Tobias Hans |
| 2018 | ATVA | Bounded Synthesis of Reactive Programs. | Carsten Gerstacker, Felix Klein, Bernd Finkbeiner |
| 2018 | CAV | Synthesizing Reactive Systems from Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup |
| 2018 | CAV | Model Checking Quantitative Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Hazem Torfah |
| 2018 | TACAS | RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2017 | ATVA | The Density of Linear-Time Properties. | Bernd Finkbeiner, Hazem Torfah |
| 2017 | CAV | BoSy: An Experimentation Framework for Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Leander Tentrup |
| 2017 | CAV | EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger |
| 2017 | CCS | Verifying Security Policies in Multi-agent Workflows with Loops. | Bernd Finkbeiner, Christian Mller, Helmut Seidl, Eugen Zalinescu |
| 2017 | ESOP | Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. | Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns |
| 2017 | STACS | The First-Order Logic of Hyperproperties. | Bernd Finkbeiner, Martin Zimmermann |
| 2017 | RV | Stream Runtime Monitoring on UAS. | Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens |
| 2017 | RV | Monitoring Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2017 | TACAS | Encodings of Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup |
| 2016 | ATVA | Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. | Bernd Finkbeiner, Helmut Seidl, Christian Mller |
| 2016 | ATVA | Synthesizing Skeletons for Reactive Systems. | Bernd Finkbeiner, Hazem Torfah |
| 2016 | CAV | Bounded Cycle Synthesis. | Bernd Finkbeiner, Felix Klein |
| 2016 | CONCUR | Deciding Hyperproperties. | Bernd Finkbeiner, Christopher Hahn |
| 2016 | FMCAD | Verifying hyperproperties of hardware systems. | Bernd Finkbeiner, Markus N. Rabe |
| 2016 | ISoLA | Facets of Software Doping. | Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns |
| 2016 | RV | Runtime Verification for HyperLTL. | Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2016 | RV | A Stream-Based Specification Language for Network Monitoring. | Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |
| 2015 | CAV | Adam: Causality-Based Synthesis of Distributed Systems. | Bernd Finkbeiner, Manuel Gieseking, Ernst-Rdiger Olderog |
| 2015 | CAV | Algorithms for Model Checking HyperLTL and HyperCTL ^*. | Bernd Finkbeiner, Markus N. Rabe, Csar Snchez |
| 2014 | CAV | Causal Termination of Multi-threaded Programs. | Andrey Kupriyanov, Bernd Finkbeiner |
| 2014 | FM | Automatic Compositional Synthesis of Distributed Systems. | Werner Damm, Bernd Finkbeiner |
| 2014 | LATA | Counting Models of Linear-Time Temporal Logic. | Bernd Finkbeiner, Hazem Torfah |
| 2014 | SAT | Fast DQBF Refutation. | Bernd Finkbeiner, Leander Tentrup |
| 2014 | TACAS | Detecting Unrealizable Specifications of Distributed Systems. | Bernd Finkbeiner, Leander Tentrup |
| 2014 | VMCAI | Monitoring Parametric Temporal Logic. | Peter Faymonville, Bernd Finkbeiner, Doron A. Peled |
| 2013 | CAV | Transforming Undecidable Synthesis Problems into Decidable Problems. | Bernd Finkbeiner |
| 2013 | CCS | Relational abstract interpretation for the verification of 2-hypersafety properties. | Mt Kovcs, Helmut Seidl, Bernd Finkbeiner |
| 2013 | CONCUR | Causality-Based Verification of Multi-threaded Programs. | Andrey Kupriyanov, Bernd Finkbeiner |
| 2012 | ISoLA | Monitoring Temporal Information Flow. | Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe |
| 2012 | TACAS | Template-Based Controller Synthesis for Timed Systems. | Bernd Finkbeiner, Hans-Jrg Peter |
| 2012 | VMCAI | Model Checking Information Flow in Reactive Systems. | Rayna Dimitrova, Bernd Finkbeiner, Mt Kovcs, Markus N. Rabe, Helmut Seidl |
| 2012 | VMCAI | Lazy Synthesis. | Bernd Finkbeiner, Swen Jacobs |
| 2011 | CONCUR | Weak Kripke Structures and LTL. | Lars Kuhtz, Bernd Finkbeiner |
| 2011 | FM | Does It Pay to Extend the Perimeter of a World Model? | Werner Damm, Bernd Finkbeiner |
| 2011 | RV | Monitoring Realizability. | Rdiger Ehlers, Bernd Finkbeiner |
| 2010 | CSL | Coordination Logic. | Bernd Finkbeiner, Sven Schewe |
| 2010 | FMICS | Model Checking the FlexRay Physical Layer Protocol. | Michael Gerke, Rdiger Ehlers, Bernd Finkbeiner, Hans-Jrg Peter |
| 2010 | TACAS | SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. | Klaus Drger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim |
| 2009 | ATVA | Synthesis of Fault-Tolerant Distributed Systems. | Rayna Dimitrova, Bernd Finkbeiner |
| 2009 | ICALP | LTL Path Checking Is Efficiently Parallelizable. | Lars Kuhtz, Bernd Finkbeiner |
| 2009 | RV | Monitor Circuits for LTL with Bounded and Unbounded Future. | Bernd Finkbeiner, Lars Kuhtz |
| 2008 | CONCUR | Subsequence Invariants. | Klaus Drger, Bernd Finkbeiner |
| 2008 | RTSS | Synthesizing Certificates in Networks of Timed Automata. | Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe |
| 2008 | TACAS | RESY: Requirement Synthesis for Compositional Model Checking. | Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe |
| 2007 | ATVA | Distributed Synthesis for Alternating-Time Logics. | Sven Schewe, Bernd Finkbeiner |
| 2007 | ATVA | Bounded Synthesis. | Sven Schewe, Bernd Finkbeiner |
| 2007 | TACAS | Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. | Sebastian Kupferschmid, Klaus Drger, Jrg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann |
| 2006 | CSL | Satisfiability and Finite Model Property for the Alternating-Time | Sven Schewe, Bernd Finkbeiner |
| 2006 | FORTE | Automatic Synthesis of Assumptions for Compositional Model Checking. | Bernd Finkbeiner, Sven Schewe, Matthias Brill |
| 2006 | LOPSTR | Synthesis of Asynchronous Systems. | Sven Schewe, Bernd Finkbeiner |
| 2005 | ATVA | Semi-automatic Distributed Synthesis. | Bernd Finkbeiner, Sven Schewe |
| 2005 | LICS | Uniform Distributed Synthesis. | Bernd Finkbeiner, Sven Schewe |
| 2005 | TIME | LOLA: Runtime Monitoring of Synchronous Systems. | Ben D'Angelo, Sriram Sankaranarayanan, Csar Snchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna |
| 2001 | TACAS | Language Containment Checking with Nondeterministic BDDs. | Bernd Finkbeiner |