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
- 2024
[c160]Raven Beutner, Bernd Finkbeiner:
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. AAAI 2024: 17317-17326- [c159]Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Monitoring Second-Order Hyperproperties. AAMAS 2024: 180-188 - [c158]Raven Beutner, Bernd Finkbeiner:
Hyper Strategy Logic. AAMAS 2024: 189-197 - [c157]Raven Beutner
, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) 2024: 3-26 - [c156]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) 2024: 64-86 - [c155]Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber:
Synthesis of Temporal Causality. CAV (3) 2024: 87-111 - [c154]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 - [c153]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 - [c152]Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees - Segmentation. HSCC 2024: 31:1-31:2 - [c151]Raven Beutner, Bernd Finkbeiner:
Non-deterministic Planning for Hyperproperty Verification. ICAPS 2024: 25-30 - [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] - [d4]Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 1. Zenodo, 2024 [all versions]
- [d3]Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 2. Zenodo, 2024 [all versions] - [i98]Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner:
NeuRes: Learning Proofs of Propositional Satisfiability. CoRR abs/2402.08365 (2024) - [i97]Raven Beutner, Bernd Finkbeiner:
Hyper Strategy Logic. CoRR abs/2403.13741 (2024) - [i96]Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Monitoring Second-Order Hyperproperties. CoRR abs/2404.09652 (2024) - [i95]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) - [i94]Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber:
Synthesis of Temporal Causality. CoRR abs/2405.10912 (2024) - [i93]Raven Beutner, Bernd Finkbeiner:
Non-Deterministic Planning for Hyperproperty Verification. CoRR abs/2405.13488 (2024) - [i92]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CoRR abs/2407.12298 (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]