<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="" style="margin: 0px; font-family: Courier;">CRV 2015</div><div class="" style="margin: 0px; font-family: Courier;">The 2nd International Competition on Runtime Verification, </div><div class="" style="margin: 0px; font-family: Courier;">held with RV 2015, September 22 – 25, 2015 Vienna, Austria</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">CRV-2015 is the 2nd International Competition on Runtime Verification and is part of the 15th International Conference on Runtime Verification. The event will be held in September 2015, in Vienna, Austria. CRV-2015 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software.</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">Runtime Verification is a verification technique for the analysis of software at execution-time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need to compare such tools and techniques, since we currently lack a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools. </div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">The main aims of CRV-2015 are to:</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Stimulate the development of new efficient and practical runtime verification tools and the maintenance and improvement of the already developed ones.</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes.</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Discuss the metrics employed for comparing the tools.</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Provide a comparison of the tools on different benchmarks and evaluate them using different criteria.</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring.</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">Please direct any enquiries to the competition co-organizers (<a href="mailto:crv15.chairs@imag.fr" class="">crv15.chairs@imag.fr</a>)</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Yliès Falcone (Université Joseph Fourier, France).</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria).</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Giles Reger (University of Manchester, UK).</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Daniel Thoma (University of Luebeck, Germany).</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">CRV-2015 Jury</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">The CSRV Jury will include a representative for each participating team and the competition chairs. The Jury will be consulted at each stage of the competition to ensure that the rules set by the competition chairs are fair and reasonable.</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">Call for Participation</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">The main goal of CRV 2015 is to compare tools for runtime verification. We invite and encourage the participation with benchmarks and tools for the competition.The competition will consist of three main tracks based on the input language used:</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Track on monitoring Java programs (online monitoring).</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Track on monitoring C programs (online monitoring).</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Track on monitoring of traces (offline monitoring).</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">The competition will follow three phases:</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Benchmarks/Specification collection phase - the participants are invited to submit their benchmarks (C or Java programs and/or traces). The organizers will collect them in a common repository (publicly available). The participants will then train their tools using the shared benchmarks.</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Monitor collection phase - the participants are invited to submit their monitors. The participants with the tools/monitors that meet the qualification requirements will be qualified for the evaluation phase.</div><div class="" style="margin: 0px; font-family: Courier;"><span class="Apple-tab-span" style="white-space: pre;"> </span>• Evaluation phase - the qualified tools will be evaluated on the submitted benchmarks and they will be ranked using different criteria (i.e., memory utilization, CPU utilization, ...). The final results will be presented at the RV 2015 conference.</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">The detailed description of each phase will be available on the RV 2015 website at <a href="http://rv2015.conf.tuwien.ac.at" class="">http://rv2015.conf.tuwien.ac.at</a>.</div><p class="" style="margin: 0px; font-family: Courier;"> </p><div class="" style="margin: 0px; font-family: Courier;">Expected Important Dates</div><div class="" style="margin: 0px; font-family: Courier; min-height: 14px;"><br class=""></div><div class="" style="margin: 0px; font-family: Courier;">January 30, 2015: Declaration of intent (email: <a href="mailto:crv15.chairs@imag.fr" class="">crv15.chairs@imag.fr</a>)</div><div class="" style="margin: 0px; font-family: Courier;">March 15, 2015 Submission deadline for benchmark programs and the properties to be monitored</div><div class="" style="margin: 0px; font-family: Courier;">March 30, 2015 Tool training starts by participants</div><div class="" style="margin: 0px; font-family: Courier;">May 30, 2015 Monitor submission</div><div class="" style="margin: 0px; font-family: Courier;">June 30, 2015 Notifications</div><div class="" style="margin: 0px; font-family: Courier;">At RV 2015 Presentation of results</div></body></html>