Logics and Algorithms for a Unified Theory of Hyperproperties

Informazioni relative al progetto

HYPER

ID dell’accordo di sovvenzione: 101055412

DOI

10.3030/101055412

Data della firma CE 28 Luglio 2022

Data di avvio 1 Novembre 2022

Data di completamento 31 Ottobre 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 227 500,00

Contributo UE

€ 2 227 500,00

Coordinato da

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (15)

A Tutorial on Stream-Based Monitoring

Autori: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
Pubblicato in: Lecture Notes in Computer Science, Formal Methods, 2024
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71177-0_33

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

Autori: Raven Beutner, Bernd Finkbeiner
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 38, 2024, ISSN 2374-3468
Editore: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v38i16.29679

Counterfactual Explanations for MITL Violations

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

Information Flow Guided Synthesis with Unbounded Communication

Autori: Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Pubblicato in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_4

Monitoring Second-Order Hyperproperties

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

Syntax-Guided Automated Program Repair for Hyperproperties

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

Checking Satisfiability of Hyperproperties Using First-Order Logic

Autori: Raven Beutner, Bernd Finkbeiner
Pubblicato in: Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2024
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-78750-8_10

Hyper Strategy Logic

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

Finding ∀∃ Hyperbugs using Symbolic Execution

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

Coinductive Proofs for Temporal Hyperliveness

Autori: Arthur Correnson, Bernd Finkbeiner
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 9, 2025, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3704889

Visualizing Game-Based Certificates for Hyperproperty Verification

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

Synthesis of Universal Safety Controllers

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

Stream-Based Monitoring of Algorithmic Fairness

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

Non-deterministic Planning for Hyperproperty Verification

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

Synthesis of Temporal Causality

Autori: Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Pubblicato in: Lecture Notes in Computer Science, Computer Aided Verification, 2024
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-65633-0_5

Peer reviewed articles (2)

Logical Methods in Computer Science

Autori: Raven Beutner; Bernd Finkbeiner
Pubblicato in: Logical Methods in Computer Science, 2023, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig
DOI: 10.48550/arXiv.2203.07283

Logics and Algorithms for Hyperproperties

Autori: Bernd Finkbeiner
Pubblicato in: ACM SIGLOG News, Numero 10, 2024, ISSN 2372-3491
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3610392.3610394