Logics and Algorithms for a Unified Theory of Hyperproperties

Projektinformationen

HYPER

ID Finanzhilfevereinbarung: 101055412

DOI

10.3030/101055412

EK-Unterschriftsdatum 28 Juli 2022

Startdatum 1 November 2022

Enddatum 31 Oktober 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 227 500,00

EU-Beitrag

€ 2 227 500,00

Koordiniert durch

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (15)

A Tutorial on Stream-Based Monitoring

Autoren: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
Veröffentlicht in: Lecture Notes in Computer Science, Formal Methods, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71177-0_33

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

Autoren: Raven Beutner, Bernd Finkbeiner
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 38, 2024, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v38i16.29679

Counterfactual Explanations for MITL Violations

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

Information Flow Guided Synthesis with Unbounded Communication

Autoren: Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Veröffentlicht in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_4

Monitoring Second-Order Hyperproperties

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

Syntax-Guided Automated Program Repair for Hyperproperties

Autoren: Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Veröffentlicht in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_1

Checking Satisfiability of Hyperproperties Using First-Order Logic

Autoren: Raven Beutner, Bernd Finkbeiner
Veröffentlicht in: Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-78750-8_10

Hyper Strategy Logic

Autoren: Raven Beutner, Bernd Finkbeiner
Veröffentlicht in: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Herausgeber: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.48550/arXiv.2403.13741

Finding ∀∃ Hyperbugs using Symbolic Execution

Autoren: Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3689761

Coinductive Proofs for Temporal Hyperliveness

Autoren: Arthur Correnson, Bernd Finkbeiner
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3704889

Visualizing Game-Based Certificates for Hyperproperty Verification

Autoren: Raven Beutner, Bernd Finkbeiner, Angelina Göbl
Veröffentlicht in: Lecture Notes in Computer Science, Formal Methods, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71177-0_5

Synthesis of Universal Safety Controllers

Autoren: Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
Veröffentlicht in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90653-4_9

Stream-Based Monitoring of Algorithmic Fairness

Autoren: Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
Veröffentlicht in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90643-5_4

Non-deterministic Planning for Hyperproperty Verification

Autoren: Raven Beutner, Bernd Finkbeiner
Veröffentlicht in: Proceedings of the International Conference on Automated Planning and Scheduling, Ausgabe 34, 2024, ISSN 2334-0843
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/icaps.v34i1.31457

Synthesis of Temporal Causality

Autoren: Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Veröffentlicht in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_5

Peer reviewed articles (2)

Logical Methods in Computer Science

Autoren: Raven Beutner; Bernd Finkbeiner
Veröffentlicht in: Logical Methods in Computer Science, 2023, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.48550/arXiv.2203.07283

Logics and Algorithms for Hyperproperties

Autoren: Bernd Finkbeiner
Veröffentlicht in: ACM SIGLOG News, Ausgabe 10, 2024, ISSN 2372-3491
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3610392.3610394