Enforcement of (Timed) Properties with Uncontrollable Events
- 25 December 2015
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- System design of stochastic models using robustness of temporal propertiesTheoretical Computer Science, 2015
- Runtime enforcement for component-based systemsPublished by Association for Computing Machinery (ACM) ,2015
- Shield Synthesis:Published by Springer Science and Business Media LLC ,2015
- Enforceable Security Policies RevisitedACM Transactions on Information and System Security, 2013
- Decentralised LTL MonitoringLecture Notes in Computer Science, 2012
- Algorithms for Monitoring Real-Time PropertiesLecture Notes in Computer Science, 2012
- Timed I/O automataPublished by Association for Computing Machinery (ACM) ,2010
- Safe Runtime Verification of Real-Time PropertiesLecture Notes in Computer Science, 2009
- LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- The theory of timed automataLecture Notes in Computer Science, 1992