# First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

**Type:** Papers  
**Canonical URL:** https://scholariq.org/papers/first-international-competition-on-runtime-verification-rules-benchmarks-tools/

## Facts

| Field | Value |
| --- | --- |
| Author Names | Ezio Bartocci,Ylìès Falcone,Borzoo Bonakdarpour,Christian Colombo,Normann Decker,Klaus Havelund,Yogi Joshi,Felix Klaedtke,Reed Milewicz,Giles Reger,Grigore Roşu,Julien Signoles,Daniel Thoma,Eugen Zălinescu,Yi Zhang |
| Citations | 66 |
| DOI | 10.1007/s10009-017-0454-5 |
| Fields | Computer Science |
| Open Access | true |
| OA Status | hybrid |
| OA URL | https://link.springer.com/content/pdf/10.1007%2Fs10009-017-0454-5.pdf |
| OpenAlex ID | https://openalex.org/W2604968291 |
| Type | article |
| Year | 2017 |

## Paper authors

- [Borzoo Bonakdarpour](https://scholariq.org/researchers/borzoo-bonakdarpour/)

## Paper primary topic

- [Software Engineering Research](https://scholariq.org/topics/software-engineering-research/)

## Paper topics

- [Software Engineering Research](https://scholariq.org/topics/software-engineering-research/)
- [Software Testing and Debugging Techniques](https://scholariq.org/topics/software-testing-and-debugging-techniques/)
- [Software System Performance and Reliability](https://scholariq.org/topics/software-system-performance-and-reliability/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.