Decentralized LTL Enforcement
- 17 September 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 346, 135-151
- https://doi.org/10.4204/eptcs.346.9
Abstract
No abstract availableThis publication has 30 references indexed in Scilit:
- Enforcement of (Timed) Properties with Uncontrollable EventsLecture Notes in Computer Science, 2015
- Runtime enforcement of timed properties revisitedFormal Methods in System Design, 2014
- Modeling runtime enforcement with mandatory results automataInternational Journal of Information Security, 2014
- Enforceable Security Policies RevisitedACM Transactions on Information and System Security, 2013
- Runtime Verification for LTL and TLTLACM Transactions on Software Engineering and Methodology, 2011
- What can you verify and enforce at runtime?International Journal on Software Tools for Technology Transfer, 2011
- Runtime enforcement monitors: composition, synthesis, and enforcement abilitiesFormal Methods in System Design, 2011
- Detecting Temporal Logic Predicates on Distributed ComputationsLecture Notes in Computer Science, 2007
- Rewriting-Based Techniques for Runtime VerificationAutomated Software Engineering, 2005
- Monitoring Algorithms for Metric Temporal Logic SpecificationsElectronic Notes in Theoretical Computer Science, 2005