Bernd Finkbeiner

370 papers A* 17A 19B 66C 5Journal 161Unranked 84
YearRankTypeTitle / Venue / Authors
2026 B conf
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures.
FoSSaCS
Bernd Finkbeiner, Hadar Frenkel, Tim Rohde
2026 J jnl
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Tim Rohde
2026 — conf
Concurrent ∀ ∃-Hyperproperties.
On the Pursuit of Insight and Elegance
Bernd Finkbeiner, Ernst-Rüdiger Olderog
2026 J jnl
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring.
CoRR
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2026 — conf
Dominant Strategies for Hyperproperties.
Engineering Safe and Trustworthy Cyber Physical Systems
Bernd Finkbeiner, Noemi Passing
2026 — conf
Trace Repair for Temporal Behavior Trees.
TACAS (1)
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2026 J jnl
Type-safe Monitoring of Parameterized Streams.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn
2026 A* conf
Universal Safety Controllers with Learned Prophecies.
AAAI
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 B conf
A ROS Adapter for RTLola.
RV
Jan Baumeister, Bernd Finkbeiner, Franz Jünger, Florian Kohn, Sebastian Schirmer, Christoph Torens
2025 J jnl
A Tutorial on Stream-based Monitoring.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
2025 B conf
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach.
RV
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach.
CoRR
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
Almost Fair Simulations.
Proc. ACM Program. Lang.
Arthur Correnson, Iona Kuhn, Bernd Finkbeiner
2025 A* conf
An Information-Flow Perspective on Explainability Requirements: Specification and Verification.
KR
Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2025 J jnl
An Information-Flow Perspective on Explainability Requirements: Specification and Verification.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2025 — conf
An Intermediate Program Representation for Optimizing Stream-Based Languages.
CAV (3)
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
An Intermediate Program Representation for Optimizing Stream-Based Languages.
CoRR
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
Checking Satisfiability of Hyperproperties using First-Order Logic.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 A* conf
Closure and Complexity of Temporal Causality.
LICS
Mishel Carelli, Bernd Finkbeiner, Julian Siber
2025 J jnl
Closure and Complexity of Temporal Causality.
CoRR
Mishel Carelli, Bernd Finkbeiner, Julian Siber
2025 J jnl
Coinductive Proofs for Temporal Hyperliveness.
CoRR
Arthur Correnson, Bernd Finkbeiner
2025 J jnl
Coinductive Proofs for Temporal Hyperliveness.
Proc. ACM Program. Lang.
Arthur Correnson, Bernd Finkbeiner
2025 J jnl
Explainability Requirements as Hyperproperties.
CoRR
Bernd Finkbeiner, Julian Siber
2025 J jnl
Explainability requirements as hyperproperties.
Acta Informatica
Bernd Finkbeiner, Julian Siber
2025 J jnl
Finding ∀∃ Hyperbugs using Symbolic Execution.
CoRR
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2025 J jnl
Learning Representations Through Contrastive Neural Model Checking.
CoRR
Vladimir Krsmanovic, Matthias Cosler, Mohamed Ghanem, Bernd Finkbeiner
2025 J jnl
Logics and Algorithms for Hyperproperties.
CoRR
Bernd Finkbeiner
2025 A conf
Multiplayer Games With Incomplete Information for Hyperproperty Verification.
AAMAS
Raven Beutner, Bernd Finkbeiner
2025 A conf
On Conformant Planning and Model-Checking of ∃
ECAI
Raven Beutner, Bernd Finkbeiner
2025 J jnl
On Conformant Planning and Model-Checking of ∃
CoRR
Raven Beutner, Bernd Finkbeiner
2025 B conf
On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information.
FMCAD
Raven Beutner, Bernd Finkbeiner
2025 J jnl
On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Pacing Types: Safe Monitoring of Asynchronous Streams.
CoRR
Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner
2025 J jnl
Predicate abstraction for hyperliveness verification.
Formal Methods Syst. Des.
Raven Beutner, Bernd Finkbeiner
2025 A* conf
Strategy Logic, Imperfect Information, and Hyperproperties.
KR
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Strategy Logic, Imperfect Information, and Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 — conf
Stream-Based Monitoring of Algorithmic Fairness.
TACAS (1)
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
2025 J jnl
Stream-Based Monitoring of Algorithmic Fairness.
CoRR
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
2025 J jnl
Symbolic execution for refuting ∀∃ hyperproperties.
Acta Informatica
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2025 — conf
Synthesis of Universal Safety Controllers.
TACAS (2)
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Synthesis of Universal Safety Controllers.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Trace Repair for Temporal Behavior Trees.
CoRR
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2025 J jnl
Universal Safety Controllers with Learned Prophecies.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Verifying Asynchronous Hyperproperties in Reactive Systems.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Verifying Asynchronous Hyperproperties in Reactive Systems.
Proc. ACM Program. Lang.
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Visualizing Game-Based Certificates for Hyperproperty Verification.
CoRR
Raven Beutner, Bernd Finkbeiner, Angelina Göbl
2024 — conf
A Tutorial on Stream-Based Monitoring.
FM (2)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
2024 J jnl
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171).
Dagstuhl Reports
S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw
2024 — conf
Checking Satisfiability of Hyperproperties Using First-Order Logic.
ATVA (2)
Raven Beutner, Bernd Finkbeiner
2024 — conf
Counterfactual Explanations for MITL Violations.
FSTTCS
Bernd Finkbeiner, Felix Jahn, Julian Siber
2024 J jnl
Counterfactual Explanations for MITL Violations.
CoRR
Bernd Finkbeiner, Felix Jahn, Julian Siber
2024 J jnl
Finding ∀∃ Hyperbugs using Symbolic Execution.
Proc. ACM Program. Lang.
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2024 A conf
Hyper Strategy Logic.
AAMAS
Raven Beutner, Bernd Finkbeiner
2024 J jnl
Hyper Strategy Logic.
CoRR
Raven Beutner, Bernd Finkbeiner
2024 — conf
Information Flow Guided Synthesis with Unbounded Communication.
CAV (3)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2024 J jnl
Information Flow Guided Synthesis with Unbounded Communication.
CoRR
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2024 A* conf
Learning Better Representations From Less Data For Propositional Satisfiability.
NeurIPS
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
2024 A conf
Monitoring Second-Order Hyperproperties.
AAMAS
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 J jnl
Monitoring Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 — conf
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024 J jnl
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024 J jnl
NeuRes: Learning Proofs of Propositional Satisfiability.
CoRR
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
2024 J jnl
Non-Deterministic Planning for Hyperproperty Verification.
CoRR
Raven Beutner, Bernd Finkbeiner
2024 A* conf
Non-deterministic Planning for Hyperproperty Verification.
ICAPS
Raven Beutner, Bernd Finkbeiner
2024 A* conf
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing.
AAAI
Raven Beutner, Bernd Finkbeiner
2024 B conf
RTLolaMo
RV
Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck
2024 B conf
Stream-Based Monitoring Under Measurement Noise.
RV
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2024 — conf
Syntax-Guided Automated Program Repair for Hyperproperties.
CAV (3)
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024 J jnl
Syntax-Guided Automated Program Repair for Hyperproperties.
CoRR
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024 — conf
Synthesis of Temporal Causality.
CAV (3)
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2024 J jnl
Synthesis of Temporal Causality.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2024 — conf
Temporal Behavior Trees - Segmentation.
HSCC
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2024 — conf
Temporal Behavior Trees: Robustness and Segmentation.
HSCC
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2024 — conf
Ten Years of Petri Games.
Principles of Verification (3)
Bernd Finkbeiner, Ernst-Rüdiger Olderog
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2024 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
TACAS (1)
Bernd Finkbeiner, Laura Kovács
2024 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
TACAS (2)
Bernd Finkbeiner, Laura Kovács
2024 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
TACAS (3)
Bernd Finkbeiner, Laura Kovács
2024 — conf
Visualizing Game-Based Certificates for Hyperproperty Verification.
FM (2)
Raven Beutner, Bernd Finkbeiner, Angelina Göbl
2023 — conf
AutoHyper: Explicit-State Model Checking for HyperLTL.
TACAS (1)
Raven Beutner, Bernd Finkbeiner
2023 J jnl
AutoHyper: Explicit-State Model Checking for HyperLTL.
CoRR
Raven Beutner, Bernd Finkbeiner
2023 — conf
Automata-Based Software Model Checking of Hyperproperties.
NFM
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
2023 J jnl
Automata-Based Software Model Checking of Hyperproperties.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
2023 — conf
Bounded Model Checking for Asynchronous Hyperproperties.
TACAS (1)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023 J jnl
Bounded Model Checking for Asynchronous Hyperproperties.
CoRR
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023 B conf
Checking and Sketching Causes on Temporal Sequences.
ATVA
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2023 — conf
Concurrent Hyperproperties.
Theories of Programming and Formal Methods
Bernd Finkbeiner, Ernst-Rüdiger Olderog
2023 J jnl
Concurrent Hyperproperties.
CoRR
Bernd Finkbeiner, Ernst-Rüdiger Olderog
2023 B conf
Counterfactuals Modulo Temporal Logics.
LPAR
Bernd Finkbeiner, Julian Siber
2023 J jnl
Counterfactuals Modulo Temporal Logics.
CoRR
Bernd Finkbeiner, Julian Siber
2023 J jnl
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems.
Log. Methods Comput. Sci.
Raven Beutner, Bernd Finkbeiner
2023 A* conf
Iterative Circuit Repair Against Formal Specifications.
ICLR
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
2023 J jnl
Iterative Circuit Repair Against Formal Specifications.
CoRR
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
2023 B conf
Leveraging Static Analysis: An IDE for RTLola.
ATVA
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
2023 J jnl
Leveraging Static Analysis: An IDE for RTLola.
CoRR
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
2023 J jnl
Logics and Algorithms for Hyperproperties.
ACM SIGLOG News
Bernd Finkbeiner
2023 B conf
Model Checking Omega-Regular Hyperproperties with AutoHyperQ.
LPAR
Raven Beutner, Bernd Finkbeiner
2023 J jnl
Monitoring with verified guarantees.
Int. J. Softw. Tools Technol. Transf.
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
2023 J jnl
On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing.
CoRR
Raven Beutner, Bernd Finkbeiner
2023 J jnl
On the road with RTLola.
Int. J. Softw. Tools Technol. Transf.
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2023 — conf
Reactive Synthesis of Smart Contract Control Flows.
ATVA (1)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
2023 — conf
Second-Order Hyperproperties.
CAV (2)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2023 J jnl
Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2023 A conf
Smart Contract Synthesis Modulo Hyperproperties.
CSF
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
2023 J jnl
Specification decomposition for reactive synthesis.
Innov. Syst. Softw. Eng.
Bernd Finkbeiner, Gideon Geier, Noemi Passing
2023 J jnl
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391).
Dagstuhl Reports
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
2022 J jnl
A Logic for Hyperproperties in Multi-Agent Systems.
CoRR
Raven Beutner, Bernd Finkbeiner
2022 J jnl
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.
Algorithms
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2022 J jnl
Attention Flows for General Transformers.
CoRR
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
2022 — conf
BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
HSCC
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
2022 A* conf
Can reactive synthesis and syntax-guided synthesis be friends?
PLDI
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
2022 J jnl
Compositional synthesis of modular systems.
Innov. Syst. Softw. Eng.
Bernd Finkbeiner, Noemi Passing
2022 A* conf
Deciding Hyperproperties Combined with Functional Specifications.
LICS
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022 J jnl
Deciding Hyperproperties Combined with Functional Specifications.
CoRR
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022 — conf
Explaining Hyperproperty Violations.
CAV (1)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Explaining Hyperproperty Violations.
CoRR
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Formal Specifications from Natural Language.
CoRR
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
2022 B conf
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
CSL
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2022 J jnl
Information Flow Guided Synthesis (Full Version).
CoRR
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2022 — conf
Information Flow Guided Synthesis.
CAV (2)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2022 J jnl
Live synthesis.
Innov. Syst. Softw. Eng.
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2022 A conf
Prophecy Variables for Hyperproperty Verification.
CSF
Raven Beutner, Bernd Finkbeiner
2022 J jnl
Prophecy Variables for Hyperproperty Verification.
CoRR
Raven Beutner, Bernd Finkbeiner
2022 J jnl
Reactive Synthesis of Smart Contract Control Flows.
CoRR
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
2022 B conf
Real-Time Visualization of Stream-Based Monitoring Data.
RV
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
2022 J jnl
Real-time Visualization of Stream-based Monitoring Data.
CoRR
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
2022 J jnl
Runtime Enforcement of Hyperproperties.
CoRR
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
2022 J jnl
Smart Contract Synthesis Modulo Hyperproperties.
CoRR
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
2022 — conf
Software Verification of Hyperproperties Beyond k-Safety.
CAV (1)
Raven Beutner, Bernd Finkbeiner
2022 J jnl
Software Verification of Hyperproperties Beyond k-Safety.
CoRR
Raven Beutner, Bernd Finkbeiner
2022 J jnl
Synthesizing Dominant Strategies for Liveness (Full Version).
CoRR
Bernd Finkbeiner, Noemi Passing
2022 — conf
Synthesizing Dominant Strategies for Liveness.
FSTTCS
Bernd Finkbeiner, Noemi Passing
2022 B conf
Temporal Causality in Reactive Systems.
ATVA
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
2022 B conf
Temporal Stream Logic modulo Theories.
FoSSaCS
Bernd Finkbeiner, Philippe Heim, Noemi Passing
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2022 B ed.
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
VMCAI
Bernd Finkbeiner, Thomas Wies
2022 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
IEEE Trans. Vis. Comput. Graph.
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
2021 — conf
A Temporal Logic for Asynchronous Hyperproperties.
CAV (1)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2021 J jnl
A Temporal Logic for Asynchronous Hyperproperties.
CoRR
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2021 B conf
A Temporal Logic for Strategic Hyperproperties.
CONCUR
Raven Beutner, Bernd Finkbeiner
2021 J jnl
A Temporal Logic for Strategic Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner
2021 — conf
Causality-Based Game Solving.
CAV (1)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021 J jnl
Causality-Based Game Solving.
CoRR
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021 J jnl
Compositional Synthesis of Modular Systems (Full Version).
CoRR
Bernd Finkbeiner, Noemi Passing
2021 B conf
Compositional Synthesis of Modular Systems.
ATVA
Bernd Finkbeiner, Noemi Passing
2021 J jnl
Controller Synthesis for Hyperproperties.
CoRR
Borzoo Bonakdarpour, Bernd Finkbeiner
2021 J jnl
Efficient Monitoring of Hyperproperties using Prefix Trees.
CoRR
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2021 J jnl
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2021 J jnl
Introduction to the special issue of the 19th International Conference on Runtime Verification.
Int. J. Softw. Tools Technol. Transf.
Bernd Finkbeiner, Leonardo Mariani
2021 — conf
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
FSTTCS
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2021 B conf
Live Synthesis.
ATVA
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2021 J jnl
Live Synthesis.
CoRR
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2021 B conf
Model Checking Algorithms for Hyperproperties (Invited Paper).
VMCAI
Bernd Finkbeiner
2021 J jnl
Model Checking Algorithms for Hyperproperties.
CoRR
Bernd Finkbeiner
2021 B conf
Monitoring with Verified Guarantees.
RV
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
2021 J jnl
Monitoring with Verified Guarantees.
CoRR
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
2021 A* conf
Neural Circuit Synthesis from Specification Patterns.
NeurIPS
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
2021 J jnl
Neural Circuit Synthesis from Specification Patterns.
CoRR
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
2021 J jnl
Program Repair for Hyperproperties.
CoRR
Borzoo Bonakdarpour, Bernd Finkbeiner
2021 — conf
RTLola on Board: Testing Real Driving Emissions on your Phone.
TACAS (2)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2021 J jnl
RTLola on Board: Testing Real Driving Emissions on your Phone.
CoRR
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2021 J jnl
Realizing Omega-regular Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2021 B conf
Runtime Enforcement of Hyperproperties.
ATVA
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
2021 J jnl
Specification Decomposition for Reactive Synthesis (Full Version).
CoRR
Bernd Finkbeiner, Gideon Geier, Noemi Passing
2021 — conf
Specification Decomposition for Reactive Synthesis.
NFM
Bernd Finkbeiner, Gideon Geier, Noemi Passing
2021 J jnl
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
CoRR
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
2021 A* conf
Teaching Temporal Logics to Neural Networks.
ICLR
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner
2021 J jnl
Temporal Stream Logic modulo Theories.
CoRR
Bernd Finkbeiner, Philippe Heim, Noemi Passing
2021 J jnl
The Complexity of Monitoring Hyperproperties.
CoRR
Borzoo Bonakdarpour, Bernd Finkbeiner
2021 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
CoRR
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
2020 J jnl
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version).
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 — conf
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.
CAV (2)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 J jnl
Approximate Automata for Omega-Regular Languages.
CoRR
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020 B conf
Automatic Optimizations for Stream-Based Monitoring Languages.
RV
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
2020 J jnl
Automatic Optimizations for Stream-based Monitoring Languages.
CoRR
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
2020 J jnl
Canonical Representations of k-Safety Hyperproperties.
CoRR
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
2020 A conf
Controller Synthesis for Hyperproperties.
CSF
Borzoo Bonakdarpour, Bernd Finkbeiner
2020 B conf
Dependency-Based Compositional Synthesis.
ATVA
Bernd Finkbeiner, Noemi Passing
2020 J jnl
Dependency-based Compositional Synthesis (Full Version).
CoRR
Bernd Finkbeiner, Noemi Passing
2020 J jnl
Efficient monitoring of hyperproperties using prefix trees.
Int. J. Softw. Tools Technol. Transf.
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2020 B conf
Explainable Reactive Synthesis.
ATVA
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
2020 J jnl
Explainable Reactive Synthesis.
CoRR
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
2020 J jnl
FPGA Stream-Monitoring of Real-time Properties.
CoRR
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2020 — ed.
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Fields of Logic and Computation III
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
2020 B conf
How to Win First-Order Safety Games.
VMCAI
Helmut Seidl, Christian Müller, Bernd Finkbeiner
2020 J jnl
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity.
CoRR
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2020 J jnl
Model Checking Branching Properties on Petri Nets with Transits (Full Version).
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 B conf
Model Checking Branching Properties on Petri Nets with Transits.
ATVA
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 B conf
Probabilistic Hyperproperties of Markov Decision Processes.
ATVA
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020 J jnl
Probabilistic Hyperproperties of Markov Decision Processes.
CoRR
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020 — conf
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 J jnl
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CoRR
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 — conf
Realizing ømega-regular Hyperproperties.
CAV (2)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2020 J jnl
Synthesis from hyperproperties.
Acta Informatica
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2020 J jnl
Synthesizing Approximate Implementations for Unrealizable Specifications.
CoRR
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2020 J jnl
Teaching Temporal Logics to Neural Networks.
CoRR
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt
2020 J jnl
The Hierarchy of Hyperlogics.
CoRR
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
2020 B conf
Verified Rust Monitors for Lola Specifications.
RV
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
2020 J jnl
Verified Rust Monitors for Lola Specifications.
CoRR
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
2020 J jnl
Verifying Hyperliveness.
CoRR
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
2019 B conf
Approximate Automata for Omega-Regular Languages.
ATVA
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2019 A conf
Canonical Representations of k-Safety Hyperproperties.
CSF
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
2019 J jnl
FPGA Stream-Monitoring of Real-time Properties.
ACM Trans. Embed. Comput. Syst.
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2019 J jnl
How to Win First-Order Safety Games.
CoRR
Helmut Seidl, Christian Müller, Bernd Finkbeiner
2019 J jnl
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃
CoRR
Bernd Finkbeiner, Christopher Hahn, Tobias Hans
2019 J jnl
Model Checking Data Flows in Concurrent Network Updates (Full Version).
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2019 B conf
Model Checking Data Flows in Concurrent Network Updates.
ATVA
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2019 J jnl
Model Checking Quantitative Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
2019 J jnl
Monitoring hyperproperties.
Formal Methods Syst. Des.
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2019 — ed.
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018.
CREST
Bernd Finkbeiner, Samantha Kleinberg
2019 B conf
Program Repair for Hyperproperties.
ATVA
Borzoo Bonakdarpour, Bernd Finkbeiner
2019 J jnl
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2019 B ed.
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
RV
Bernd Finkbeiner, Leonardo Mariani
2019 — conf
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.
CAV (1)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
2019 — conf
Synthesizing Approximate Implementations for Unrealizable Specifications.
CAV (1)
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
2019 J jnl
Synthesizing Functional Reactive Programs.
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 J jnl
Synthesizing Reactive Systems from Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2019 — conf
Synthesizing functional reactive programs.
Haskell@ICFP
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 B conf
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
FMCAD
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
2019 — conf
Temporal Stream Logic: Synthesis Beyond the Bools.
CAV (1)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
2019 A* conf
The Hierarchy of Hyperlogics.
LICS
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
2019 J jnl
Translating Asynchronous Games for Distributed Synthesis (Full Version).
CoRR
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
2019 B conf
Translating Asynchronous Games for Distributed Synthesis.
CONCUR
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
2019 — conf
Verifying Hyperliveness.
CAV (1)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
2018 J jnl
BoSy: An Experimentation Framework for Bounded Synthesis.
CoRR
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
2018 B conf
Bounded Synthesis of Reactive Programs.
ATVA
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
2018 J jnl
Bounded Synthesis of Reactive Programs.
CoRR
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
2018 J jnl
Encodings of Bounded Synthesis.
CoRR
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
2018 J jnl
Facets of Software Doping.
CoRR
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
2018 B conf
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment.
ATVA
Bernd Finkbeiner, Christopher Hahn, Tobias Hans
2018 — conf
Model Checking Quantitative Hyperproperties.
CAV (1)
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
2018 J jnl
Monitoring Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2018 J jnl
Preface for the special issue for ATVA 2015.
Acta Informatica
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
2018 — conf
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.
TACAS (2)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2018 J jnl
Reactive Synthesis: Towards Output-Sensitive Algorithms.
CoRR
Bernd Finkbeiner, Felix Klein
2018 J jnl
Stream Runtime Monitoring on UAS.
CoRR
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
2018 — conf
Synthesizing Reactive Systems from Hyperproperties.
CAV (1)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2018 J jnl
Synthesizing Skeletons for Reactive Systems.
CoRR
Bernd Finkbeiner, Hazem Torfah
2018 A conf
The Complexity of Monitoring Hyperproperties.
CSF
Borzoo Bonakdarpour, Bernd Finkbeiner
2018 J jnl
The Density of Linear-time Properties.
CoRR
Bernd Finkbeiner, Hazem Torfah
2018 J jnl
Vehicle Platooning Simulations with Functional Reactive Programming.
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 — conf
BoSy: An Experimentation Framework for Bounded Synthesis.
CAV (2)
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
2017 — conf
Causality-based Model Checking.
CREST
Bernd Finkbeiner, Andrey Kupriyanov
2017 — conf
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
CAV (2)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger
2017 — conf
Encodings of Bounded Synthesis.
TACAS (1)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
2017 A conf
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
ESOP
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
2017 J jnl
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
2017 B conf
Monitoring Hyperproperties.
RV
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2017 J jnl
Petri games: Synthesis of distributed systems with causal memory.
Inf. Comput.
Bernd Finkbeiner, Ernst-Rüdiger Olderog
2017 — ch.
Reactive Synthesis: Towards Output-Sensitive Algorithms.
Dependable Software Systems Engineering
Bernd Finkbeiner, Felix Klein
2017 J jnl
Real-time Stream-based Monitoring.
CoRR
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2017 B conf
Stream Runtime Monitoring on UAS.
RV
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
2017 — conf
Symbolic vs. Bounded Synthesis for Petri Games.
SYNT@CAV
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2017 — conf
Symmetric Synthesis.
FSTTCS
Rüdiger Ehlers, Bernd Finkbeiner
2017 J jnl
Symmetric Synthesis.
CoRR
Rüdiger Ehlers, Bernd Finkbeiner
2017 — conf
Synthesis in Distributed Environments.
FSTTCS
Bernd Finkbeiner, Paul Gölz
2017 J jnl
Synthesis in Distributed Environments.
CoRR
Bernd Finkbeiner, Paul Gölz
2017 J jnl
Temporal Hyperproperties.
Bull. EATCS
Bernd Finkbeiner
2017 J jnl
Temporal Stream Logic: Synthesis beyond the Bools.
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 — conf
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
SYNT@CAV
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
2017 B conf
The Density of Linear-Time Properties.
ATVA
Bernd Finkbeiner, Hazem Torfah
2017 A conf
The First-Order Logic of Hyperproperties.
STACS
Bernd Finkbeiner, Martin Zimmermann
2017 — conf
Vehicle Platooning Simulations with Functional Reactive Programming.
SCAV@CPSWeek
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 A* conf
Verifying Security Policies in Multi-agent Workflows with Loops.
CCS
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu
2017 J jnl
Verifying Security Policies in Multi-agent Workflows with Loops.
CoRR
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu
2016 B conf
A Stream-Based Specification Language for Network Monitoring.
RV
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
2016 — conf
Bounded Cycle Synthesis.
CAV (1)
Bernd Finkbeiner, Felix Klein
2016 J jnl
Bounded Cycle Synthesis.
CoRR
Bernd Finkbeiner, Felix Klein
2016 B conf
Deciding Hyperproperties.
CONCUR
Bernd Finkbeiner, Christopher Hahn
2016 J jnl
Deciding Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn
2016 — conf
Facets of Software Doping.
ISoLA (2)
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
2016 B conf
Runtime Verification for HyperLTL.
RV
Borzoo Bonakdarpour, Bernd Finkbeiner
2016 J jnl
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Informatica
Bernd Finkbeiner, César Sánchez
2016 B conf
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.
ATVA
Bernd Finkbeiner, Helmut Seidl, Christian Müller
2016 — ch.
Synthesis of Reactive Systems.
Dependable Software Systems Engineering
Bernd Finkbeiner
2016 B conf
Synthesizing Skeletons for Reactive Systems.
ATVA
Bernd Finkbeiner, Hazem Torfah
2016 J jnl
The First-Order Logic of Hyperproperties.
CoRR
Bernd Finkbeiner, Martin Zimmermann
2016 B conf
Verifying hyperproperties of hardware systems.
FMCAD
Bernd Finkbeiner, Markus N. Rabe
2016 — conf
What You Really Need To Know About Your Neighbor.
SYNT@CAV
Werner Damm, Bernd Finkbeiner, Astrid Rakow
2015 — conf
Adam: Causality-Based Synthesis of Distributed Systems.
CAV (1)
Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
2015 — conf
Algorithms for Model Checking HyperLTL and HyperCTL ^*.
CAV (1)
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
2015 B ed.
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
ATVA
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
2015 — conf
Bounded Synthesis for Petri Games.
Correct System Design
Bernd Finkbeiner
2015 J jnl
Detecting Unrealizability of Distributed Fault-tolerant Systems.
Log. Methods Comput. Sci.
Bernd Finkbeiner, Leander Tentrup
2015 — ed.
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
2014 B conf
Automatic Compositional Synthesis of Distributed Systems.
FM
Werner Damm, Bernd Finkbeiner
2014 A* conf
Causal Termination of Multi-threaded Programs.
CAV
Andrey Kupriyanov, Bernd Finkbeiner
2014 C conf
Counting Models of Linear-Time Temporal Logic.
LATA
Bernd Finkbeiner, Hazem Torfah
2014 A conf
Detecting Unrealizable Specifications of Distributed Systems.
TACAS
Bernd Finkbeiner, Leander Tentrup
2014 A conf
Fast DQBF Refutation.
SAT
Bernd Finkbeiner, Leander Tentrup
2014 B conf
Monitoring Parametric Temporal Logic.
VMCAI
Peter Faymonville, Bernd Finkbeiner, Doron A. Peled
2014 — conf
Petri Games: Synthesis of Distributed Systems with Causal Memory.
GandALF
Bernd Finkbeiner, Ernst-Rüdiger Olderog
2014 — ed.
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013.
SYNT
Bernd Finkbeiner, Armando Solar-Lezama
2014 — conf
Temporal Logics for Hyperproperties.
POST
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
2014 J jnl
Temporal Logics for Hyperproperties.
CoRR
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
2014 J jnl
The linear-hyper-branching spectrum of temporal logics.
it Inf. Technol.
Bernd Finkbeiner, Markus N. Rabe
2013 J jnl
A Temporal Logic for Hyperproperties.
CoRR
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
2013 J jnl
Bounded synthesis.
Int. J. Softw. Tools Technol. Transf.
Bernd Finkbeiner, Sven Schewe
2013 B conf
Causality-Based Verification of Multi-threaded Programs.
CONCUR
Andrey Kupriyanov, Bernd Finkbeiner
2013 — conf
Lossy Channel Games under Incomplete Information
SR
Rayna Dimitrova, Bernd Finkbeiner
2013 A* conf
Relational abstract interpretation for the verification of 2-hypersafety properties.
CCS
Máté Kovács, Helmut Seidl, Bernd Finkbeiner
2013 — conf
Transforming Undecidable Synthesis Problems into Decidable Problems.
VPT@CAV
Bernd Finkbeiner
2012 — conf
Counterexample-Guided Synthesis of Observation Predicates.
FORMATS
Rayna Dimitrova, Bernd Finkbeiner
2012 J jnl
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
Log. Methods Comput. Sci.
Lars Kuhtz, Bernd Finkbeiner
2012 — conf
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.
Infotech@Aerospace
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
2012 B conf
Lazy Synthesis.
VMCAI
Bernd Finkbeiner, Swen Jacobs
2012 B conf
Model Checking Information Flow in Reactive Systems.
VMCAI
Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
2012 — conf
Monitoring Temporal Information Flow.
ISoLA (1)
Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
2012 — ed.
Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012.
IWIGP
Johannes Reich, Bernd Finkbeiner
2012 A conf
Template-Based Controller Synthesis for Timed Systems.
TACAS
Bernd Finkbeiner, Hans-Jörg Peter
2012 — conf
The Complexity of Bounded Synthesis for Timed Control with Partial Observability.
FORMATS
Hans-Jörg Peter, Bernd Finkbeiner
2011 B conf
Does It Pay to Extend the Perimeter of a World Model?
FM
Werner Damm, Bernd Finkbeiner
2011 B conf
Monitoring Realizability.
RV
Rüdiger Ehlers, Bernd Finkbeiner
2011 — ed.
Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011.
iWIGP
Johannes Reich, Bernd Finkbeiner
2011 — conf
Reactive Safety
GandALF
Rüdiger Ehlers, Bernd Finkbeiner
2011 B conf
Weak Kripke Structures and LTL.
CONCUR
Lars Kuhtz, Bernd Finkbeiner
2010 B conf
Coordination Logic.
CSL
Bernd Finkbeiner, Sven Schewe
2010 C conf
Model Checking the FlexRay Physical Layer Protocol.
FMICS
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
2010 — conf
On the Virtue of Patience: Minimizing Büchi Automata.
SPIN
Rüdiger Ehlers, Bernd Finkbeiner
2010 — conf
Preface.
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2010 — ed.
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2010 B ed.
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
RV
Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
2010 A conf
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.
TACAS
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
2010 J jnl
Synthesising certificates in networks of timed automata.
IET Softw.
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
2009 J jnl
Directed model checking with distance-preserving abstractions.
Int. J. Softw. Tools Technol. Transf.
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
2009 — conf
LTL Path Checking Is Efficiently Parallelizable.
ICALP (2)
Lars Kuhtz, Bernd Finkbeiner
2009 B conf
Monitor Circuits for LTL with Bounded and Unbounded Future.
RV
Bernd Finkbeiner, Lars Kuhtz
2009 — conf
Preface.
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2009 — ed.
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2009 B conf
Synthesis of Fault-Tolerant Distributed Systems.
ATVA
Rayna Dimitrova, Bernd Finkbeiner
2008 — conf
Abstraction Refinement for Games with Incomplete Information.
FSTTCS
Rayna Dimitrova, Bernd Finkbeiner
2008 — conf
Preface.
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2008 — ed.
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2008 A conf
RESY: Requirement Synthesis for Compositional Model Checking.
TACAS
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
2008 B ed.
Runtime Verification, 02.01. - 06.01.2007
Runtime Verification
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2008 J jnl
Slicing Abstractions.
Fundam. Informaticae
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
2008 B conf
Subsequence Invariants.
CONCUR
Klaus Dräger, Bernd Finkbeiner
2008 A conf
Synthesizing Certificates in Networks of Timed Automata.
RTSS
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
2007 B conf
07011 Abstracts Collection -- Runtime Verification.
Runtime Verification
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007 B conf
07011 Executive Summary -- Runtime Verification.
Runtime Verification
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007 B conf
Bounded Synthesis.
ATVA
Sven Schewe, Bernd Finkbeiner
2007 B conf
Distributed Synthesis for Alternating-Time Logics.
ATVA
Sven Schewe, Bernd Finkbeiner
2007 — conf
Preface.
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2007 — ed.
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2007 J jnl
Semi-automatic Distributed Synthesis.
Int. J. Found. Comput. Sci.
Sven Schewe, Bernd Finkbeiner
2007 — conf
Slicing Abstractions.
FSEN
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
2007 A conf
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
2006 C conf
Automatic Synthesis of Assumptions for Compositional Model Checking.
FORTE
Bernd Finkbeiner, Sven Schewe, Matthias Brill
2006 — conf
Directed Model Checking with Distance-Preserving Abstractions.
SPIN
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
2006 — conf
Preface.
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2006 — ed.
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005
RV@CAV
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma
2006 — ed.
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2006 B conf
Satisfiability and Finite Model Property for the Alternating-Time
CSL
Sven Schewe, Bernd Finkbeiner
2006 C conf
Synthesis of Asynchronous Systems.
LOPSTR
Sven Schewe, Bernd Finkbeiner
2005 J jnl
Collecting Statistics Over Runtime Executions.
Formal Methods Syst. Des.
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
2005 C conf
LOLA: Runtime Monitoring of Synchronous Systems.
TIME
Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
2005 — conf
Preface.
RV@CAV
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma
2005 B conf
Semi-automatic Distributed Synthesis.
ATVA
Bernd Finkbeiner, Sven Schewe
2005 A* conf
Uniform Distributed Synthesis.
LICS
Bernd Finkbeiner, Sven Schewe
2004 J jnl
Checking Finite Traces Using Alternating Automata.
Formal Methods Syst. Des.
Bernd Finkbeiner, Henny Sipma
2002 — conf
Collecting Statistics over Runtime Executions.
RV@FLoC
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
2002 — —
Verification algorithms based on alternating automata.
Bernd Finkbeiner
2001 — conf
Checking Finite Traces using Alternating Automata.
RV@CAV
Bernd Finkbeiner, Henny Sipma
2001 A conf
Language Containment Checking with Nondeterministic BDDs.
TACAS
Bernd Finkbeiner
2000 J jnl
The 'Cash-Point' Service: A Verification Case Study Using STeP.
Formal Aspects Comput.
Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
2000 J jnl
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.
Formal Methods Syst. Des.
Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
1998 — conf
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.
Tool Support for System Specification, Development and Verification
Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
1997 — conf
Abstraction and Modular Verification of Infinite-State Reactive Systems.
Requirements Targeting Software and Systems Engineering
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
1997 — conf
Deductive Verification of Modular Systems.
COMPOS
Bernd Finkbeiner, Zohar Manna, Henny Sipma