„Hyperproperties“

Suchergebnisse

1.000+ Treffer

• Explainability requirements as hyperproperties
  Finkbeiner, Bernd ; Siber, Julian
• Verification of asynchronous hyperproperties
  Ohrem, Christoph ; Müller-Olm, Markus 2025 Universitäts- und Landesbibliothek Münster
• Flavors of Quantifiers in Hyperlogics
  Chalupa, Marek ; Henzinger, Thomas A. ; Oliveira Da Costa, Ana Alexandra 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hypernode Automata
  Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Global Neural Network Specifications using Hyperproperties
  Boetius, David ; Leue, Stefan 2023 KOPS Universität Konstanz
• Team semantics for the specification and verification of hyperproperties
  Krebs, Andreas ; Meier, Arne ; Virtema, Jonni ; Zimmermann, Martin 2018 Gottfried Wilhelm Leibniz Universität Hannover
• Gray-box runtime enforcement of hyperproperties
  Hsu, Tzu-Han ; Oliveira da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo
• Preserving hyperproperties of programs using primitives with consensus number 2
  Attiya, Hagit ; Castañeda, Armando ; Enea, Constantin
• Quantitative Language Automata
  Henzinger, Thomas A. ; Kebis, Pavol ; Mazzocchi, Nicolas ; Saraç, N. Ege 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The linear-hyper-branching spectrum of temporal logics
  Finkbeiner, Bernd ; Rabe, Markus N.
• Brief Announcement: On Strong Observational Refinement and Forward Simulation
  Derrick, John ; Doherty, Simon ; Dongol, Brijesh ; Schellhorn, Gerhard ; Wehrheim, Heike 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deciding Hyperproperties
  Finkbeiner, Bernd ; Hahn, Christopher 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
  Virtema, Jonni ; Hofmann, Jana ; Finkbeiner, Bernd ; Kontinen, Juha ; Yang, Fan 2021 Gottfried Wilhelm Leibniz Universität Hannover
• Unifying Asynchronous Logics for Hyperproperties
  Bombardelli, Alberto ; Bozzelli, Laura ; Sánchez, César ; Tonetta, Stefano 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hyperproperty-Preserving Register Specifications
  Ben Shimon, Yoav ; Lahav, Ori ; Shoham, Sharon 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Centralized vs Decentralized Monitors for Hyperproperties
  Aceto, Luca ; Achilleos, Antonis ; Anastasiadi, Elli ; Francalanza, Adrian ; Gorla, Daniele ; Wagemaker, Jana 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
  Virtema, Jonni ; Hofmann, Jana ; Finkbeiner, Bernd ; Kontinen, Juha ; Yang, Fan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111)
  Kontinen, Juha ; Virtema, Jonni ; Vollmer, Heribert ; Yang, Fan ; Fröhlich, Nicolas
• Faithful Simulation of Randomized BFT Protocols on Block DAGs
  Attiya, Hagit ; Enea, Constantin ; Nassar, Shafik 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
  Kontinen, Juha ; Sandström, Max ; Virtema, Jonni 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik