„Asynchronous hyperproperties“

Suchergebnisse

7 Treffer

• Verification of asynchronous hyperproperties
  Ohrem, Christoph ; Müller-Olm, Markus 2025 Universitäts- und Landesbibliothek Münster
• Hypernode Automata
  Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unifying Asynchronous Logics for Hyperproperties
  Bombardelli, Alberto ; Bozzelli, Laura ; Sánchez, César ; Tonetta, Stefano 2024 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
• Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
  Bozzelli, Laura ; Peron, Adriano ; Sánchez, César 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Temporal Logic for Strategic Hyperproperties
  Beutner, Raven ; Finkbeiner, Bernd 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Temporal Logic for Asynchronous Hyperproperties
  Baumeister, Jan ; Coenen, Norine ; Bonakdarpour, Borzoo ; Finkbeiner, Bernd ; Sánchez, César 2021 Springer