Searching for authors named "Kelly Androutsopoulos" – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Towards Security Monitoring Patterns
- …Runtime monitoring is performed during system execution to detect whether the system’s behaviour deviates from that described by requirements. To support this activity we have developed a monitoring framework that expresses the requirements to be monitored in event calculus – a formal temporal first…
- Add To MetaCart
-
Control Dependence for Extended Finite State Machines
- …Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control…
- Add To MetaCart
Showing 1 through 2.
