Talks and Poster Presentations (with Proceedings-Entry):
E. Bartocci, Y. Falcone:
"RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)";
Talk: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,
Limassol, Cyprus;
2018-11-05
- 2018-11-09; in: "Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice",
Springer International Publishing,
11247
(2018),
3
- 8.
English abstract:
This paper introduces the RV-TOP track at ISoLA´18. The purpose of the track is to bring together experts on runtime verification and industry practitioners domains to (i) disseminate advanced research topics (ii) disseminate current industrial challenges and (iii) get RV more attractive to industry and usable in additional application domains. The track consists of eight contributed papers presented during three sessions.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-03427-6_1
Created from the Publication Database of the Vienna University of Technology.