Introduction to the Special Issue on Runtime Verification
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2023/08/01
-
Indian UGC (journal)
-
Refrences6
-
Jyotirmoy Deshmukh
-
Dejan Ničković
Abstract
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 |
|---|---|---|---|---|
| Engineering Dependable Software Systems | 2013 | |||
| Runtime Verification – 20th International Conference, RV 2020 | 2020 | |||
| Efficient and expressive bytecode-level instrumentation for Java programs | International Journal on Software Tools for Technology Transfer |
| 1 | 2023 |
| Concurrent runtime verification of data rich events | International Journal on Software Tools for Technology Transfer |
| 1 | 2023 |
MoonLight: a lightweight tool for monitoring spatio-temporal properties | International Journal on Software Tools for Technology Transfer |
| 1 | 2023 |