Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
24
views
19
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
5,381
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Enforcement of (Timed) Properties with Uncontrollable Events
other
Author(s):
Matthieu Renard
,
Yliès Falcone
,
Antoine Rollet
,
Srinivas Pinisetty
,
Thierry Jéron
,
Hervé Marchand
Publication date
(Online):
December 25 2015
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Annual Reviews Climate Change and Extreme Events
Most cited references
19
Record
: found
Abstract
: not found
Article
: not found
Enforceable security policies
Fred B. Schneider
(2000)
0
comments
Cited
64
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Uppaal in a nutshell
Kim G. Larsen
,
Paul Pettersson
,
Wang Yi
(1997)
0
comments
Cited
47
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Run-Time Enforcement of Nonsafety Policies
Jay Ligatti
,
Lujo Bauer
,
David Walker
(2009)
0
comments
Cited
15
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2015
Publication date (Online):
December 25 2015
Pages
: 542-560
DOI:
10.1007/978-3-319-25150-9_31
SO-VID:
8cfcb353-4fe3-463e-9169-d087ef3562ac
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem
pp. 28
Location Privacy via Geo-Indistinguishability
pp. 39
A Note on Monitors and Büchi Automata
pp. 58
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)
pp. 63
The Proof Technique of Unique Solutions of Contractions
pp. 69
On Probabilistic Distributed Strategies
pp. 91
Newton Series, Coinductively
pp. 126
Inverse Monoids of Higher-Dimensional Strings
pp. 144
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic
pp. 165
Learning Register Automata with Fresh Value Generation
pp. 184
Modeling Product Lines with Kripke Structures and Modal Logic
pp. 203
Deterministic Regular Expressions with Interleaving
pp. 223
Rigid Families for CCS and the $$\pi $$ -calculus
pp. 241
Quotients of Unbounded Parallelism
pp. 258
Higher-Order Dynamics in Event Structures
pp. 272
Asynchronous Announcements in a Public Channel
pp. 290
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes
pp. 309
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems
pp. 328
A Graphical Theorem of the Alternative for UTVPI Constraints
pp. 349
Converging from Branching to Linear Metrics on Markov Chains
pp. 368
MSO Logic and the Partial Order Semantics of Place/Transition-Nets
pp. 388
A Resource Aware Computational Interpretation for Herbelin’s Syntax
pp. 404
Undecidability Results for Multi-Lane Spatial Logic
pp. 425
Aspect-Oriented Development of Trustworthy Component-based Systems
pp. 445
A Game of Attribute Decomposition for Software Architecture Design
pp. 464
Multi-rate System Design Through Integrating Synchronous Components
pp. 485
Verifying Android’s Permission Model
pp. 505
CSP and Kripke Structures
pp. 524
Specifying and Analyzing the Kademlia Protocol in Maude
pp. 542
Enforcement of (Timed) Properties with Uncontrollable Events
pp. 563
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
pp. 573
CAAL: Concurrency Workbench, Aalborg Edition
pp. 597
A Mathematical Game Semantics of Concurrency and Nondeterminism
pp. 608
First Steps Towards Cumulative Inductive Types in CIC
Similar content
5,381
Uncontrolled airway inflammation in lung disease represents a defect in counter-regulatory signaling.
Authors:
Anna Planagumà
,
Bruce Levy
A kick in the shins: The financial impact of uncontrolled warfarin use in pre-tibial haematomas
Authors:
W.L. Thomson
,
A. Pujol-Nicolas
,
A. Tahir
…
Long-term outcome and risk factors for uncontrolled seizures after a first seizure in children with hematological malignancies.
Authors:
Raja B Khan
,
E Morris
,
Ching-Hon Pui
…
See all similar
Cited by
3
Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems
Authors:
Huimin Zhang
,
Lei Feng
,
Naiqi Wu
…
GREP: Games for the Runtime Enforcement of Properties
Authors:
Matthieu Renard
,
Antoine Rollet
,
Yliès Falcone
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Authors:
Meng Da Wu
,
Jingbo Wang
,
Jyotirmoy Deshmukh
…
See all cited by