A domain analysis of resource and requirements monitoring: Towards a comprehensive model of the software monitoring domain
Abstract [Context] Complex and heterogeneous software systems need to be monitored as
their full behavior often only emerges at runtime, eg, when interacting with other systems or …
their full behavior often only emerges at runtime, eg, when interacting with other systems or …
Efficient and generalized decentralized monitoring of regular languages
Y Falcone, T Cornebize, JC Fernandez - … , and Systems: 34th IFIP WG 6.1 …, 2014 - Springer
This paper proposes an efficient and generalized decentralized monitoring algorithm
allowing to detect satisfaction or violation of any regular specification by local monitors alone …
allowing to detect satisfaction or violation of any regular specification by local monitors alone …
Sampling-based runtime verification
B Bonakdarpour, S Navabpour… - FM 2011: Formal Methods …, 2011 - Springer
The literature of runtime verification mostly focuses on event-triggered solutions, where a
monitor is invoked by every change in the state of the system and evaluates properties of the …
monitor is invoked by every change in the state of the system and evaluates properties of the …
Distributed system contract monitoring
A Francalanza, A Gauci, GJ Pace - The Journal of Logic and Algebraic …, 2013 - Elsevier
Runtime verification of distributed systems poses various challenges. A pivotal challenge is
the choice of howto distribute the monitors themselves across the system. On one hand …
the choice of howto distribute the monitors themselves across the system. On one hand …
Monitoring data usage in distributed systems
IT systems manage increasing amounts of sensitive data and there is a growing concern that
they comply with policies that regulate data usage. In this paper, we use temporal logic to …
they comply with policies that regulate data usage. In this paper, we use temporal logic to …
Time-triggered runtime verification
B Bonakdarpour, S Navabpour… - Formal Methods in System …, 2013 - Springer
The goal of runtime verification is to monitor the behavior of a system to check its
conformance to a set of desirable logical properties. The literature of runtime verification …
conformance to a set of desirable logical properties. The literature of runtime verification …
[图书][B] Automata based monitoring and mining of execution traces
G Reger - 2014 - search.proquest.com
This thesis contributes work to the fields of runtime monitoring and specification mining. It
develops a formalism for specifying patterns of behaviour in execution traces and defines …
develops a formalism for specifying patterns of behaviour in execution traces and defines …
Specularities on surfaces with tangential hairs or grooves
R Lu, JJ Koenderink, AML Kappers - Computer Vision and Image …, 2000 - Elsevier
Specularities on surfaces with tangential hairs or grooves are readily observable in nature.
Examples of such phenomena are the arched or looped highlights observed on horses and …
Examples of such phenomena are the arched or looped highlights observed on horses and …
Reducing monitoring overhead by integrating event-and time-triggered techniques
CWW Wu, D Kumar, B Bonakdarpour… - Runtime Verification: 4th …, 2013 - Springer
Runtime verification is a formal technique used to check whether a program under
inspection satisfies its specification by using a runtime monitor. Existing monitoring …
inspection satisfies its specification by using a runtime monitor. Existing monitoring …
Improving runtime overheads for detecter
I Cassar, A Francalanza, S Said - arXiv preprint arXiv:1503.04912, 2015 - arxiv.org
We design monitor optimisations for detectEr, a runtime-verification tool synthesising
systems of concurrent monitors from correctness properties for Erlang programs. We …
systems of concurrent monitors from correctness properties for Erlang programs. We …