Copertina

Centralized vs Decentralized Monitors for Hyperproperties

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Francalanza, Adrian, Gorla, Daniele, Wagemaker, Jana
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science F.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Complexity results for modal logic with recursion via translations and tableaux
di: Aceto, Luca, et al.
Pubblicazione: (2023)

Monitoring Hyperproperties over Observed and Constructed Traces
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions
di: Achilleos, Antonis, et al.
Pubblicazione: (2023)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Achilleos, Antonis, et al.
Pubblicazione: (2024)

Safe Composition of Systems of Communicating Finite State Machines
di: Barbanera, Franco, et al.
Pubblicazione: (2024)

Embedding Differential Dynamic Logic in PVS
di: Slagel, J. Tanner, et al.
Pubblicazione: (2024)

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
di: van Glabbeek, Rob, et al.
Pubblicazione: (2026)

Gradual C0: Symbolic Execution for Gradual Verification
di: DiVincenzo, Jenna, et al.
Pubblicazione: (2022)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
di: van Glabbeek, Rob, et al.
Pubblicazione: (2025)

Sufficient Incorrectness Logic: SIL and Separation SIL
di: Ascari, Flavio, et al.
Pubblicazione: (2023)

U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
di: Ascari, Flavio, et al.
Pubblicazione: (2025)

Loop Termination and Generalized Collatz Sequences
di: Carelli, Mishel
Pubblicazione: (2026)

Calculational Design of Hyperlogics by Abstract Interpretation
di: Cousot, Patrick, et al.
Pubblicazione: (2024)

Safety, Relative Tightness and the Probabilistic Frame Rule
di: Jereb, Janez Ignacij, et al.
Pubblicazione: (2025)

Relation-Algebraic Verification of Disjoint-Set Forests
di: Guttmann, Walter
Pubblicazione: (2023)

A Type Theory for Probabilistic and Bayesian Reasoning
di: Adams, Robin, et al.
Pubblicazione: (2015)

The General and Finite Satisfiability Problems for PCTL are Undecidable
di: Chodil, Miroslav, et al.
Pubblicazione: (2024)

The Thins Ordering on Relations
di: Voermans, Ed, et al.
Pubblicazione: (2024)

Diagonals and Block-Ordered Relations
di: Backhouse, Roland, et al.
Pubblicazione: (2024)

Chronology as a Consistency Invariant in Composable Information Systems
di: Calvo, Anherutowa, et al.
Pubblicazione: (2026)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
di: Hellwig, Jonathan, et al.
Pubblicazione: (2025)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

Probabilistic Epistemic Dynamic Agentive Logic
di: Logan, Shay Allen
Pubblicazione: (2026)

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

Unified Fairness for Weak Memory Verification
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2023)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
di: Xu, Qiyuan, et al.
Pubblicazione: (2024)

Separation Logic of Generic Resources via Sheafeology
di: van Starkenburg, Berend, et al.
Pubblicazione: (2025)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Reasoning about distributive laws in a concurrent refinement algebra
di: Meinicke, Larissa A., et al.
Pubblicazione: (2024)

Restructuring a concurrent refinement algebra
di: Hayes, Ian J., et al.
Pubblicazione: (2024)

An example of goal-directed, calculational proof
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
di: Chiari, Michele, et al.
Pubblicazione: (2024)

Infinitary Refinement Types for Temporal Properties in Scott Domains
di: Riba, Colin, et al.
Pubblicazione: (2025)

Bounded Modal Logic
di: Murase, Yuito, et al.
Pubblicazione: (2026)

A Quadratic Lower Bound for Simulation
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
di: Baumeister, Jan, et al.
Pubblicazione: (2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

Simple Types for Polymorphic Functions
di: Jay, Barry, et al.
Pubblicazione: (2026)

How to Verify a Turing Machine with Dafny
di: Lederer, Edgar F. A.
Pubblicazione: (2026)

Non-Numerical Weakly Relational Domains
di: Seidl, Helmut, et al.
Pubblicazione: (2024)