Number of items: 142.
Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Siber, Julian
(2023)
Checking and Sketching Causes on Temporal Sequences.
(Submitted)
Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Metzger, Niklas
(2023)
Second-Order Hyperproperties.
Finkbeiner, Bernd and Frenkel, Hadar and Hofmann, Jana and Janine, Lohse
(2023)
Automata-Based Software Model Checking of Hyperproperties.
Finkbeiner, Bernd and Siber, Julian
(2023)
Counterfactuals Modulo Temporal Logics.
Cosler, Matthias and Schmitt, Frederik and Hahn, Christopher and Finkbeiner, Bernd
(2023)
Iterative Circuit Repair Against Formal Specifications.
Finkbeiner, Bernd
(2023)
Logics and Algorithms for Hyperproperties.
ACM SIGLOG News, 10 (2).
pp. 4-23.
ISSN 2372-3491
Finkbeiner, Bernd and Passing, Noemi
(2022)
Synthesizing Dominant Strategies for Liveness.
(In Press)
Coenen, Norine and Finkbeiner, Bernd and Frenkel, Hadar and Hahn, Christopher and Metzger, Niklas and Siber, Julian
(2022)
Temporal Causality in Reactive Systems.
(In Press)
Baumeister, Jan and Finkbeiner, Bernd and Gumhold, Stefan and Schledjewski, Malte
(2022)
Real-time Visualization of Stream-based Monitoring Data.
(In Press)
Beutner, Raven and Finkbeiner, Bernd
(2022)
Prophecy Variables for Hyperproperty Verification.
(In Press)
Beutner, Raven and Finkbeiner, Bernd
(2022)
Software Verification of Hyperproperties Beyond k-Safety.
(In Press)
Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi
(2022)
Specification decomposition for reactive synthesis.
Innovations in Systems and Software Engineering.
Choi, Wonhyuk and Finkbeiner, Bernd and Piskac, Ruzica and Santolucito, Mark
(2022)
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Coenen, Norine and Dachselt, Raimund and Finkbeiner, Bernd and Frenkel, Hadar and Hahn, Christopher and Horak, Tom and Metzger, Niklas and Siber, Julian
(2022)
Explaining Hyperproperty Violations.
(Submitted)
Finkbeiner, Bernd and Mallik, Kaushik and Passing, Noemi and Schledjewski, Malte and Schmuck, Anne-Kathrin
(2022)
BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
Finkbeiner, Bernd and Metzger, Niklas and Moses, Yoram
(2022)
Information Flow Guided Synthesis.
(Unpublished)
Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Krötzsch, Markus
(2022)
Deciding Hyperproperties Combined with Functional Specifications.
(In Press)
Finkbeiner, Bernd and Fränzle, Martin and Kohn, Florian and Kröger, Paul
(2022)
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.
Algorithms, 15 (4).
Finkbeiner, Bernd and Passing, Noemi
(2022)
Compositional synthesis of modular systems.
Innovations in Systems and Software Engineering.
Finkbeiner, Bernd and Klein, Felix and Metzger, Niklas
(2022)
Live synthesis.
Innovations in Systems and Software Engineering.
ISSN 1614-5046
Finkbeiner, Bernd and Heim, Philippe and Passing, Noemi
(2022)
Temporal Stream Logic modulo Theories.
Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-Rüdiger
(2022)
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
Virtema, Jonni and Hofmann, Jana and Finkbeiner, Bernd and Kontinen, Juha and Yang, Fan
(2021)
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
Schmitt, Frederik and Hahn, Christopher and Rabe, Markus N. and Finkbeiner, Bernd
(2021)
Neural Circuit Synthesis from Specification Patterns.
Horak, Tom and Coenen, Norine and Metzger, Niklas and Hahn, Christopher and Flemisch, Tamara and Méndez, Julián and Dimov, Dennis and Finkbeiner, Bernd and Dachselt, Raimund
(2021)
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
Finkbeiner, Bernd and Passing, Noemi
(2021)
Compositional Synthesis of Modular Systems.
(In Press)
Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana and Schillo, Yannick
(2021)
Runtime Enforcement of Hyperproperties.
Finkbeiner, Bernd and Klein, Felix and Metzger, Niklas
(2021)
Live Synthesis.
Dauer, Johann C. and Finkbeiner, Bernd and Schirmer, Sebastian
(2021)
Monitoring with Verified Guarantees.
Schmitt, Frederik and Hahn, Christopher and Kreber, Jens U. and Rabe, Markus N. and Finkbeiner, Bernd
(2021)
Deep Learning for Temporal Logics.
(Unpublished)
Beutner, Raven and Finkbeiner, Bernd
(2021)
A Temporal Logic for Strategic Hyperproperties.
Finkbeiner, Bernd and Schmitt, Frederik
(2021)
Künstliche Intelligenz in der Softwareentwicklung: Über die Schulter geschaut.
iX Magazin für professionelle Informationstechnik (8).
pp. 40-43.
ISSN 0935-9680
Baier, Christel and Coenen, Norine and Finkbeiner, Bernd and Funke, Florian and Jantsch, Simon and Siber, Julian
(2021)
Causality-Based Game Solving.
Baumeister, Jan and Coenen, Norine and Bonakdarpour, Borzoo and Finkbeiner, Bernd and Sánchez, César
(2021)
A Temporal Logic for Asynchronous Hyperproperties.
Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi
(2021)
Specification Decomposition for Reactive Synthesis.
(In Press)
Finkbeiner, Bernd and Keller, Andreas and Schmidt, Jessica and Schwenger, Maximilian
(2021)
Robust Monitoring for Medical Cyber-Physical Systems.
Hahn, Christopher and Schmitt, Frederik and Kreber, Jens U. and Rabe, Markus Norman and Finkbeiner, Bernd
(2021)
Teaching Temporal Logics to Neural Networks.
Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger and Köhl, Maximilian A. and Schnitzer, Yannik and Schwenger, Maximilian
(2021)
RTLola on Board: Testing Real Driving Emissions on your Phone.
Finkbeiner, Bernd
(2021)
Model Checking Algorithms for Hyperproperties (Invited Paper).
Finkbeiner, Bernd and Passing, Noemi
(2020)
Dependency-based Compositional Synthesis.
Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-Rüdiger
(2020)
Model Checking Branching Properties on Petri Nets with Transits.
Dimitrova, Rayna and Finkbeiner, Bernd and Torfah, Hazem
(2020)
Probabilistic Hyperproperties of Markov Decision Processes.
Finkbeiner, Bernd and Oswald, Stefan and Passing, Noemi and Schwenger, Maximilian
(2020)
Verified Rust Monitors for Lola Specifications.
Baumeister, Tom and Finkbeiner, Bernd and Torfah, Hazem
(2020)
Explainable Reactive Synthesis.
Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana
(2020)
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective.
Baumeister, Jan and Finkbeiner, Bernd and Kruse, Matthis and Schwenger, Maximilian
(2020)
Automatic Optimizations for Stream-based Monitoring Languages.
(In Press)
Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana and Tentrup, Leander
(2020)
Realizing Omega-regular Hyperproperties.
Finkbeiner, Bernd and Schmidt, Jessica and Schwenger, Maximilian
(2020)
Simplex Architecture Meets RTLola.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2020)
Efficient monitoring of hyperproperties using prefix trees.
International Journal on Software Tools for Technology Transfer.
ISSN 1433-2779
Seidl, Helmut and Müller, Christian and Finkbeiner, Bernd
(2020)
How to Win First-Order Safety Games.
Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-Rüdiger
(2020)
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.
Baumeister, Jan and Finkbeiner, Bernd and Schirmer, Sebastian and Schwenger, Maximilian and Torens, Christoph
(2020)
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
Baumeister, Jan and Finkbeiner, Bernd and Schwenger, Maximilian and Torfah, Hazem
(2019)
FPGA Stream-Monitoring of Real-time Properties.
ACM Trans. Embed. Comput. Syst., 18 (5s).
88:1-88:24.
Beutner, Raven and Finkbeiner, Bernd and Hecking-Harbusch, Jesko
(2019)
Translating Asynchronous Games for Distributed
Synthesis.
Faymonville, Peter and Finkbeiner, Bernd and Schledjewski, Malte and Schwenger, Maximilian and Tentrup, Leander and Torfah, Hazem
(2019)
Real-time Stream Monitoring with StreamLAB.
Dimitrova, Rayna and Finkbeiner, Bernd and Torfah, Hazem
(2019)
Approximate Automata for Omega-Regular Languages.
Finkbeiner, Bernd and Haas, Lennart and Torfah, Hazem
(2019)
Canonical Representations of k-Safety Hyperproperties.
Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana
(2019)
The Hierarchy of Hyperlogics.
Finkbeiner, Bernd and Gieseking, Manuel and Olderog, Ernst-Rüdiger and Hecking-Harbusch, Jesko
(2019)
Model Checking Data Flows in Concurrent Network Updates.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2019)
Monitoring hyperproperties.
Formal Methods Syst. Des., 54 (3).
pp. 336-363.
Bonakdarpour, Borzoo and Finkbeiner, Bernd
(2019)
Program Repair for Hyperproperties.
Faymonville, Peter and Finkbeiner, Bernd and Schledjewski, Malte and Schwenger, Maximilian and Stenger, Marvin and Tentrup, Leander and Torfah, Hazem
(2019)
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.
Dimitrova, Rayna and Finkbeiner, Bernd and Torfah, Hazem
(2019)
Synthesizing Approximate Implementations for Unrealizable Specifications.
Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark
(2019)
Synthesizing functional reactive programs.
Geier, Gideon and Heim, Philippe and Klein, Felix and Finkbeiner, Bernd
(2019)
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark
(2019)
Temporal Stream Logic: Synthesis beyond the Bools.
Coenen, Norine and Finkbeiner, Bernd and Sanchez, Cesar and Tentrup, Leander
(2019)
Verifying Hyperliveness.
Bonakdarpour, B. and Finkbeiner, Bernd
(2018)
The Complexity of Monitoring Hyperproperties.
Gerstacker, Carsten and Klein, Felix and Finkbeiner, Bernd
(2018)
Bounded Synthesis of Reactive Programs.
Finkbeiner, Bernd and Hahn, Christopher and Hans, Tobias
(2018)
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists* \forall* Fragment.
Finkbeiner, Bernd and Hahn, Christopher and Torfah, Hazem
(2018)
Model Checking Quantitative Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2018)
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher and Lukert, Philip and Stenger, Marvin and Tentrup, Leander
(2018)
Synthesizing Reactive Systems from Hyperproperties.
Jacobs, Swen and Basset, Nicolas and Bloem, Roderick and Brenguier, Romain and Colange, Maximilien and Faymonville, Peter and Finkbeiner, Bernd and Khalimov, Ayrat and Klein, Felix and Michaud, Thibaud and Perez, Guillermo A. and Raskin, Jean-Francois and Sankur, Ocan and Tentrup, Leander
(2017)
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
Faymonville, Peter and Finkbeiner, Bernd and Tentrup, Leander
(2017)
BoSy: An Experimentation Framework for Bounded Synthesis.
Finkbeiner, Bernd and Kupriyanov, Andrey
(2017)
Causality-based Model Checking.
Finkbeiner, Bernd and Torfah, Hazem
(2017)
The Density of Linear-Time Properties.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin
(2017)
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
Faymonville, Peter and Finkbeiner, Bernd and Rabe, Markus N. and Tentrup, Leander
(2017)
Encodings of Bounded Synthesis.
Finkbeiner, Bernd and Zimmermann, Martin
(2017)
The First-Order Logic of Hyperproperties.
D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017)
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017)
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR, abs/17.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2017)
Monitoring Hyperproperties.
Finkbeiner, Bernd and Klein, Felix
(2017)
Reactive Synthesis: Towards Output-Sensitive Algorithms.
In:
Dependable Software Systems Engineering.
UNSPECIFIED, 25–43.
Faymonville, Peter and Finkbeiner, Bernd and Schwenger, Maximilian and Torfah, Hazem
(2017)
Real-time Stream-based Monitoring.
CoRR, abs/17.
Adolf, Florian-Michael and Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torens, Christoph
(2017)
Stream Runtime Monitoring on UAS.
Finkbeiner, Bernd and Gieseking, Manuel and and Ernst-Rüdiger Olderog, Jesko Hecking-Harbusch
(2017)
Symbolic vs. Bounded Synthesis for Petri Games.
Ehlers, Rüdiger and Finkbeiner, Bernd
(2017)
Symmetric Synthesis.
Ehlers, Rüdiger and Finkbeiner, Bernd
(2017)
Symmetric Synthesis.
CoRR, abs/17.
Finkbeiner, Bernd and Gölz, Paul
(2017)
Synthesis in Distributed Environments.
Finkbeiner, Bernd and Gölz, Paul
(2017)
Synthesis in Distributed Environments.
CoRR, abs/17.
Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark
(2017)
Synthesizing Functional Reactive Programs.
CoRR, abs/17.
Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark
(2017)
Vehicle Platooning Simulations with Functional Reactive Programming.
Finkbeiner, Bernd and Müller, Christian and Seidl, Helmut and Zalinescu, Eugen
(2017)
Verifying Security Policies in Multi-agent Workflows with Loops.
Bonakdarpour, Borzoo and Finkbeiner, Bernd
(2016)
Runtime Verification for HyperLTL.
Finkbeiner, Bernd and Seidl, Helmut and Müller, Christian
(2016)
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.
Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torfah, Hazem
(2016)
A Stream-Based Specification Language for Network Monitoring.
Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid
(2016)
What You Really Need To Know About Your Neighbor.
Finkbeiner, Bernd and Klein, Felix
(2016)
Bounded Cycle Synthesis.
Finkbeiner, Bernd and Klein, Felix
(2016)
Bounded Cycle Synthesis.
CoRR, abs/16.
Finkbeiner, Bernd and Hahn, Christopher
(2016)
Deciding Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher
(2016)
Deciding Hyperproperties.
CoRR, abs/16.
Barthe, Gilles and D'Argenio, Pedro R. and Finkbeiner, Bernd and Hermanns, Holger
(2016)
Facets of Software Doping.
Finkbeiner, Bernd and Zimmermann, Martin
(2016)
The First-Order Logic of Hyperproperties.
CoRR, abs/16.
Finkbeiner, Bernd and Sánchez, César
(2016)
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Inf., 53 (4).
325–326.
Finkbeiner, Bernd
(2016)
Synthesis of Reactive Systems.
In:
Dependable Software Systems Engineering.
UNSPECIFIED, 72–98.
Finkbeiner, Bernd and Torfah, Hazem
(2016)
Synthesizing Skeletons for Reactive Systems.
Finkbeiner, Bernd and Rabe, Markus N.
(2016)
Verifying hyperproperties of hardware systems.
Finkbeiner, Bernd and Gieseking, Manuel and Olderog, Ernst-Rüdiger
(2015)
Adam: Causality-Based Synthesis of Distributed Systems.
Finkbeiner, Bernd and Rabe, Markus N. and Sanchez, Cesar
(2015)
Algorithms for Model Checking HyperLTL and HyperCTL ^*.
Finkbeiner, Bernd
(2015)
Bounded Synthesis for Petri Games.
Finkbeiner, Bernd and Tentrup, Leander
(2015)
Detecting Unrealizability of Distributed Fault-tolerant Systems.
Logical Methods in Computer Science, 11 (3).
Damm, Werner and Finkbeiner, Bernd
(2014)
Automatic Compositional Synthesis of Distributed Systems.
Kupriyanov, Andrey and Finkbeiner, Bernd
(2014)
Causal Termination of Multi-threaded Programs.
Finkbeiner, Bernd and Torfah, Hazem
(2014)
Counting Models of Linear-Time Temporal Logic.
Finkbeiner, Bernd and Tentrup, Leander
(2014)
Detecting Unrealizable Specifications of Distributed Systems.
Finkbeiner, Bernd and Tentrup, Leander
(2014)
Fast DQBF refutation.
Faymonville, Peter and Finkbeiner, Bernd and Peled, Doron
(2014)
Monitoring Parametric Temporal Logic.
Finkbeiner, Bernd and Olderog, Ernst-Rüdiger
(2014)
Petri Games: Synthesis of Distributed Systems with Causal Memory.
Clarkson, Michael R. and Finkbeiner, Bernd and Koleini, Masoud and Micinski, Kristopher K. and Rabe, Markus N. and Sanchez, Cesar
(2014)
Temporal Logics for Hyperproperties.
Clarkson, Michael R. and Finkbeiner, Bernd and Koleini, Masoud and Micinski, Kristopher K. and Rabe, Markus N. and Sánchez, César
(2014)
Temporal Logics for Hyperproperties.
CoRR, abs/14.
Finkbeiner, Bernd and Rabe, Markus N.
(2014)
The linear-hyper-branching spectrum of temporal logics.
it - Information Technology, 56 (6).
273–279.
Finkbeiner, Bernd and Seidl, Helmut and Kovács, Máté
(2013)
Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties.
Finkbeiner, Bernd and Schewe, Sven
(2013)
Bounded synthesis.
Kupriyanov, Andrey and Finkbeiner, Bernd
(2013)
Causality-Based Verification of Multi-threaded Programs.
Dimitrova, Rayna and Finkbeiner, Bernd
(2013)
Lossy Channel Games under Incomplete Information.
Kovács, Máté and Seidl, Helmut and Finkbeiner, Bernd
(2013)
Relational abstract interpretation for the verification of 2-hypersafety properties.
Finkbeiner, Bernd and Rabe, Markus N. and Sánchez, César
(2013)
A Temporal Logic for Hyperproperties.
CoRR, abs/13.
Finkbeiner, Bernd
(2013)
Transforming Undecidable Synthesis Problems into Decidable Problems.
Peter, Hans-Jörg and Finkbeiner, Bernd
(2012)
The Complexity of Bounded Synthesis for Timed Control with Partial Observability.
Dimitrova, Rayna and Finkbeiner, Bernd
(2012)
Counterexample-Guided Synthesis of Observation Predicates.
Kuhtz, Lars and Finkbeiner, Bernd
(2012)
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds.
Finkbeiner, Bernd and Jacobs, Swen
(2012)
Lazy Synthesis.
Dimitrova, Rayna and Finkbeiner, Bernd and Kovács, Máté and Rabe, Markus N. and Seidl, Helmut
(2012)
Model Checking Information Flow in Reactive Systems.
Ehlers, Rüdiger and Finkbeiner, Bernd
(2012)
Monitoring Realizability.
Dimitrova, Rayna and Finkbeiner, Bernd and Rabe, Markus N.
(2012)
Monitoring Temporal Information Flow.
Finkbeiner, Bernd and Peter, Hans-Jörg
(2012)
Template-Based Controller Synthesis for Timed Systems.
Gerke, Michael and Ehlers, Rüdiger and Finkbeiner, Bernd and Peter, Hans-Jörg
(2012)
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.
Damm, Werner and Finkbeiner, Bernd
(2011)
Does It Pay to Extend the Perimeter of a World Model?
Ehlers, Rüdiger and Finkbeiner, Bernd
(2011)
Reactive Safety.
Finkbeiner, Bernd and Kuhtz, Lars
(2011)
Weak Kripke Structures and LTL.
Kupferschmid, Sebastian and Drager, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Dierks, Henning and Podelski, Andreas and Behrmann, Gerd
(2007)
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
This list was generated on Wed Dec 11 10:44:06 2024 CET.