Logics and Algorithms for a Unified Theory of Hyperproperties

Informations projet

HYPER

N° de convention de subvention: 101055412

DOI

10.3030/101055412

Date de signature de la CE 28 Juillet 2022

Date de début 1 Novembre 2022

Date de fin 31 Octobre 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 227 500,00

Contribution de l’UE

€ 2 227 500,00

Coordonné par

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (15)

A Tutorial on Stream-Based Monitoring

Auteurs: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
Publié dans: Lecture Notes in Computer Science, Formal Methods, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71177-0_33

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

Auteurs: Raven Beutner, Bernd Finkbeiner
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 38, 2024, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v38i16.29679

Counterfactual Explanations for MITL Violations

Auteurs: Bernd Finkbeiner, Felix Jahn, Julian Siber
Publié dans: 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024), 2024
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2412.10386

Information Flow Guided Synthesis with Unbounded Communication

Auteurs: Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Publié dans: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_4

Monitoring Second-Order Hyperproperties

Auteurs: Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Publié dans: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024, ISBN 9798400704864
Éditeur: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
DOI: 10.48550/arXiv.2404.09652

Syntax-Guided Automated Program Repair for Hyperproperties

Auteurs: Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Publié dans: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_1

Checking Satisfiability of Hyperproperties Using First-Order Logic

Auteurs: Raven Beutner, Bernd Finkbeiner
Publié dans: Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-78750-8_10

Hyper Strategy Logic

Auteurs: Raven Beutner, Bernd Finkbeiner
Publié dans: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Éditeur: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.48550/arXiv.2403.13741

Finding ∀∃ Hyperbugs using Symbolic Execution

Auteurs: Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689761

Coinductive Proofs for Temporal Hyperliveness

Auteurs: Arthur Correnson, Bernd Finkbeiner
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 9, 2025, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3704889

Visualizing Game-Based Certificates for Hyperproperty Verification

Auteurs: Raven Beutner, Bernd Finkbeiner, Angelina Göbl
Publié dans: Lecture Notes in Computer Science, Formal Methods, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71177-0_5

Synthesis of Universal Safety Controllers

Auteurs: Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
Publié dans: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90653-4_9

Stream-Based Monitoring of Algorithmic Fairness

Auteurs: Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
Publié dans: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90643-5_4

Non-deterministic Planning for Hyperproperty Verification

Auteurs: Raven Beutner, Bernd Finkbeiner
Publié dans: Proceedings of the International Conference on Automated Planning and Scheduling, Numéro 34, 2024, ISSN 2334-0843
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/icaps.v34i1.31457

Synthesis of Temporal Causality

Auteurs: Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Publié dans: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_5

Peer reviewed articles (2)

Logical Methods in Computer Science

Auteurs: Raven Beutner; Bernd Finkbeiner
Publié dans: Logical Methods in Computer Science, 2023, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.48550/arXiv.2203.07283

Logics and Algorithms for Hyperproperties

Auteurs: Bernd Finkbeiner
Publié dans: ACM SIGLOG News, Numéro 10, 2024, ISSN 2372-3491
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3610392.3610394