Logics and Algorithms for a Unified Theory of Hyperproperties

Información del proyecto

HYPER

Identificador del acuerdo de subvención: 101055412

DOI

10.3030/101055412

Fecha de la firma de la CE 28 Julio 2022

Fecha de inicio 1 Noviembre 2022

Fecha de finalización 31 Octubre 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 227 500,00

Aportación de la UE

€ 2 227 500,00

Coordinado por

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (15)

A Tutorial on Stream-Based Monitoring

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

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

Autores: Raven Beutner, Bernd Finkbeiner
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 38, 2024, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v38i16.29679

Counterfactual Explanations for MITL Violations

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

Information Flow Guided Synthesis with Unbounded Communication

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

Monitoring Second-Order Hyperproperties

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

Syntax-Guided Automated Program Repair for Hyperproperties

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

Checking Satisfiability of Hyperproperties Using First-Order Logic

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

Hyper Strategy Logic

Autores: Raven Beutner, Bernd Finkbeiner
Publicado en: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Editor: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.48550/arXiv.2403.13741

Finding ∀∃ Hyperbugs using Symbolic Execution

Autores: Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3689761

Coinductive Proofs for Temporal Hyperliveness

Autores: Arthur Correnson, Bernd Finkbeiner
Publicado en: Proceedings of the ACM on Programming Languages, Edición 9, 2025, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3704889

Visualizing Game-Based Certificates for Hyperproperty Verification

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

Synthesis of Universal Safety Controllers

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

Stream-Based Monitoring of Algorithmic Fairness

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

Non-deterministic Planning for Hyperproperty Verification

Autores: Raven Beutner, Bernd Finkbeiner
Publicado en: Proceedings of the International Conference on Automated Planning and Scheduling, Edición 34, 2024, ISSN 2334-0843
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/icaps.v34i1.31457

Synthesis of Temporal Causality

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

Peer reviewed articles (2)

Logical Methods in Computer Science

Autores: Raven Beutner; Bernd Finkbeiner
Publicado en: Logical Methods in Computer Science, 2023, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig
DOI: 10.48550/arXiv.2203.07283

Logics and Algorithms for Hyperproperties

Autores: Bernd Finkbeiner
Publicado en: ACM SIGLOG News, Edición 10, 2024, ISSN 2372-3491
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3610392.3610394