scientific article; zbMATH DE number 7378578

DOI10.4230/LIPIcs.CONCUR.2018.34MaRDI QIDQ5009452

Anna Ingólfsdóttir, Luca Aceto, Adrian Francalanza, Ian Cassar

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/1807.01004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logicmonitor synthesisenforceabilitysuppression enforcement

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ On first-order runtime enforcement of branching-time properties ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Determinizing monitors for HML with recursion ⋮ A theory of monitors ⋮ On bidirectional runtime enforcement

Uses Software

• LoPSiL

Cites Work

• Unnamed Item
• Unnamed Item
• Self-adaptation and secure information flow in multiparty communications
• Monitoring networks through multiparty session types
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Combining test case generation and runtime verification
• Results on the propositional \(\mu\)-calculus
• Synthesising correct concurrent runtime monitors
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• A calculus of mobile processes. I
• A framework for parameterized monitorability
• Shield synthesis
• Monitorability for the Hennessy-Milner logic with recursion
• Survey on JavaScript security policies and their enforcement mechanisms in a web browser
• A Theory of Monitors
• Monitors and blame assignment for higher-order session types
• Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
• Introduction to Bisimulation and Coinduction
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Consistently-detecting monitors
• Monitoring for Silent Actions
• An LTL Proof System for Runtime Verification
• Reactive Systems
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• A complete axiomatisation for trace congruence of finite state behaviors

This page was built for publication: