85
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Requirements of cyberphysical systems (CPS) can be rigorously specified using Signal Temporal Logic (STL). STL comes equipped with semantics that are able to quantify ho...
91
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
In the most comprehensive study on Android attacks so far (undertaken by the Android Malware Genome Project), the behaviour of more than 1, 200 malwares was analysed and categorise...
99
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. We address the specification and verification of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator ca...
92
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Parametric runtime verification is the process of verifying properties of execution traces of (data carrying) events produced by a running system. This paper considers t...
89
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
We study the problem of extending RV techniques in the context of (asynchronous) actor systems, so as to be able to carry out a degree of system adaptation at runtime. We propose e...