Logics and Algorithms for a Unified Theory of Hyperproperties

Informacje na temat projektu

HYPER

Identyfikator umowy o grant: 101055412

DOI

10.3030/101055412

Data podpisania przez KE 28 Lipca 2022

Data rozpoczęcia 1 Listopada 2022

Data zakończenia 31 Października 2027

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 2 227 500,00

Wkład UE

€ 2 227 500,00

Koordynowany przez

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (15)

A Tutorial on Stream-Based Monitoring

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

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

Autorzy: Raven Beutner, Bernd Finkbeiner
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 38, 2024, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v38i16.29679

Counterfactual Explanations for MITL Violations

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

Information Flow Guided Synthesis with Unbounded Communication

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

Monitoring Second-Order Hyperproperties

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

Syntax-Guided Automated Program Repair for Hyperproperties

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

Checking Satisfiability of Hyperproperties Using First-Order Logic

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

Hyper Strategy Logic

Autorzy: Raven Beutner, Bernd Finkbeiner
Opublikowane w: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Wydawca: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.48550/arXiv.2403.13741

Finding ∀∃ Hyperbugs using Symbolic Execution

Autorzy: Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3689761

Coinductive Proofs for Temporal Hyperliveness

Autorzy: Arthur Correnson, Bernd Finkbeiner
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 9, 2025, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3704889

Visualizing Game-Based Certificates for Hyperproperty Verification

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

Synthesis of Universal Safety Controllers

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

Stream-Based Monitoring of Algorithmic Fairness

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

Non-deterministic Planning for Hyperproperty Verification

Autorzy: Raven Beutner, Bernd Finkbeiner
Opublikowane w: Proceedings of the International Conference on Automated Planning and Scheduling, Numer 34, 2024, ISSN 2334-0843
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/icaps.v34i1.31457

Synthesis of Temporal Causality

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

Peer reviewed articles (2)

Logical Methods in Computer Science

Autorzy: Raven Beutner; Bernd Finkbeiner
Opublikowane w: Logical Methods in Computer Science, 2023, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.48550/arXiv.2203.07283

Logics and Algorithms for Hyperproperties

Autorzy: Bernd Finkbeiner
Opublikowane w: ACM SIGLOG News, Numer 10, 2024, ISSN 2372-3491
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3610392.3610394