default search action

combined dblp search
author search
venue search
publication search

ask others

Bernd Finkbeiner

> Home > Persons

Person information

affiliation: Saarland University, Saarbrücken, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c106]
- view
- export record
  dblp key:
  - conf/vmcai/Finkbeiner21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Finkbeiner21
Bernd Finkbeiner:
Model Checking Algorithms for Hyperproperties (Invited Paper). VMCAI 2021: 3-16
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07109
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR abs/2101.07109 (2021)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07161
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing Omega-regular Hyperproperties. CoRR abs/2101.07161 (2021)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07232
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07232
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR abs/2101.07232 (2021)
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07847
Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CoRR abs/2101.07847 (2021)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08257
Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. CoRR abs/2101.08257 (2021)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08880
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08880
Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CoRR abs/2101.08880 (2021)
2020
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/FinkbeinerHLST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FinkbeinerHLST20
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesis from hyperproperties. Acta Informatica 57(1-2): 137-163 (2020)
[j27]
- view
- export record
  dblp key:
  - journals/sttt/FinkbeinerHST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FinkbeinerHST20
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. 22(6): 729-740 (2020)
[c105]
- view
- export record
  dblp key:
  - conf/atva/FinkbeinerGHO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerGHO20
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits. ATVA 2020: 394-410
[c104]
- view
- export record
  dblp key:
  - conf/atva/BaumeisterFT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BaumeisterFT20
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. ATVA 2020: 413-428
[c103]
- view
- export record
  dblp key:
  - conf/atva/FinkbeinerP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerP20
Bernd Finkbeiner, Noemi E. Passing:
Dependency-Based Compositional Synthesis. ATVA 2020: 447-463
[c102]
- view
- export record
  dblp key:
  - conf/atva/DimitrovaFT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaFT20
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. ATVA 2020: 484-500
[c101]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/BaumeisterFSST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaumeisterFSST20
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CAV (2) 2020: 28-39
[c100]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/FinkbeinerHHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHHT20
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing ømega-regular Hyperproperties. CAV (2) 2020: 40-63
[c99]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/FinkbeinerGHO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerGHO20
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) 2020: 64-76
[c98]
- view
- export record
  dblp key:
  - conf/csfw/BonakdarpourF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BonakdarpourF20
Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CSF 2020: 366-379
[c97]
- view
- export record
  dblp key:
  - conf/rv/FinkbeinerOPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerOPS20
Bernd Finkbeiner, Stefan Oswald, Noemi E. Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. RV 2020: 431-450
[c96]
- view
- export record
  dblp key:
  - conf/rv/BaumeisterFKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BaumeisterFKS20
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-Based Monitoring Languages. RV 2020: 451-461
[c95]
- view
- export record
  dblp key:
  - conf/vmcai/SeidlMF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SeidlMF20
Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. VMCAI 2020: 426-448
[e10]
- view
- export record
  dblp key:
  - conf/birthday/2020gurevich
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2020gurevich
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9 [contents]
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-04218
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-04218
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt:
Teaching Temporal Logics to Neural Networks. CoRR abs/2003.04218 (2020)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-12477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-12477
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. CoRR abs/2003.12477 (2020)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-06488
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-06488
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CoRR abs/2004.06488 (2020)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-03362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-03362
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. CoRR abs/2005.03362 (2020)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05934
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05934
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. CoRR abs/2005.05934 (2020)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07130
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07130
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). CoRR abs/2005.07130 (2020)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07425
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CoRR abs/2005.07425 (2020)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-06941
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-06941
Bernd Finkbeiner, Noemi E. Passing:
Dependency-based Compositional Synthesis (Full Version). CoRR abs/2007.06941 (2020)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-07235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-07235
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR abs/2007.07235 (2020)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-03311
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-03311
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR abs/2010.03311 (2020)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-13344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-13344
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-based Monitoring Languages. CoRR abs/2011.13344 (2020)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-08961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-08961
Bernd Finkbeiner, Stefan Oswald, Noemi E. Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. CoRR abs/2012.08961 (2020)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14582
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14582
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. CoRR abs/2012.14582 (2020)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14586
Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CoRR abs/2012.14586 (2020)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14590
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. CoRR abs/2012.14590 (2020)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14592
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14592
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR abs/2012.14592 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/FinkbeinerHST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FinkbeinerHST19
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring hyperproperties. Formal Methods Syst. Des. 54(3): 336-363 (2019)
[j25]
- view
- export record
  dblp key:
  - journals/tecs/BaumeisterFST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/BaumeisterFST19
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. 18(5s): 88:1-88:24 (2019)
[c94]
- view
- export record
  dblp key:
  - conf/atva/DimitrovaFT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaFT19
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349
[c93]
- view
- export record
  dblp key:
  - conf/atva/BonakdarpourF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BonakdarpourF19
Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. ATVA 2019: 423-441
[c92]
- view
- export record
  dblp key:
  - conf/atva/FinkbeinerGHO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerGHO19
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates. ATVA 2019: 515-533
[c91]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/CoenenFST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CoenenFST19
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CAV (1) 2019: 121-139
[c90]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/DimitrovaFT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DimitrovaFT19
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) 2019: 241-258
[c89]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/FaymonvilleFSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FaymonvilleFSSS19
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah:
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) 2019: 421-431
[c88]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/Finkbeiner0PS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Finkbeiner0PS19
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) 2019: 609-629
[c87]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/concur/BeutnerFH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BeutnerFH19
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch:
Translating Asynchronous Games for Distributed Synthesis. CONCUR 2019: 26:1-26:16
[c86]
- view
- export record
  dblp key:
  - conf/csfw/FinkbeinerHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FinkbeinerHT19
Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CSF 2019: 17-31
[c85]
- view
- export record
  dblp key:
  - conf/fmcad/GeierH0F19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GeierH0F19
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD 2019: 138-146
[c84]
- view
- export record
  dblp key:
  - conf/haskell/Finkbeiner0PS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Finkbeiner0PS19
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing functional reactive programs. Haskell@ICFP 2019: 162-175
[c83]
- view
- export record
  dblp key:
  - conf/lics/CoenenFHH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CoenenFHH19
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. LICS 2019: 1-13
[e9]
- view
- export record
  dblp key:
  - conf/rv/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2019
Bernd Finkbeiner, Leonardo Mariani:
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11757, Springer 2019, ISBN 978-3-030-32078-2 [contents]
[e8]
- view
- export record
  dblp key:
  - journals/corr/abs-1901-00073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-00073
Bernd Finkbeiner, Samantha Kleinberg:
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. EPTCS 286, 2019 [contents]
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-11138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11138
Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment. CoRR abs/1903.11138 (2019)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07736
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:
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR abs/1904.07736 (2019)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09825
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09825
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1905.09825 (2019)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13511
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13511
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CoRR abs/1905.13511 (2019)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13514
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CoRR abs/1905.13514 (2019)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-00798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-00798
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR abs/1906.00798 (2019)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-00829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-00829
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch:
Translating Asynchronous Games for Distributed Synthesis (Full Version). CoRR abs/1907.00829 (2019)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11061
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11061
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates (Full Version). CoRR abs/1907.11061 (2019)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-05964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-05964
Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. CoRR abs/1908.05964 (2019)
2018
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/acta/FinkbeinerPZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FinkbeinerPZ18
Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Preface for the special issue for ATVA 2015. Acta Informatica 55(8): 625-626 (2018)
[c82]
- view
- export record
  dblp key:
  - conf/atva/GerstackerKF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GerstackerKF18
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. ATVA 2018: 441-457
[c81]
- view
- export record
  dblp key:
  - conf/atva/FinkbeinerHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerHH18
Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. ATVA 2018: 521-527
[c80]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/FinkbeinerHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHT18
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CAV (1) 2018: 144-163
[c79]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/FinkbeinerHLST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHLST18
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CAV (1) 2018: 289-306
[c78]
- view
- export record
  dblp key:
  - conf/csfw/BonakdarpourF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BonakdarpourF18
Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CSF 2018: 162-174
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/tacas/FinkbeinerHST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerHST18
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) 2018: 194-200
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-08890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-08890
Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-time Properties. CoRR abs/1803.08890 (2018)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09285
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09285
Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. CoRR abs/1803.09285 (2018)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09566
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09566
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup:
BoSy: An Experimentation Framework for Bounded Synthesis. CoRR abs/1803.09566 (2018)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09570
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup:
Encodings of Bounded Synthesis. CoRR abs/1803.09570 (2018)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10104
Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. CoRR abs/1803.10104 (2018)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10154
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10154
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. CoRR abs/1803.10154 (2018)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10383
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR abs/1803.10383 (2018)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04487
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04487
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. CoRR abs/1804.04487 (2018)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-00758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-00758
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. CoRR abs/1807.00758 (2018)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-09047
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-09047
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. CoRR abs/1807.09047 (2018)
2017
[j23]
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Finkbeiner17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Finkbeiner17
Bernd Finkbeiner:
Temporal Hyperproperties. Bull. EATCS 123 (2017)
[j22]
- view
- export record
  dblp key:
  - journals/iandc/FinkbeinerO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FinkbeinerO17
Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri games: Synthesis of distributed systems with causal memory. Inf. Comput. 253: 181-203 (2017)
[c76]
- view
- export record
  dblp key:
  - conf/atva/FinkbeinerT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerT17
Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-Time Properties. ATVA 2017: 139-155
[c75]
- view
- export record
  dblp key:
  - conf/cav/FaymonvilleFT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FaymonvilleFT17
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup:
BoSy: An Experimentation Framework for Bounded Synthesis. CAV (2) 2017: 325-332
[c74]
- view
- export record
  dblp key:
  - conf/cav/FinkbeinerHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHS17
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger:
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. CAV (2) 2017: 564-570
[c73]
- view
- export record
  dblp key:
  - conf/ccs/Finkbeiner0SZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Finkbeiner0SZ17
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu:
Verifying Security Policies in Multi-agent Workflows with Loops. CCS 2017: 633-645
[c72]
- view
- export record
  dblp key:
  - conf/cpsweek/Finkbeiner0PS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/Finkbeiner0PS17
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek 2017: 43-47
[c71]
- view
- export record
  dblp key:
  - conf/esop/DArgenioBBFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DArgenioBBFH17
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP 2017: 83-110
[c70]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fsttcs/EhlersF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/EhlersF17
Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. FSTTCS 2017: 26:1-26:13
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fsttcs/FinkbeinerG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FinkbeinerG17
Bernd Finkbeiner, Paul Gölz:
Synthesis in Distributed Environments. FSTTCS 2017: 28:1-28:14
[c68]
- view
- export record
  dblp key:
  - conf/rv/AdolfFFST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AdolfFFST17
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. RV 2017: 33-49
[c67]
- view
- export record
  dblp key:
  - conf/rv/FinkbeinerHST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerHST17
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. RV 2017: 190-207
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/stacs/Finkbeiner017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Finkbeiner017
Bernd Finkbeiner, Martin Zimmermann:
The First-Order Logic of Hyperproperties. STACS 2017: 30:1-30:14
[c65]
- view
- export record
  dblp key:
  - conf/tacas/FaymonvilleFRT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FaymonvilleFRT17
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup:
Encodings of Bounded Synthesis. TACAS (1) 2017: 354-370
[c64]
- view
- export record
  dblp key:
  - journals/corr/abs-1711-10637
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10637
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV 2017: 23-43
[c63]
- view
- export record
  dblp key:
  - journals/corr/abs-1710-03391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03391
Bernd Finkbeiner, Andrey Kupriyanov:
Causality-based Model Checking. CREST@ETAPS 2017: 31-38
[c62]
- view
- export record
  dblp key:
  - journals/corr/abs-1711-11439
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11439
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:
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV 2017: 116-143
[p2]
- view
- export record
  dblp key:
  - series/natosec/Finkbeiner017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Finkbeiner017
Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. Dependable Software Systems Engineering 2017: 25-43
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DArgenioBBFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DArgenioBBFH17
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR abs/1702.04693 (2017)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-09013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-09013
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu:
Verifying Security Policies in Multi-agent Workflows with Loops. CoRR abs/1708.09013 (2017)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05368
Bernd Finkbeiner, Paul Gölz:
Synthesis in Distributed Environments. CoRR abs/1710.05368 (2017)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05633
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05633
Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. CoRR abs/1710.05633 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-03829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-03829
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
Real-time Stream-based Monitoring. CoRR abs/1711.03829 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-00246
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-00246
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis beyond the Bools. CoRR abs/1712.00246 (2017)
2016
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/acta/FinkbeinerS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FinkbeinerS16
Bernd Finkbeiner, César Sánchez:
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. Acta Informatica 53(4): 325-326 (2016)
[c61]
- view
- export record
  dblp key:
  - conf/atva/FinkbeinerS016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerS016
Bernd Finkbeiner, Helmut Seidl, Christian Müller:
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. ATVA 2016: 157-173
[c60]
- view
- export record
  dblp key:
  - conf/atva/FinkbeinerT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerT16
Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. ATVA 2016: 271-286
[c59]
- view
- export record
  dblp key:
  - conf/cav/FinkbeinerK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerK16
Bernd Finkbeiner, Felix Klein:
Bounded Cycle Synthesis. CAV (1) 2016: 118-135
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/concur/FinkbeinerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FinkbeinerH16
Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CONCUR 2016: 13:1-13:14
[c57]
- view
- export record
  dblp key:
  - conf/fmcad/FinkbeinerR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FinkbeinerR16
Bernd Finkbeiner, Markus N. Rabe:
Verifying hyperproperties of hardware systems. FMCAD 2016: 5
[c56]
- view
- export record
  dblp key:
  - conf/isola/BartheDFH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartheDFH16
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608
[c55]
- view
- export record
  dblp key:
  - conf/rv/BonakdarpourF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BonakdarpourF16
Borzoo Bonakdarpour, Bernd Finkbeiner:
Runtime Verification for HyperLTL. RV 2016: 41-45
[c54]
- view
- export record
  dblp key:
  - conf/rv/FaymonvilleFST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FaymonvilleFST16
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah:
A Stream-Based Specification Language for Network Monitoring. RV 2016: 152-168
[c53]
- view
- export record
  dblp key:
  - journals/corr/DammFR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DammFR16
Werner Damm, Bernd Finkbeiner, Astrid Rakow:
What You Really Need To Know About Your Neighbor. SYNT@CAV 2016: 21-34
[p1]
- view
- export record
  dblp key:
  - series/natosec/Finkbeiner16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Finkbeiner16
Bernd Finkbeiner:
Synthesis of Reactive Systems. Dependable Software Systems Engineering 2016: 72-98
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerK16
Bernd Finkbeiner, Felix Klein:
Bounded Cycle Synthesis. CoRR abs/1605.01511 (2016)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerH16
Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CoRR abs/1606.07047 (2016)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerZ16
Bernd Finkbeiner, Martin Zimmermann:
The First-Order Logic of Hyperproperties. CoRR abs/1610.04388 (2016)
2015
[j20]
- view
- export record
  dblp key:
  - journals/corr/FinkbeinerT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerT15
Bernd Finkbeiner, Leander Tentrup:
Detecting Unrealizability of Distributed Fault-tolerant Systems. Log. Methods Comput. Sci. 11(3) (2015)
[c52]
- view
- export record
  dblp key:
  - conf/birthday/Finkbeiner15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Finkbeiner15
Bernd Finkbeiner:
Bounded Synthesis for Petri Games. Correct System Design 2015: 223-237
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/FinkbeinerRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerRS15
Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/FinkbeinerGO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerGO15
Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog:
Adam: Causality-Based Synthesis of Distributed Systems. CAV (1) 2015: 433-439
[e7]
- view
- export record
  dblp key:
  - conf/atva/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2015
Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Lecture Notes in Computer Science 9364, Springer 2015, ISBN 978-3-319-24952-0 [contents]
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2015gurevich
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2015gurevich
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte:
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 9300, Springer 2015, ISBN 978-3-319-23533-2 [contents]
2014
[j19]
- view
  - electronic edition @ degruyter.com
  - no references & citations available
- export record
  dblp key:
  - journals/it/FinkbeinerR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/FinkbeinerR14
Bernd Finkbeiner, Markus N. Rabe:
The linear-hyper-branching spectrum of temporal logics. it Inf. Technol. 56(6): 273-279 (2014)
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/KupriyanovF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupriyanovF14
Andrey Kupriyanov, Bernd Finkbeiner:
Causal Termination of Multi-threaded Programs. CAV 2014: 814-830
[c48]
- view
- export record
  dblp key:
  - conf/fm/DammF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DammF14
Werner Damm, Bernd Finkbeiner:
Automatic Compositional Synthesis of Distributed Systems. FM 2014: 179-193
[c47]
- view
- export record
  dblp key:
  - conf/lata/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/FinkbeinerT14
Bernd Finkbeiner, Hazem Torfah:
Counting Models of Linear-Time Temporal Logic. LATA 2014: 360-371
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/post/ClarksonFKMRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/ClarksonFKMRS14
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. POST 2014: 265-284
[c45]
- view
- export record
  dblp key:
  - conf/sat/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FinkbeinerT14
Bernd Finkbeiner, Leander Tentrup:
Fast DQBF Refutation. SAT 2014: 243-251
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/tacas/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerT14
Bernd Finkbeiner, Leander Tentrup:
Detecting Unrealizable Specifications of Distributed Systems. TACAS 2014: 78-92
[c43]
- view
- export record
  dblp key:
  - conf/vmcai/FaymonvilleFP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FaymonvilleFP14
Peter Faymonville, Bernd Finkbeiner, Doron A. Peled:
Monitoring Parametric Temporal Logic. VMCAI 2014: 357-375
[c42]
- view
- export record
  dblp key:
  - journals/corr/FinkbeinerO14
- ask others