Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang. First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. STTT, 21(1):31-70, 2019. [doi]
Abstract is missing.