Logics and Algorithms for a Unified Theory of Hyperproperties

Project Information

HYPER

Grant agreement ID: 101055412

DOI

10.3030/101055412

EC signature date 28 July 2022

Start date 1 November 2022

End date 31 October 2027

Funded under

• European Research Council (ERC)

Total cost

€ 2 227 500,00

EU contribution

€ 2 227 500,00

Coordinated by

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

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

Conference proceedings (15)

A Tutorial on Stream-Based Monitoring

Author(s): Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
Published in: Lecture Notes in Computer Science, Formal Methods, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71177-0_33

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing

Author(s): Raven Beutner, Bernd Finkbeiner
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 38, 2024, ISSN 2374-3468
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v38i16.29679

Counterfactual Explanations for MITL Violations

Author(s): Bernd Finkbeiner, Felix Jahn, Julian Siber
Published in: 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024), 2024
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2412.10386

Information Flow Guided Synthesis with Unbounded Communication

Author(s): Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Published in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_4

Monitoring Second-Order Hyperproperties

Author(s): Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Published in: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024, ISBN 9798400704864
Publisher: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
DOI: 10.48550/arXiv.2404.09652

Syntax-Guided Automated Program Repair for Hyperproperties

Author(s): Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Published in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_1

Checking Satisfiability of Hyperproperties Using First-Order Logic

Author(s): Raven Beutner, Bernd Finkbeiner
Published in: Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-78750-8_10

Hyper Strategy Logic

Author(s): Raven Beutner, Bernd Finkbeiner
Published in: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.48550/arXiv.2403.13741

Finding ∀∃ Hyperbugs using Symbolic Execution

Author(s): Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3689761

Coinductive Proofs for Temporal Hyperliveness

Author(s): Arthur Correnson, Bernd Finkbeiner
Published in: Proceedings of the ACM on Programming Languages, Issue 9, 2025, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3704889

Visualizing Game-Based Certificates for Hyperproperty Verification

Author(s): Raven Beutner, Bernd Finkbeiner, Angelina Göbl
Published in: Lecture Notes in Computer Science, Formal Methods, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71177-0_5

Synthesis of Universal Safety Controllers

Author(s): Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90653-4_9

Stream-Based Monitoring of Algorithmic Fairness

Author(s): Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90643-5_4

Non-deterministic Planning for Hyperproperty Verification

Author(s): Raven Beutner, Bernd Finkbeiner
Published in: Proceedings of the International Conference on Automated Planning and Scheduling, Issue 34, 2024, ISSN 2334-0843
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/icaps.v34i1.31457

Synthesis of Temporal Causality

Author(s): Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Published in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_5

Peer reviewed articles (2)

Logical Methods in Computer Science

Author(s): Raven Beutner; Bernd Finkbeiner
Published in: Logical Methods in Computer Science, 2023, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.48550/arXiv.2203.07283

Logics and Algorithms for Hyperproperties

Author(s): Bernd Finkbeiner
Published in: ACM SIGLOG News, Issue 10, 2024, ISSN 2372-3491
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3610392.3610394