Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Output-Sensitive Algorithms for Reactive Synthesis

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Monitoring with Verified Guarantees (opens in new window)

Author(s): Johann C. Dauer Bernd Finkbeiner Sebastian Schirmer
Published in: Runtime Verification - 21st International Conference, RV 2021, 2021, Page(s) 62--80, ISBN 978-3-030-88494-9
Publisher: Springer
DOI: 10.1007/978-3-030-88494-9_4

Automatic Optimizations for Stream-Based Monitoring Languages (opens in new window)

Author(s): Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Published in: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 451-461, ISBN 978-3-030-60507-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-60508-7_25

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (opens in new window)

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 64-76, ISBN 978-3-030-53290-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_5

How to Win First-Order Safety Games (opens in new window)

Author(s): Helmut Seidl, Christian Müller, Bernd Finkbeiner
Published in: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings, Issue 11990, 2020, Page(s) 426-448, ISBN 978-3-030-39321-2
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-39322-9_20

Realizing $$\omega $$-regular Hyperproperties (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 40-63, ISBN 978-3-030-53290-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_4

Compositional Synthesis of Modular Systems (opens in new window)

Author(s): Bernd Finkbeiner, Noemi Passing
Published in: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings, Issue 12971, 2021, Page(s) 303-319, ISBN 978-3-030-88884-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-88885-5_20

Verified Rust Monitors for Lola Specifications (opens in new window)

Author(s): Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Published in: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 431-450, ISBN 978-3-030-60507-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-60508-7_24

Model Checking Algorithms for Hyperproperties (Invited Paper) (opens in new window)

Author(s): Bernd Finkbeiner
Published in: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings, Issue 12597, 2021, Page(s) 3-16, ISBN 978-3-030-67066-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-67067-2_1

Causality-Based Game Solving (opens in new window)

Author(s): Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Published in: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Issue 12759, 2021, Page(s) 894-917, ISBN 978-3-030-81684-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-81685-8_42

Specification Decomposition for Reactive Synthesis (opens in new window)

Author(s): Bernd Finkbeiner, Gideon Geier, Noemi Passing
Published in: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings, Issue 12673, 2021, Page(s) 113-130, ISBN 978-3-030-76383-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-76384-8_8

Live Synthesis (opens in new window)

Author(s): Bernd Finkbeiner, Felix Klein, Niklas Metzger
Published in: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings, Issue 12971, 2021, Page(s) 153-169, ISBN 978-3-030-88884-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-88885-5_11

Translating Asynchronous Games for Distributed Synthesis (opens in new window)

Author(s): Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
Published in: 30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, the Netherlands, August 27-30, 2019, Proceedings, Issue LIPIcs 140, 2019, Page(s) 26:1-26:16
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2019.26

A Temporal Logic for Asynchronous Hyperproperties (opens in new window)

Author(s): Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Published in: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Issue 12759, 2021, Page(s) 694-717, ISBN 978-3-030-81684-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-81685-8_33

Explainable Reactive Synthesis (opens in new window)

Author(s): Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 413-428, ISBN 978-3-030-59151-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-59152-6_23

Monitoring Cyber-Physical Systems: From Design to Integration (opens in new window)

Author(s): Maximilian Schwenger
Published in: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 87-106, ISBN 978-3-030-60507-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-60508-7_5

Runtime Enforcement of Hyperproperties (opens in new window)

Author(s): Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Published in: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings, Issue 12971, 2021, Page(s) 283-299, ISBN 978-3-030-88884-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-88885-5_19

Reactive Synthesis: Towards Output-Sensitive Algorithms (opens in new window)

Author(s): Bernd Finkbeiner, Felix Klein
Published in: NATO Science for Peace and Security Series - D: Information and Communication Security , Issue Volume 50, 2017, Page(s) 25-43
Publisher: IOS Press
DOI: 10.3233/978-1-61499-810-5-25

$$\text {RVHyper}$$RVHyper: A Runtime Verification Tool for Temporal Hyperproperties (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in: Tools and Algorithms for the Construction and Analysis of Systems, Issue 10806, 2018, Page(s) 194-200, ISBN 978-3-319-89962-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-89963-3_11

Understanding and Extending Incremental Determinization for 2QBF (opens in new window)

Author(s): Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, Issue 10982, 2018, Page(s) 256-274, ISBN 978-3-319-96141-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-96142-2_17

Synthesizing Reactive Systems from Hyperproperties (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Issue 10981, 2018, Page(s) 289-306, ISBN 978-3-319-96144-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-96145-3_16

Model Checking Quantitative Hyperproperties (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Issue 10981, 2018, Page(s) 144-163, ISBN 978-3-319-96144-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-96145-3_8

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the $$\exists ^*\forall ^*$$∃∗∀∗ Fragment (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Tobias Hans
Published in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 521-527, ISBN 978-3-030-01089-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-01090-4_31

Bounded Synthesis of Reactive Programs (opens in new window)

Author(s): Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Published in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 441-457, ISBN 978-3-030-01089-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-01090-4_26

Constraint-Based Monitoring of Hyperproperties (opens in new window)

Author(s): Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in: Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III, Issue 11441, 2019, Page(s) 115-131, ISBN 978-3-030-16141-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_7

Temporal Stream Logic: Synthesis Beyond the Bools (opens in new window)

Author(s): Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 609-629, ISBN 978-3-030-25539-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-25540-4_35

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems (opens in new window)

Author(s): Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 421-431, ISBN 978-3-030-25539-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-25540-4_24

Clausal Abstraction for DQBF (opens in new window)

Author(s): Leander Tentrup, Markus N. Rabe
Published in: Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings, Issue 11628, 2019, Page(s) 388-405, ISBN 978-3-030-24257-2
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-24258-9_27

Synthesizing Approximate Implementations for Unrealizable Specifications (opens in new window)

Author(s): Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 241-258, ISBN 978-3-030-25539-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-25540-4_13

Verifying Hyperliveness (opens in new window)

Author(s): Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 121-139, ISBN 978-3-030-25539-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-25540-4_7

Approximate Automata for Omega-Regular Languages (opens in new window)

Author(s): Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 334-349, ISBN 978-3-030-31783-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-31784-3_19

Model Checking Data Flows in Concurrent Network Updates (opens in new window)

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 515-533, ISBN 978-3-030-31783-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-31784-3_30

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (opens in new window)

Author(s): Jesko Hecking-Harbusch, Niklas O. Metzger
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 369-386, ISBN 978-3-030-31783-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-31784-3_22

Program Repair for Hyperproperties (opens in new window)

Author(s): Borzoo Bonakdarpour, Bernd Finkbeiner
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 423-441, ISBN 978-3-030-31783-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-31784-3_25

RTLola on Board: Testing Real Driving Emissions on your Phone (opens in new window)

Author(s): Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 365-372, ISBN 978-3-030-72012-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-72013-1_20

Model Checking Branching Properties on Petri Nets with Transits (opens in new window)

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 394-410, ISBN 978-3-030-59151-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-59152-6_22

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft (opens in new window)

Author(s): Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 28-39, ISBN 978-3-030-53290-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_3

A Web Interface for Petri Nets with Transits and Petri Games (opens in new window)

Author(s): Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 381-388, ISBN 978-3-030-72012-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-72013-1_22

Dependency-Based Compositional Synthesis (opens in new window)

Author(s): Bernd Finkbeiner, Noemi Passing
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 447-463, ISBN 978-3-030-59151-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-59152-6_25

A Temporal Logic for Strategic Hyperproperties (opens in new window)

Author(s): Raven Beutner, Bernd Finkbeiner
Published in: 32nd International Conference on Concurrency Theory, 2021, Page(s) 24:1-24:19, ISBN 978-3-95977-203-7
Publisher: Dagstuhl
DOI: 10.4230/lipics.concur.2021.24

Probabilistic Hyperproperties of Markov Decision Processes (opens in new window)

Author(s): Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 484-500, ISBN 978-3-030-59151-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-59152-6_27

Efficient monitoring of hyperproperties using prefix trees (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in: International Journal on Software Tools for Technology Transfer, Issue 22/6, 2020, Page(s) 729-740, ISSN 1433-2779
Publisher: Springer Verlag
DOI: 10.1007/s10009-020-00552-5

Distributed PROMPT-LTL Synthesis (opens in new window)

Author(s): Swen Jacobs, Leander Tentrup, Martin Zimmermann
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 226, 2016, Page(s) 228-241, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.226.16

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time (opens in new window)

Author(s): Leander Tentrup, Alexander Weinert, Martin Zimmermann
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 226, 2016, Page(s) 302-315, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.226.21

Causality-based Model Checking (opens in new window)

Author(s): Bernd Finkbeiner, Andrey Kupriyanov
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 259, 2017, Page(s) 31-38, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.259.3

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results (opens in new window)

Author(s): Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 229, 2016, Page(s) 149-177, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.229.12

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results (opens in new window)

Author(s): 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
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 260, 2017, Page(s) 116-143, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.260.10

Symbolic vs. Bounded Synthesis for Petri Games (opens in new window)

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 260, 2017, Page(s) 23-43, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.260.5

A High-Level LTL Synthesis Format: TLSF v1.1 (opens in new window)

Author(s): Swen Jacobs, Felix Klein, Sebastian Schirmer
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 229, 2016, Page(s) 112-132, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/eptcs.229.10

Distributed synthesis for parameterized temporal logics (opens in new window)

Author(s): Swen Jacobs, Leander Tentrup, Martin Zimmermann
Published in: Information and Computation, Issue 262, 2018, Page(s) 311-328, ISSN 0890-5401
Publisher: Academic Press
DOI: 10.1016/j.ic.2018.09.009

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems (opens in new window)

Author(s): Hadas Kress-Gazit, Hazem Torfah
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 286, 2019, Page(s) 50-64, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/eptcs.286.5

Solving QBF by Abstraction (opens in new window)

Author(s): Jesko Hecking-Harbusch, Leander Tentrup
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 277, 2018, Page(s) 88-102, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/eptcs.277.7

Monitoring hyperproperties (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in: Formal Methods in System Design, Issue 54/3, 2019, Page(s) 336-363, ISSN 0925-9856
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10703-019-00334-z

FPGA Stream-Monitoring of Real-time Properties (opens in new window)

Author(s): Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
Published in: ACM Transactions on Embedded Computing Systems, Issue 18/5s, 2019, Page(s) 1-24, ISSN 1539-9087
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3358220

Synthesis from hyperproperties (opens in new window)

Author(s): Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Published in: Acta Informatica, Issue 57/1-2, 2020, Page(s) 137-163, ISSN 0001-5903
Publisher: Springer Verlag
DOI: 10.1007/s00236-019-00358-2

Controller Synthesis for Hyperproperties (opens in new window)

Author(s): Borzoo Bonakdarpour, Bernd Finkbeiner
Published in: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020, Page(s) 366-379, ISBN 978-1-7281-6572-1
Publisher: IEEE
DOI: 10.1109/csf49147.2020.00033

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory (opens in new window)

Author(s): Finkbeiner, Bernd ; Gieseking, Manuel ; Hecking-Harbusch, Jesko ; Olderog, Ernst-Rüdiger
Published in: Annual Conference on Computer Science Logic, CSL 2022, 2022
Publisher: Schloss Dagstuhl
DOI: 10.4230/lipics.csl.2022.20

Vehicle Platooning Simulations with Functional Reactive Programming (opens in new window)

Author(s): Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles - SCAV'17, 2017, Page(s) 43-47, ISBN 9781-450349765
Publisher: ACM Press
DOI: 10.1145/3055378.3055385

Is your software on dope? Formal analysis of surreptitiously “enhanced” programs (opens in new window)

Author(s): Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Published in: 26th European Symposium on Programming (ESOP 2017), Issue LNCS, volume 10201, 2017, Page(s) 83-110, ISBN 978-3-662-54433-4
Publisher: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54434-1_4

Synthesizing Skeletons for Reactive Systems (opens in new window)

Author(s): Bernd Finkbeiner, Hazem Torfah
Published in: 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Issue LNCS, volume 9938, 2016, Page(s) 271-286, ISBN 978-3-319-46519-7
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-46520-3_18

Facets of Software Doping (opens in new window)

Author(s): Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
Published in: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2017), Issue LNCS, volume 9953, 2016, Page(s) 601-608, ISBN 978-3-319-47168-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_46

BoSy: An Experimentation Framework for Bounded Synthesis (opens in new window)

Author(s): Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
Published in: 29th International Conference on Computer-Aided Verification (CAV 2017), Issue LNCS, volume 10427, 2017, Page(s) 325-332, ISBN 978-3-319-63389-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-63390-9_17

Encodings of Bounded Synthesis (opens in new window)

Author(s): Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Published in: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017) , Issue LNCS, volume 10205, 2017, Page(s) 354-370, ISBN 978-3-662-54576-8
Publisher: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54577-5_20

Stream Runtime Monitoring on UAS (opens in new window)

Author(s): Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
Published in: 17th International Conference on Runtime Verification (RV 2017), Issue LNCS, volume 10548, 2017, Page(s) 33-49, ISBN 978-3-319-67530-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-67531-2_3

The Density of Linear-time Properties (opens in new window)

Author(s): Bernd Finkbeiner, Hazem Torfah
Published in: 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Issue LNCS, volume 10482, 2017, Page(s) 139-155, ISBN 978-3-319-68166-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-68167-2_10

On Expansion and Resolution in CEGAR Based QBF Solving (opens in new window)

Author(s): Leander Tentrup
Published in: 29th International Conference on Computer-Aided Verification (CAV 2017), Issue LNCS, volume 10427, 2017, Page(s) 475-494, ISBN 978-3-319-63389-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-63390-9_25

Synthesis in Distributed Environments (opens in new window)

Author(s): Bernd Finkbeiner, Paul Gölz
Published in: 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Issue LIPIcs 93, 2017, Page(s) 28:1-28:14, ISBN 978-3-95977-055-2
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2017.28

Symmetric Synthesis (opens in new window)

Author(s): Rüdiger Ehlers, Bernd Finkbeiner
Published in: 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Issue LIPIcs 93, 2017, Page(s) 26:1-26:13, ISBN 978-3-95977-055-2
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2017.26

Synthesizing functional reactive programs (opens in new window)

Author(s): Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019, 2019, Page(s) 162-175, ISBN 9781-450368131
Publisher: ACM Press
DOI: 10.1145/3331545.3342601

The Hierarchy of Hyperlogics (opens in new window)

Author(s): Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
Published in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-13, ISBN 978-1-7281-3608-0
Publisher: IEEE
DOI: 10.1109/lics.2019.8785713

Canonical Representations of k-Safety Hyperproperties (opens in new window)

Author(s): Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Published in: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, Page(s) 17-1714, ISBN 978-1-7281-1407-1
Publisher: IEEE
DOI: 10.1109/csf.2019.00009

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications (opens in new window)

Author(s): Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Published in: 2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Page(s) 138-146, ISBN 978-0-9835678-9-9
Publisher: IEEE
DOI: 10.23919/fmcad.2019.8894261

Visual Analysis of Hyperproperties for Understanding Model Checking Results. (opens in new window)

Author(s): Tom Horak; Norine Coenen; Niklas Metzger; Christopher Hahn; Tamara Flemisch; Julian Mendez; Dennis Dimov; Bernd Finkbeiner; Raimund Dachselt
Published in: IEEE Trans. Vis. Comput. Graph., 2022
Publisher: IEEE
DOI: 10.1109/tvcg.2021.3114866

The Complexity of Monitoring Hyperproperties (opens in new window)

Author(s): Borzoo Bonakdarpour, Bernd Finkbeiner
Published in: 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Page(s) 162-174, ISBN 978-1-5386-6680-7
Publisher: IEEE
DOI: 10.1109/csf.2018.00019

Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity (opens in new window)

Author(s): Virtema, Jonni; Hofmann, Jana; Finkbeiner, Bernd; Kontinen, Juha; Yang, Fan
Published in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, 2021
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2021.52

From LTL to rLTL monitoring - improved monitorability through robust semantics (opens in new window)

Author(s): Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
Published in: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, Page(s) 1-12, ISBN 9781450370189
Publisher: ACM
DOI: 10.1145/3365365.3382197

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Author(s): Jacobs, Swen; Bloem, Roderick; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Philipp J.; Michaud, Thibaud; Sakr, Mouhammad; Sickert, Salomon; Tentrup, Leander; Walker, Adam
Published in: arXiv preprint arXiv:1904.07736, 2019, ISSN 2331-8422
Publisher: arXiv

Teaching Temporal Logics to Neural Networks

Author(s): Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus N. Rabe, Bernd Finkbeiner
Published in: 2021
Publisher: arxiv

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0