Abstract | ||
---|---|---|
Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the correctness of complex systems, including cyber-physical systems (CPSs). Modern RV tools also allow to measure the distance of a CPS behavior from a given formal requirement, thus, to quantify the robustness of a CPS with respect to perturbations caused by the physical environment. In this paper, we propos... |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/TCAD.2018.2858460 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Keywords | DocType | Volume |
Monitoring,Semantics,Robustness,Runtime,Measurement,Automata,Tools | Journal | 37 |
Issue | ISSN | Citations |
11 | 0278-0070 | 4 |
PageRank | References | Authors |
0.38 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefan Jaksic | 1 | 55 | 4.21 |
Ezio Bartocci | 2 | 733 | 57.55 |
R. Grosu | 3 | 110 | 13.73 |
Dejan Nickovic | 4 | 743 | 40.88 |