Research output per year
Research output per year
Search results
-
2017
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., 2017, In: International Journal on Software Tools for Technology Transfer. p. 1-40 40 p.Research output: Contribution to journal › Article › peer-review
Open Access -
2015
The Vampire and the FOOL
Kotelnikov, E., Kovács, L., Reger, G. & Voronkov, A., 2015, In: CoRR. abs/1510.04821Research output: Contribution to journal › Article › peer-review