<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div class="im" style="color: rgb(80, 0, 80); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); position: static; z-index: auto; "><div>[Apologizes for duplicates]</div><div><br></div><div>1st Intl. Competition of Software for Runtime Verification (CSRV-2014)</div><div><br></div><div>held with RV 2014 in Toronto, Canada</div><div><br></div><div><a href="http://rv2014.imag.fr/monitoring-competition" target="_blank" style="color: rgb(17, 85, 204); ">http://rv2014.imag.fr/<wbr>monitoring-competition</a></div><div><br></div><div><br></div><div>CSRV-2014 is the 1st International Software Runtime Verification Competition as a part of the 14th International Conference on Runtime Verification. The event will be held in September 2014, in Toronto, Canada. CSRV-2014 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><br></div><div>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 of a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools. </div><div><br></div><div>The main aims of CSRV-2014 competition are to:</div><div><br></div></div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">- Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones.</div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">- 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">- Discuss the metrics employed for comparing the tools.</div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">- Provide a comparison of the tools running with different benchmarks and evaluating using different criteria.</div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">- Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring.</div><div class="im" style="color: rgb(80, 0, 80); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); position: static; z-index: auto; "><div><br></div><div>Please direct any enquiries to the competition co-organizers (<a href="mailto:csrv14.chairs@imag.fr" target="_blank" style="color: rgb(17, 85, 204); ">csrv14.chairs@imag.fr</a>):</div><div><br></div><div>Ezio Bartocci (Vienna University of Technology, Austria), <a href="mailto:ezio.bartocci@tuwien.ac.at" target="_blank" style="color: rgb(17, 85, 204); ">ezio.bartocci@tuwien.ac.at</a>;</div><div>Borzoo Bonakdarpour (University of Waterloo, Canada), <a href="mailto:borzoo@cs.uwaterloo.ca" target="_blank" style="color: rgb(17, 85, 204); ">borzoo@cs.uwaterloo.ca</a>;</div><div>Yliès Falcone (Université Joseph Fourier, France), <a href="mailto:ylies.falcone@ujf-grenoble.fr" target="_blank" style="color: rgb(17, 85, 204); ">ylies.falcone@ujf-grenoble.fr</a>.</div><div><br></div><div>CSRV-2014 Jury</div><div><br></div><div>The CSRV Jury will include a representative for each participating team and some representatives of the Demonstration Tools Committee of Runtime Verification Conference.</div><div> </div><div>Call for Participation</div><div><br></div><div>The main goal of CSRV-2014 competition 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><br></div><div>Track on monitoring Java programs (online monitoring);</div><div>Track on monitoring C programs (online monitoring);</div><div>Track on monitoring of traces (offline monitoring).</div><div><br></div><div>The competition will follow three phases:</div><div><br></div></div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">- 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 style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); ">- Monitor collection phase - the participants are invited to submit their monitors. The participants with the tools/monitors (see more information in the following section) that meet the qualification requirements will be qualified for the evaluation phase;</div><div style="color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); position: static; z-index: auto; ">- Evaluation phase - the qualified tools will be evaluated running the benchmarks and they will be ranked using different criteria (i.e., memory utilization/overhead, CPU utilization/overhead, ...). The final results will be presented at RV 2014 conference.</div><div class="yj6qo ajU" style="cursor: pointer; outline: none; padding: 10px 0px; width: 22px; color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); "><div id=":2rv" class="ajR" role="button" tabindex="0" data-tooltip="Hide expanded content" aria-label="Hide expanded content" style="background-color: rgb(241, 241, 241); border: 1px solid rgb(221, 221, 221); clear: both; line-height: 6px; outline: none; position: relative; width: 20px; "><img class="ajT" style="background-image: url(https://ssl.gstatic.com/ui/v1/icons/mail/ellipsis.png); opacity: 0.3; background-repeat: no-repeat no-repeat; " id="ca89b061-ae07-4ec3-aa29-0d4397d9fb4a" height="1" width="1" apple-width="yes" apple-height="yes" src="cid:299FBC13-85D4-4F55-9D9D-6F9C93E76A8A@jpl.nasa.gov"></div></div><div class="im adL" style="color: rgb(80, 0, 80); font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255, 255, 255); position: static; z-index: auto; "><div><br></div><div>Please refer to the dedicated pages for more details on the three phases.</div><div><br></div><div>Important Dates</div><div><br></div><div><span class="aBn" data-term="goog_969747023" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0; "><span class="aQJ" style="position: relative; top: 2px; z-index: -1; ">Dec. 15, 2013</span></span> - Declaration of intent (by email <a href="mailto:csrv14.chairs@imag.fr" target="_blank" style="color: rgb(17, 85, 204); ">csrv14.chairs@imag.fr</a>).</div><div><span class="aBn" data-term="goog_969747024" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0; "><span class="aQJ" style="position: relative; top: 2px; z-index: -1; ">March 1, 2014</span></span> - Submission deadline for benchmark programs and the properties to be monitored.</div><div><span class="aBn" data-term="goog_969747025" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0; "><span class="aQJ" style="position: relative; top: 2px; z-index: -1; ">March 15, 2014</span></span> - Tool training starts by participants.</div><div><span class="aBn" data-term="goog_969747026" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0; "><span class="aQJ" style="position: relative; top: 2px; z-index: -1; ">June 1, 2014</span></span> - Monitor submission.</div><div><span class="aBn" data-term="goog_969747027" tabindex="0" style="border-bottom-width: 1px; border-bottom-style: dashed; border-bottom-color: rgb(204, 204, 204); position: relative; top: -2px; z-index: 0; "><span class="aQJ" style="position: relative; top: 2px; z-index: -1; ">July 1, 2014</span></span> - Notifications and reviews.</div></div></body></html>