default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernd Finkbeiner
Person information
- affiliation: CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
- 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
- 2025
[j33]Arthur Correnson
, Bernd Finkbeiner:
Coinductive Proofs for Temporal Hyperliveness. Proc. ACM Program. Lang. 9(POPL): 1568-1595 (2025)- [i108]Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher:
Finding ∀∃ Hyperbugs using Symbolic Execution. CoRR abs/2501.07918 (2025) - [i107]Arthur Correnson, Bernd Finkbeiner:
Coinductive Proofs for Temporal Hyperliveness. CoRR abs/2501.07920 (2025) - [i106]Bernd Finkbeiner:
Logics and Algorithms for Hyperproperties. CoRR abs/2501.08063 (2025) - [i105]Raven Beutner, Bernd Finkbeiner, Angelina Göbl:
Visualizing Game-Based Certificates for Hyperproperty Verification. CoRR abs/2501.10184 (2025) - [i104]Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer:
A Tutorial on Stream-based Monitoring. CoRR abs/2501.15913 (2025) - [i103]Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil:
Stream-Based Monitoring of Algorithmic Fairness. CoRR abs/2501.18331 (2025) - [i102]Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Synthesis of Universal Safety Controllers. CoRR abs/2501.18445 (2025) - 2024
- [j32]Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher:
Finding ∀∃ Hyperbugs using Symbolic Execution. Proc. ACM Program. Lang. 8(OOPSLA2): 1420-1445 (2024) - [j31]Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. Int. J. Softw. Tools Technol. Transf. 26(5): 551-567 (2024) - [c168]Raven Beutner, Bernd Finkbeiner:
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. AAAI 2024: 17317-17326 - [c167]Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Monitoring Second-Order Hyperproperties. AAMAS 2024: 180-188 - [c166]Raven Beutner, Bernd Finkbeiner:
Hyper Strategy Logic. AAMAS 2024: 189-197 - [c165]Raven Beutner, Bernd Finkbeiner:
Checking Satisfiability of Hyperproperties Using First-Order Logic. ATVA (2) 2024: 198-211 - [c164]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Ten Years of Petri Games. Principles of Verification (3) 2024: 399-422 - [c163]Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) 2024: 3-26 - [c162]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) 2024: 64-86 - [c161]Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber:
Synthesis of Temporal Causality. CAV (3) 2024: 87-111 - [c160]Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens:
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) 2024: 207-218 - [c159]Raven Beutner, Bernd Finkbeiner, Angelina Göbl:
Visualizing Game-Based Certificates for Hyperproperty Verification. FM (2) 2024: 67-75 - [c158]Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer:
A Tutorial on Stream-Based Monitoring. FM (2) 2024: 624-648 - [c157]Bernd Finkbeiner, Felix Jahn, Julian Siber:
Counterfactual Explanations for MITL Violations. FSTTCS 2024: 22:1-22:25 - [c156]Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees: Robustness and Segmentation. HSCC 2024: 9:1-9:14 - [c155]Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees - Segmentation. HSCC 2024: 31:1-31:2 - [c154]Raven Beutner, Bernd Finkbeiner:
Non-deterministic Planning for Hyperproperty Verification. ICAPS 2024: 25-30 - [c153]Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner:
Learning Better Representations From Less Data For Propositional Satisfiability. NeurIPS 2024 - [c152]Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger:
Stream-Based Monitoring Under Measurement Noise. RV 2024: 22-39 - [c151]Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck:
RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring. RV 2024: 192-202 - [e20]Bernd Finkbeiner, Laura Kovács:
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. Lecture Notes in Computer Science 14570, Springer 2024, ISBN 978-3-031-57245-6 [contents] - [e19]Bernd Finkbeiner, Laura Kovács:
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. Lecture Notes in Computer Science 14571, Springer 2024, ISBN 978-3-031-57248-7 [contents] - [e18]Bernd Finkbeiner, Laura Kovács:
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. Lecture Notes in Computer Science 14572, Springer 2024, ISBN 978-3-031-57255-5 [contents] - [d5]Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 1. Zenodo, 2024 [all versions]
- [d4]Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 2. Zenodo, 2024 [all versions] - [d3]Raven Beutner, Bernd Finkbeiner, Angelina Göbl:
HyGaViz: Visualizing Game-Based Certificates for Hyperproperty Verification. Zenodo, 2024 - [i101]Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner:
NeuRes: Learning Proofs of Propositional Satisfiability. CoRR abs/2402.08365 (2024) - [i100]Raven Beutner, Bernd Finkbeiner:
Hyper Strategy Logic. CoRR abs/2403.13741 (2024) - [i99]Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Monitoring Second-Order Hyperproperties. CoRR abs/2404.09652 (2024) - [i98]Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens:
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR abs/2404.12035 (2024) - [i97]Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber:
Synthesis of Temporal Causality. CoRR abs/2405.10912 (2024) - [i96]Raven Beutner, Bernd Finkbeiner:
Non-Deterministic Planning for Hyperproperty Verification. CoRR abs/2405.13488 (2024) - [i95]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CoRR abs/2407.12298 (2024) - [i94]Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
Syntax-Guided Automated Program Repair for Hyperproperties. CoRR abs/2408.06035 (2024) - [i93]Bernd Finkbeiner, Felix Jahn, Julian Siber:
Counterfactual Explanations for MITL Violations. CoRR abs/2412.10386 (2024) - [i92]S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw:
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). Dagstuhl Reports 14(4): 85-107 (2024) - 2023
- [j30]Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification decomposition for reactive synthesis. Innov. Syst. Softw. Eng. 19(4): 339-357 (2023) - [j29]Raven Beutner, Bernd Finkbeiner:
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems. Log. Methods Comput. Sci. 19(2) (2023) - [j28]Bernd Finkbeiner:
Logics and Algorithms for Hyperproperties. ACM SIGLOG News 10(2): 4-23 (2023) - [j27]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25(2): 205-218 (2023) - [j26]Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with verified guarantees. Int. J. Softw. Tools Technol. Transf. 25(4): 593-616 (2023) - [c150]Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) 2023: 248-269 - [c149]Bernd Finkbeiner, Florian Kohn, Malte Schledjewski:
Leveraging Static Analysis: An IDE for RTLola. ATVA 2023: 251-262 - [c148]Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber:
Checking and Sketching Causes on Temporal Sequences. ATVA 2023: 314-327 - [c147]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. Theories of Programming and Formal Methods 2023: 211-231 - [c146]Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Second-Order Hyperproperties. CAV (2) 2023: 309-332 - [c145]Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman:
Smart Contract Synthesis Modulo Hyperproperties. CSF 2023: 276-291 - [c144]Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner:
Iterative Circuit Repair Against Formal Specifications. ICLR 2023 - [c143]Raven Beutner, Bernd Finkbeiner:
Model Checking Omega-Regular Hyperproperties with AutoHyperQ. LPAR 2023: 23-35 - [c142]Bernd Finkbeiner, Julian Siber:
Counterfactuals Modulo Temporal Logics. LPAR 2023: 181-204 - [c141]Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse:
Automata-Based Software Model Checking of Hyperproperties. NFM 2023: 361-379 - [c140]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46 - [c139]Raven Beutner, Bernd Finkbeiner:
AutoHyper: Explicit-State Model Checking for HyperLTL. TACAS (1) 2023: 145-163 - [i91]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023) - [i90]Raven Beutner, Bernd Finkbeiner:
AutoHyper: Explicit-State Model Checking for HyperLTL. CoRR abs/2301.11229 (2023) - [i89]Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner:
Iterative Circuit Repair Against Formal Specifications. CoRR abs/2303.01158 (2023) - [i88]Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse:
Automata-Based Software Model Checking of Hyperproperties. CoRR abs/2303.14796 (2023) - [i87]Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Second-Order Hyperproperties. CoRR abs/2305.17935 (2023) - [i86]Bernd Finkbeiner, Julian Siber:
Counterfactuals Modulo Temporal Logics. CoRR abs/2306.08916 (2023) - [i85]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. CoRR abs/2310.00705 (2023) - [i84]Bernd Finkbeiner, Florian Kohn, Malte Schledjewski:
Leveraging Static Analysis: An IDE for RTLola. CoRR abs/2311.08096 (2023) - [i83]Raven Beutner, Bernd Finkbeiner:
On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing. CoRR abs/2312.12403 (2023) - [i82]Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan:
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). Dagstuhl Reports 13(9): 166-184 (2023) - 2022
- [j25]Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger:
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15(4): 126 (2022) - [j24]Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live synthesis. Innov. Syst. Softw. Eng. 18(3): 443-454 (2022) - [j23]Bernd Finkbeiner, Noemi Passing:
Compositional synthesis of modular systems. Innov. Syst. Softw. Eng. 18(3): 455-469 (2022) - [j22]Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28(1): 357-367 (2022) - [c138]Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber:
Temporal Causality in Reactive Systems. ATVA 2022: 208-224 - [c137]Raven Beutner, Bernd Finkbeiner:
Software Verification of Hyperproperties Beyond k-Safety. CAV (1) 2022: 341-362 - [c136]Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. CAV (1) 2022: 407-429 - [c135]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis. CAV (2) 2022: 505-525 - [c134]Raven Beutner, Bernd Finkbeiner:
Prophecy Variables for Hyperproperty Verification. CSF 2022: 471-485 - [c133]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL 2022: 20:1-20:19 - [c132]Bernd Finkbeiner, Philippe Heim, Noemi Passing:
Temporal Stream Logic modulo Theories. FoSSaCS 2022: 325-346 - [c131]Bernd Finkbeiner, Noemi Passing:
Synthesizing Dominant Strategies for Liveness. FSTTCS 2022: 37:1-37:19 - [c130]Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck:
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC 2022: 24:1-24:11 - [c129]Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. LICS 2022: 56:1-56:13 - [c128]Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito:
Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022: 229-243 - [c127]Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski:
Real-Time Visualization of Stream-Based Monitoring Data. RV 2022: 325-335 - [e17]Bernd Finkbeiner, Thomas Wies:
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Lecture Notes in Computer Science 13182, Springer 2022, ISBN 978-3-030-94582-4 [contents] - [i81]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. CoRR abs/2203.04146 (2022) - [i80]Raven Beutner, Bernd Finkbeiner:
A Logic for Hyperproperties in Multi-Agent Systems. CoRR abs/2203.07283 (2022) - [i79]Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. CoRR abs/2205.06039 (2022) - [i78]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis (Full Version). CoRR abs/2205.12085 (2022) - [i77]Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski:
Real-time Visualization of Stream-based Monitoring Data. CoRR abs/2205.12823 (2022) - [i76]Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. CoRR abs/2205.15138 (2022) - [i75]Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner:
Attention Flows for General Transformers. CoRR abs/2205.15389 (2022) - [i74]Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) - [i73]Raven Beutner, Bernd Finkbeiner:
Prophecy Variables for Hyperproperty Verification. CoRR abs/2206.01797 (2022) - [i72]Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner:
Formal Specifications from Natural Language. CoRR abs/2206.01962 (2022) - [i71]Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. CoRR abs/2206.02074 (2022) - [i70]Raven Beutner, Bernd Finkbeiner:
Software Verification of Hyperproperties Beyond k-Safety. CoRR abs/2206.03381 (2022) - [i69]Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman:
Smart Contract Synthesis Modulo Hyperproperties. CoRR abs/2208.07180 (2022) - [i68]Bernd Finkbeiner, Noemi Passing:
Synthesizing Dominant Strategies for Liveness (Full Version). CoRR abs/2210.01660 (2022) - 2021
- [j21]Bernd Finkbeiner, Leonardo Mariani:
Introduction to the special issue of the 19th International Conference on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 23(4): 545-546 (2021) - [c126]Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. ATVA 2021: 153-169 - [c125]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. ATVA 2021: 283-299 - [c124]Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems. ATVA 2021: 303-319 - [c123]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717 - [c122]Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CAV (1) 2021: 894-917 - [c121]Raven Beutner, Bernd Finkbeiner:
A Temporal Logic for Strategic Hyperproperties. CONCUR 2021: 24:1-24:19 - [c120]Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS 2021: 52:1-52:17 - [c119]Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner:
Teaching Temporal Logics to Neural Networks. ICLR 2021 - [c118]Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification Decomposition for Reactive Synthesis. NFM 2021: 113-130 - [c117]Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. NeurIPS 2021: 15408-15420 - [c116]Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with Verified Guarantees. RV 2021: 62-80 - [c115]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) 2021: 365-372 - [c114]Bernd Finkbeiner:
Model Checking Algorithms for Hyperproperties (Invited Paper). VMCAI 2021: 3-16 - [i67]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR abs/2101.07109 (2021) - [i66]Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing Omega-regular Hyperproperties. CoRR abs/2101.07161 (2021) - [i65]Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR abs/2101.07232 (2021) - [i64]Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CoRR abs/2101.07847 (2021) - [i63]Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. CoRR abs/2101.08257 (2021) - [i62]Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CoRR abs/2101.08880 (2021) - [i61]Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification Decomposition for Reactive Synthesis (Full Version). CoRR abs/2103.08459 (2021) - [i60]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021) - [i59]Bernd Finkbeiner, Philippe Heim, Noemi Passing:
Temporal Stream Logic modulo Theories. CoRR abs/2104.14988 (2021) - [i58]Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CoRR abs/2105.14247 (2021) - [i57]Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems (Full Version). CoRR abs/2106.14783 (2021) - [i56]Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. CoRR abs/2107.01136 (2021) - [i55]Raven Beutner, Bernd Finkbeiner:
A Temporal Logic for Strategic Hyperproperties. CoRR abs/2107.02509 (2021) - [i54]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR abs/2107.09280 (2021) - [i53]Bernd Finkbeiner:
Model Checking Algorithms for Hyperproperties. CoRR abs/2107.11841 (2021) - [i52]Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. CoRR abs/2107.11864 (2021) - [i51]Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR abs/2108.03698 (2021) - [i50]Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with Verified Guarantees. CoRR abs/2110.11755 (2021) - [i49]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR abs/2111.05255 (2021) - 2020
- [j20]Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesis from hyperproperties. Acta Informatica 57(1-2): 137-163 (2020) - [j19]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) - [c113]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits. ATVA 2020: 394-410 - [c112]Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. ATVA 2020: 413-428 - [c111]Bernd Finkbeiner, Noemi Passing:
Dependency-Based Compositional Synthesis. ATVA 2020: 447-463 - [c110]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. ATVA 2020: 484-500 - [c109]Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CAV (2) 2020: 28-39 - [c108]Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing ømega-regular Hyperproperties. CAV (2) 2020: 40-63 - [c107]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 - [c106]Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CSF 2020: 366-379 - [c105]Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. RV 2020: 431-450 - [c104]Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-Based Monitoring Languages. RV 2020: 451-461 - [c103]Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. VMCAI 2020: 426-448 - [e16]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]Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt:
Teaching Temporal Logics to Neural Networks. CoRR abs/2003.04218 (2020) - [i47]Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. CoRR abs/2003.12477 (2020) - [i46]Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CoRR abs/2004.06488 (2020) - [i45]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. CoRR abs/2005.03362 (2020) - [i44]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. CoRR abs/2005.05934 (2020) - [i43]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]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CoRR abs/2005.07425 (2020) - [i41]Bernd Finkbeiner, Noemi Passing:
Dependency-based Compositional Synthesis (Full Version). CoRR abs/2007.06941 (2020) - [i40]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]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]Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-based Monitoring Languages. CoRR abs/2011.13344 (2020) - [i37]Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. CoRR abs/2012.08961 (2020) - [i36]Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. CoRR abs/2012.14582 (2020) - [i35]Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CoRR abs/2012.14586 (2020) - [i34]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. CoRR abs/2012.14590 (2020) - [i33]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR abs/2012.14592 (2020)
2010 – 2019
- 2019
- [j18]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring hyperproperties. Formal Methods Syst. Des. 54(3): 336-363 (2019) - [j17]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) - [c102]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349 - [c101]Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. ATVA 2019: 423-441 - [c100]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates. ATVA 2019: 515-533 - [c99]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CAV (1) 2019: 121-139 - [c98]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) 2019: 241-258 - [c97]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 - [c96]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) 2019: 609-629 - [c95]Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch:
Translating Asynchronous Games for Distributed Synthesis. CONCUR 2019: 26:1-26:16 - [c94]Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CSF 2019: 17-31 - [c93]Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD 2019: 138-146 - [c92]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing functional reactive programs. Haskell@ICFP 2019: 162-175 - [c91]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. LICS 2019: 1-13 - [e15]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] - [e14]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] - [d2]Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First Order Safety Games - Software Artifact. Version 1. Zenodo, 2019 [all versions] - [d1]Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First Order Safety Games - Software Artifact. Version 2. Zenodo, 2019 [all versions] - [i32]Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃*∀* Fragment. CoRR abs/1903.11138 (2019) - [i31]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]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1905.09825 (2019) - [i29]Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CoRR abs/1905.13511 (2019) - [i28]Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CoRR abs/1905.13514 (2019) - [i27]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR abs/1906.00798 (2019) - [i26]Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch:
Translating Asynchronous Games for Distributed Synthesis (Full Version). CoRR abs/1907.00829 (2019) - [i25]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]Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. CoRR abs/1908.05964 (2019) - 2018
- [j16]Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Preface for the special issue for ATVA 2015. Acta Informatica 55(8): 625-626 (2018) - [c90]Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. ATVA 2018: 441-457 - [c89]Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. ATVA 2018: 521-527 - [c88]Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CAV (1) 2018: 144-163 - [c87]Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CAV (1) 2018: 289-306 - [c86]Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CSF 2018: 162-174 - [c85]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) 2018: 194-200 - [i23]Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-time Properties. CoRR abs/1803.08890 (2018) - [i22]Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. CoRR abs/1803.09285 (2018) - [i21]Peter Faymonville, Bernd Finkbeiner, Leander Tentrup:
BoSy: An Experimentation Framework for Bounded Synthesis. CoRR abs/1803.09566 (2018) - [i20]Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup:
Encodings of Bounded Synthesis. CoRR abs/1803.09570 (2018) - [i19]Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. CoRR abs/1803.10104 (2018) - [i18]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. CoRR abs/1803.10154 (2018) - [i17]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR abs/1803.10383 (2018) - [i16]Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. CoRR abs/1804.04487 (2018) - [i15]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. CoRR abs/1807.00758 (2018) - [i14]Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. CoRR abs/1807.09047 (2018) - 2017
- [j15]Bernd Finkbeiner:
Temporal Hyperproperties. Bull. EATCS 123 (2017) - [j14]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri games: Synthesis of distributed systems with causal memory. Inf. Comput. 253: 181-203 (2017) - [c84]Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-Time Properties. ATVA 2017: 139-155 - [c83]Peter Faymonville, Bernd Finkbeiner, Leander Tentrup:
BoSy: An Experimentation Framework for Bounded Synthesis. CAV (2) 2017: 325-332 - [c82]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger:
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. CAV (2) 2017: 564-570 - [c81]Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu:
Verifying Security Policies in Multi-agent Workflows with Loops. CCS 2017: 633-645 - [c80]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek 2017: 43-47 - [c79]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 - [c78]Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. FSTTCS 2017: 26:1-26:13 - [c77]Bernd Finkbeiner, Paul Gölz:
Synthesis in Distributed Environments. FSTTCS 2017: 28:1-28:14 - [c76]Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. RV 2017: 33-49 - [c75]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. RV 2017: 190-207 - [c74]Bernd Finkbeiner, Martin Zimmermann:
The First-Order Logic of Hyperproperties. STACS 2017: 30:1-30:14 - [c73]Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup:
Encodings of Bounded Synthesis. TACAS (1) 2017: 354-370 - [c72]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV 2017: 23-43 - [c71]Bernd Finkbeiner, Andrey Kupriyanov:
Causality-based Model Checking. CREST@ETAPS 2017: 31-38 - [c70]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]Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. Dependable Software Systems Engineering 2017: 25-43 - [i13]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]Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu:
Verifying Security Policies in Multi-agent Workflows with Loops. CoRR abs/1708.09013 (2017) - [i11]Bernd Finkbeiner, Paul Gölz:
Synthesis in Distributed Environments. CoRR abs/1710.05368 (2017) - [i10]Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. CoRR abs/1710.05633 (2017) - [i9]Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
Real-time Stream-based Monitoring. CoRR abs/1711.03829 (2017) - [i8]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis beyond the Bools. CoRR abs/1712.00246 (2017) - 2016
- [j13]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) - [c69]Bernd Finkbeiner, Helmut Seidl, Christian Müller:
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. ATVA 2016: 157-173 - [c68]Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. ATVA 2016: 271-286 - [c67]Bernd Finkbeiner, Felix Klein:
Bounded Cycle Synthesis. CAV (1) 2016: 118-135 - [c66]Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CONCUR 2016: 13:1-13:14 - [c65]Bernd Finkbeiner, Markus N. Rabe:
Verifying hyperproperties of hardware systems. FMCAD 2016: 5 - [c64]Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608 - [c63]Borzoo Bonakdarpour, Bernd Finkbeiner:
Runtime Verification for HyperLTL. RV 2016: 41-45 - [c62]Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah:
A Stream-Based Specification Language for Network Monitoring. RV 2016: 152-168 - [c61]Werner Damm, Bernd Finkbeiner, Astrid Rakow:
What You Really Need To Know About Your Neighbor. SYNT@CAV 2016: 21-34 - [p1]Bernd Finkbeiner:
Synthesis of Reactive Systems. Dependable Software Systems Engineering 2016: 72-98 - [i7]Bernd Finkbeiner, Felix Klein:
Bounded Cycle Synthesis. CoRR abs/1605.01511 (2016) - [i6]Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CoRR abs/1606.07047 (2016) - [i5]Bernd Finkbeiner, Martin Zimmermann:
The First-Order Logic of Hyperproperties. CoRR abs/1610.04388 (2016) - 2015
- [j12]Bernd Finkbeiner, Leander Tentrup:
Detecting Unrealizability of Distributed Fault-tolerant Systems. Log. Methods Comput. Sci. 11(3) (2015) - [c60]Bernd Finkbeiner:
Bounded Synthesis for Petri Games. Correct System Design 2015: 223-237 - [c59]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48 - [c58]Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog:
Adam: Causality-Based Synthesis of Distributed Systems. CAV (1) 2015: 433-439 - [e13]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] - [e12]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
- [j11]Bernd Finkbeiner, Markus N. Rabe:
The linear-hyper-branching spectrum of temporal logics. it Inf. Technol. 56(6): 273-279 (2014) - [c57]Andrey Kupriyanov, Bernd Finkbeiner:
Causal Termination of Multi-threaded Programs. CAV 2014: 814-830 - [c56]Werner Damm, Bernd Finkbeiner:
Automatic Compositional Synthesis of Distributed Systems. FM 2014: 179-193 - [c55]Bernd Finkbeiner, Hazem Torfah:
Counting Models of Linear-Time Temporal Logic. LATA 2014: 360-371 - [c54]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 - [c53]Bernd Finkbeiner, Leander Tentrup:
Fast DQBF Refutation. SAT 2014: 243-251 - [c52]Bernd Finkbeiner, Leander Tentrup:
Detecting Unrealizable Specifications of Distributed Systems. TACAS 2014: 78-92 - [c51]Peter Faymonville, Bernd Finkbeiner, Doron A. Peled:
Monitoring Parametric Temporal Logic. VMCAI 2014: 357-375 - [c50]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri Games: Synthesis of Distributed Systems with Causal Memory. GandALF 2014: 217-230 - [e11]Bernd Finkbeiner, Armando Solar-Lezama:
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. EPTCS 142, 2014 [contents] - [i4]Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. CoRR abs/1401.4492 (2014) - 2013
- [j10]Bernd Finkbeiner, Sven Schewe:
Bounded synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6): 519-539 (2013) - [c49]Bernd Finkbeiner:
Transforming Undecidable Synthesis Problems into Decidable Problems. VPT@CAV 2013: 9 - [c48]Máté Kovács, Helmut Seidl, Bernd Finkbeiner:
Relational abstract interpretation for the verification of 2-hypersafety properties. CCS 2013: 211-222 - [c47]Andrey Kupriyanov, Bernd Finkbeiner:
Causality-Based Verification of Multi-threaded Programs. CONCUR 2013: 257-272 - [c46]Rayna Dimitrova, Bernd Finkbeiner:
Lossy Channel Games under Incomplete Information. SR 2013: 43-51 - [i3]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
A Temporal Logic for Hyperproperties. CoRR abs/1306.6657 (2013) - 2012
- [j9]Lars Kuhtz, Bernd Finkbeiner:
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds. Log. Methods Comput. Sci. 8(4) (2012) - [c45]Rayna Dimitrova, Bernd Finkbeiner:
Counterexample-Guided Synthesis of Observation Predicates. FORMATS 2012: 107-122 - [c44]Hans-Jörg Peter, Bernd Finkbeiner:
The Complexity of Bounded Synthesis for Timed Control with Partial Observability. FORMATS 2012: 204-219 - [c43]Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe:
Monitoring Temporal Information Flow. ISoLA (1) 2012: 342-357 - [c42]Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace 2012 - [c41]Bernd Finkbeiner, Hans-Jörg Peter:
Template-Based Controller Synthesis for Timed Systems. TACAS 2012: 392-406 - [c40]Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl:
Model Checking Information Flow in Reactive Systems. VMCAI 2012: 169-185 - [c39]Bernd Finkbeiner, Swen Jacobs:
Lazy Synthesis. VMCAI 2012: 219-234 - [e10]Johannes Reich, Bernd Finkbeiner:
Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012. EPTCS 78, 2012 [contents] - 2011
- [c38]Lars Kuhtz, Bernd Finkbeiner:
Weak Kripke Structures and LTL. CONCUR 2011: 419-433 - [c37]Werner Damm, Bernd Finkbeiner:
Does It Pay to Extend the Perimeter of a World Model? FM 2011: 12-26 - [c36]Rüdiger Ehlers, Bernd Finkbeiner:
Monitoring Realizability. RV 2011: 427-441 - [c35]Rüdiger Ehlers, Bernd Finkbeiner:
Reactive Safety. GandALF 2011: 178-191 - [e9]Johannes Reich, Bernd Finkbeiner:
Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. EPTCS 50, 2011 [contents] - 2010
- [j8]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesising certificates in networks of timed automata. IET Softw. 4(3): 222-235 (2010) - [c34]Bernd Finkbeiner, Sven Schewe:
Coordination Logic. CSL 2010: 305-319 - [c33]Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
Model Checking the FlexRay Physical Layer Protocol. FMICS 2010: 132-147 - [c32]Rüdiger Ehlers, Bernd Finkbeiner:
On the Virtue of Patience: Minimizing Büchi Automata. SPIN 2010: 129-145 - [c31]Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim:
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS 2010: 271-274 - [c30]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2010: 1 - [e8]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010. Electronic Notes in Theoretical Computer Science 264(3), Elsevier 2010 [contents] - [e7]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents]
2000 – 2009
- 2009
- [j7]Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed model checking with distance-preserving abstractions. Int. J. Softw. Tools Technol. Transf. 11(1): 27-37 (2009) - [c29]Rayna Dimitrova, Bernd Finkbeiner:
Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336 - [c28]Lars Kuhtz, Bernd Finkbeiner:
LTL Path Checking Is Efficiently Parallelizable. ICALP (2) 2009: 235-246 - [c27]Bernd Finkbeiner, Lars Kuhtz:
Monitor Circuits for LTL with Bounded and Unbounded Future. RV 2009: 60-75 - [c26]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2009: 1 - [e6]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(2), Elsevier 2009 [contents] - 2008
- [j6]Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim:
Slicing Abstractions. Fundam. Informaticae 89(4): 369-392 (2008) - [c25]Klaus Dräger, Bernd Finkbeiner:
Subsequence Invariants. CONCUR 2008: 172-186 - [c24]Rayna Dimitrova, Bernd Finkbeiner:
Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008: 175-186 - [c23]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesizing Certificates in Networks of Timed Automata. RTSS 2008: 183-194 - [c22]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466 - [c21]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2008: 1 - [e5]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e4]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Electronic Notes in Theoretical Computer Science 220(1), Elsevier 2008 [contents] - 2007
- [j5]Sven Schewe, Bernd Finkbeiner:
Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007) - [c20]Sven Schewe, Bernd Finkbeiner:
Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283 - [c19]Sven Schewe, Bernd Finkbeiner:
Bounded Synthesis. ATVA 2007: 474-488 - [c18]Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim:
Slicing Abstractions. FSEN 2007: 17-32 - [c17]Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682 - [c16]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2007: 1 - [e3]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007. Electronic Notes in Theoretical Computer Science 190(2), Elsevier 2007 [contents] - [i2]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Executive Summary -- Runtime Verification. Runtime Verification 2007 - [i1]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007 - 2006
- [c15]Sven Schewe, Bernd Finkbeiner:
Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605 - [c14]Bernd Finkbeiner, Sven Schewe, Matthias Brill:
Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158 - [c13]Sven Schewe, Bernd Finkbeiner:
Synthesis of Asynchronous Systems. LOPSTR 2006: 127-142 - [c12]Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34 - [c11]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2006: 1 - [e2]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164(4), Elsevier 2006 [contents] - [e1]Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma:
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005. Electronic Notes in Theoretical Computer Science 144(4), Elsevier 2006 [contents] - 2005
- [j4]Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma:
Collecting Statistics Over Runtime Executions. Formal Methods Syst. Des. 27(3): 253-274 (2005) - [c10]Bernd Finkbeiner, Sven Schewe:
Semi-automatic Distributed Synthesis. ATVA 2005: 263-277 - [c9]Bernd Finkbeiner, Sven Schewe:
Uniform Distributed Synthesis. LICS 2005: 321-330 - [c8]Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna:
LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174 - [c7]Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma:
Preface. RV@CAV 2005: 1 - 2004
- [j3]Bernd Finkbeiner, Henny Sipma:
Checking Finite Traces Using Alternating Automata. Formal Methods Syst. Des. 24(2): 101-127 (2004) - 2002
- [b1]Bernd Finkbeiner:
Verification algorithms based on alternating automata. Stanford University, USA, 2002 - [c6]Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma:
Collecting Statistics over Runtime Executions. RV@FLoC 2002: 36-54 - 2001
- [c5]Bernd Finkbeiner:
Language Containment Checking with Nondeterministic BDDs. TACAS 2001: 24-38 - [c4]Bernd Finkbeiner, Henny Sipma:
Checking Finite Traces using Alternating Automata. RV@CAV 2001: 147-163 - 2000
- [j2]Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma:
The 'Cash-Point' Service: A Verification Case Study Using STeP. Formal Aspects Comput. 12(4): 218-219 (2000) - [j1]Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods Syst. Des. 16(3): 227-270 (2000)
1990 – 1999
- 1998
- [c3]Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe:
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification 1998: 174-188 - 1997
- [c2]Bernd Finkbeiner, Zohar Manna, Henny Sipma:
Deductive Verification of Modular Systems. COMPOS 1997: 239-275 - [c1]Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe:
Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997: 273-292
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-18 21:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
