Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
2017
66 citations
Journal Article
hybrid Open Access
Field-Weighted Citation Impact:
22.19
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | Researchclopedia
University of Waterloo
Felix Klaedtke
Reed Milewicz
·
University of Alabama at Birmingham
Giles Reger
·
University of Manchester
Grigore Roşu
·
University of Illinois Urbana-Champaign
Julien Signoles
·
Laboratoire d'Intégration des Systèmes et des Technologies
Daniel Thoma
·
University of Lübeck
Eugen Zălinescu
·
ETH Zurich
Yi Zhang
·
University of Illinois Urbana-Champaign