RV-CUBES 2017: AN INTERNATIONAL WORKSHOP ON COMPETITIONS, USABILITY, BENCHMARKS, EVALUATION, AND STANDARDISATION FOR RUNTIME VERIFICATION TOOLS
PROGRAM FOR FRIDAY, SEPTEMBER 15TH: TALK VIEW

View: with abstractssession overview

15:00
15:30
16:00
16:30
17:00
15:00
Kristin Yvonne Rozier, Johann Schumann
15:00
David Basin, Felix Klaedtke, Eugen Zalinescu
15:00
B. Finkbeiner, P. Faymonville, H. Torfah, S. Schirmer, M. Schwenger
15:00
Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov
15:00
Sylvain Hallé, Raphael Khoury
15:30-15:40 Voting for "Most Interesting Poster"
15:40
Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
15:40
Sylvain Hallé, Raphael Khoury, Sebastien Gaboury
16:50-17:00 Summary and Award Giving