103
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Although runtime monitoring is a promising technique to improve the verification of complex safety-critical systems, the general design trend towards utilizing black-box...
106
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
Continuous and hybrid behaviors naturally arise from many dynamical systems. In this tutorial, we present state-of-the-art techniques for qualitative and quantitative reasoning abo...
98
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. The problem of estimating quantitative properties of distributed cyber-physical software that coordinate and adapt to uncertain environments is addressed. A domain-speci...
122
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
Ultra-critical systems are growing more complex, and future systems are likely to be autonomous and cannot be assured by traditional means. Runtime Verification (RV) can act as th...
103
Voted
RV
2015
Springer
9 years 11 months ago
2015
Springer
We study µHML (a branching-time logic with least and greatest fixpoints) from a runtime verification perspective. We establish which subset of the logic can be verified at runt...