Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
RV
2015
Springer
9views Hardware» more  RV 2015»
5 years 7 months ago
Statistical Model Checking of Distributed Adaptive Real-Time Software
Abstract. The problem of estimating quantitative properties of distributed cyber-physical software that coordinate and adapt to uncertain environments is addressed. A domain-speciļ...
David Kyle, Jeffery P. Hansen, Sagar Chaki
RV
2015
Springer
19views Hardware» more  RV 2015»
5 years 7 months ago
Assuring the Guardians
Ultra-critical systems are growing more complex, and future systems are likely to be autonomous and cannot be assured by traditional means. Runtime Veriļ¬cation (RV) can act as th...
Jonathan Laurent, Alwyn Goodloe, Lee Pike
RV
2015
Springer
12views Hardware» more  RV 2015»
5 years 7 months ago
On Verifying Hennessy-Milner Logic with Recursion at Runtime
We study ĀµHML (a branching-time logic with least and greatest ļ¬xpoints) from a runtime veriļ¬cation perspective. We establish which subset of the logic can be veriļ¬ed at runt...
Adrian Francalanza, Luca Aceto, Anna Ingólf...
RV
2015
Springer
11views Hardware» more  RV 2015»
5 years 7 months ago
Robust Online Monitoring of Signal Temporal Logic
Abstract. Requirements of cyberphysical systems (CPS) can be rigorously speciļ¬ed using Signal Temporal Logic (STL). STL comes equipped with semantics that are able to quantify ho...
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shr...
RV
2015
Springer
15views Hardware» more  RV 2015»
5 years 7 months ago
Monitoring Real Android Malware
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...
Jan-Christoph Küster, Andreas Bauer 0002
RV
2015
Springer
9views Hardware» more  RV 2015»
5 years 7 months ago
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Abstract. We address the speciļ¬cation and veriļ¬cation of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator ca...
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Mi...
RV
2015
Springer
11views Hardware» more  RV 2015»
5 years 7 months ago
From First-order Temporal Logic to Parametric Trace Slicing
Abstract. Parametric runtime veriļ¬cation is the process of verifying properties of execution traces of (data carrying) events produced by a running system. This paper considers t...
Giles Reger, David E. Rydeheard
RV
2015
Springer
16views Hardware» more  RV 2015»
5 years 7 months ago
Runtime Adaptation for Actor Systems
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...
Ian Cassar, Adrian Francalanza
RV
2015
Springer
15views Hardware» more  RV 2015»
5 years 7 months ago
Suggesting Edits to Explain Failing Traces
Runtime veriļ¬cation involves checking whether an execution trace produced by a running system satisļ¬es a speciļ¬cation. However, a simple ā€˜yesā€™ or ā€˜noā€™ answer may not ...
Giles Reger
ATVA
2015
Springer
23views Hardware» more  ATVA 2015»
5 years 7 months ago
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks
We present ASSA-PBN, a tool for approximate steady-state analysis of large probabilistic Boolean networks (PBNs). ASSA-PBN contains a constructor, a simulator, and an analyser whic...
Andrzej Mizera, Jun Pang, Qixia Yuan
books