A taxonomy for classifying runtime verification tools
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2021/04/01
-
Indian UGC (journal)
-
Refrences165
-
Citations9
-
Yliès Falcone
-
Srđan Krstić
-
Giles Reger
-
Dmitriy Traytel
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
- A New Approach to Abstract Syntax with Variable Binding
- Soundness of workflow nets: classification, decidability, and analysis
- Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
- Synthesis of opaque systems with static and dynamic masks
- Robust online monitoring of signal temporal logic
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
On the Monitoring of Decentralized Specifications | ACM Transactions on Software Engineering and Methodology |
| 9 | 2020 |
A survey of challenges for runtime verification from advanced application domains (beyond software) | Formal Methods in System Design |
| 22 | 2019 |
| Inferring event stream abstractions | Formal Methods in System Design |
| 6 | 2018 |
| On the complexity of monitoring Orchids signatures, and recurrence equations | Formal Methods in System Design |
| 2 | 2018 |
| R2U2: monitoring and diagnosis of security threats for unmanned aerial systems | Formal Methods in System Design |
| 14 | 2017 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Standard specification-based intrusion detection for hierarchical industrial control systems | Information Sciences |
| 1 | 2024 |
| Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic | Journal of Logical and Algebraic Methods in Programming |
| 2024 | |
| Model based component development and analysis with ComMA | Science of Computer Programming |
| 2024 | |
| Efficient and expressive bytecode-level instrumentation for Java programs | International Journal on Software Tools for Technology Transfer |
| 1 | 2023 |
| Execution trace analysis for a precise understanding of latency violations | Software and Systems Modeling |
| 2023 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 7
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Decentralized LTL Enforcement and was published in 2021. The most recent citation comes from a 2024 study titled Standard specification-based intrusion detection for hierarchical industrial control systems. This article reached its peak citation in 2023, with 4 citations. It has been cited in 9 different journals, 11% of which are open access. Among related journals, the Information Sciences cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.