[FM-India] First CFP: CRV15 - 2nd Competition on Runtime Verification

Madhavan Mukund madhavan at cmi.ac.in
Fri Dec 19 15:56:06 IST 2014

 Date: Fri, 19 Dec 2014 12:16:37 +0200
 From: Ylies Falcone <ylies.falcone at imag.fr>
 To: Ylies Falcone <ylies.falcone at imag.fr>
 Subject: First CFP: CRV15 - 2nd Competition on Runtime Verification

 CRV 2015
 The 2nd International Competition on Runtime Verification, 
 held with RV 2015, September 22 - 25, 2015 Vienna, Austria

 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

 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.

 The main aims of CRV-2015 are to:

 - Stimulate the development of new efficient and practical runtime
   verification tools and the maintenance and improvement of the
   already developed ones.

 - 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.

 - Discuss the metrics employed for comparing the tools.

 - Provide a comparison of the tools on different benchmarks and
   evaluate them using different criteria.

 - Enhance the visibility of presented tools among the different
   communities (verification, software engineering, cloud computing
   and security) involved in software monitoring.

 Please direct any enquiries to the competition co-organizers (
 crv15.chairs at imag.fr)

 - Yliès Falcone (Université Joseph Fourier, France).
 - Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria).
 - Giles Reger (University of Manchester, UK).
 - Daniel Thoma (University of Luebeck, Germany).

 CRV-2015 Jury

 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.

 Call for Participation

 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:

 - Track on monitoring Java programs (online monitoring).
 - Track on monitoring C programs (online monitoring).
 - Track on monitoring of traces (offline monitoring).

 The competition will follow three phases:

 - 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.

 - 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

 - 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.

 The detailed description of each phase will be available on the RV 2015 website
 at http://rv2015.conf.tuwien.ac.at.

 Expected Important Dates

 January 15, 2015: Declaration of intent (email: crv15.chairs at imag.fr)
 March 1, 2015 Submission deadline for benchmark programs and the
   properties to be monitored
 March 15, 2015 Tool training starts by participants
 May 15, 2015 Monitor submission
 June 15, 2015 Notifications
 At RV 2015 Presentation of results


More information about the FMIndia mailing list