|
RV-CUBES 2017: AN INTERNATIONAL WORKSHOP ON COMPETITIONS, USABILITY, BENCHMARKS, EVALUATION, AND STANDARDISATION FOR RUNTIME VERIFICATION TOOLS
TALK AUTHOR INDEX
B | Basin, David | | Bianculli, Domenico | | F | Faymonville, Peter | | Finkbeiner, Bernd | | G | Gaboury, Sebastien | | H | Hallé, Sylvain | | J | Jaksic, Svetlana | | K | Khoury, Raphael | | Klaedtke, Felix | | Kosmatov, Nikolai | | Krstic, Srdjan | | L | Leucker, Martin | | Li, Dan | | R | Rozier, Kristin Yvonne | | S | Schirmer, Sebastian | | Schumann, Johann | | Schwenger, Maximilian | | Signoles, Julien | | Stolz, Volker | | T | Torfah, Hazem | | Traytel, Dmitriy | | V | Vorobyov, Kostyantyn | | Z | Zalinescu, Eugen | |
|
|