[Om-announce] 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada

Nadia Polikarpova se-publicity at inf.ethz.ch
Mon Jan 6 16:48:48 CET 2014

[Apologizes for duplicates]

  14th International Conference on
  Runtime Verification
  September 22 – 25, 2014
  *Toronto, Canada*




Runtime verification is concerned with monitoring and analysis of 
software and hardware system executions. Runtime verification techniques 
are crucial for system correctness, reliability, and robustness; they 
are significantly more powerful and versatile than conventional testing, 
and more practical than exhaustive formal verification. Runtime 
verification can be used prior to deployment, for testing, verification, 
and debugging purposes, and after deployment for ensuring reliability, 
safety, and security and for providing fault containment and recovery as 
well as online system repair. Topics of interest to the conference include:

  * specification languages
  * specification mining
  * program instrumentation
  * monitor construction techniques
  * logging, recording, and replay
  * fault detection, localization, containment, recovery and repair
  * program steering and adaptation
  * metrics and statistical information gathering
  * combination of static and dynamic analyses
  * program execution visualization
  * monitoring techniques for safety/mission-critical systems
  * monitoring distributed systems, cloud services, and big data
  * monitoring security and privacy policies

Application areas of runtime verification include 
safety/mission-critical systems, enterprise and systems software, 
autonomous and reactive control systems, health management and diagnosis 
systems, and system security and privacy.

Technical Research Papers Track:

Technical research papers can be submitted in two categories: regular 
and short papers. Papers in both categories will be reviewed by the 
conference Program Committee. All accepted technical papers will appear 
in an LNCS <http://www.springer.com/series/558> volume. Submitted papers 
must use the LNCS style 
<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. At least 
one author of each accepted paper must attend RV’14 to present the 
paper. Papers must be submitted electronically using theEasyChair 
<https://www.easychair.org/conferences/?conf=rv2014> system.

  * */Regular papers/* (up to 15 pages) should present original
    unpublished results. Theoretical and experimental papers as well as
    papers on applications of runtime verification and case studies are
    all welcome. A non-monetary Best Paper Award will be given. A
    selection of accepted regular papers will be invited to appear in a
    special issue of the Springer Journal on Formal Methods in System

  * */Short papers/* (up to 5 pages) may present novel but not
    necessarily thoroughly worked out ideas, for example emerging
    runtime verification techniques and applications, or techniques and
    applications that establish relationships between runtime
    verification and other domains. Accepted short papers will be
    presented in special short talk (10 minutes) and poster sessions.

Program committee

Borzoo Bonakdarpour <https://cs.uwaterloo.ca/%7Ebbonakda/> (University 
of Waterloo, Canada), *co-chair*

Scott Smolka <http://www.cs.sunysb.edu/%7Esas/> (Stony Brook Universtiy, 
USA), *co-chair*

Gul Agha <http://cs.illinois.edu/directory/profile/agha> (University of 
Illinois at Urbana-Champaign, USA)

Thomas Ball 
<http://research.microsoft.com/en-us/people/tball/> (Microsoft Research, 
Redmond, USA)

Howard Barringer 
<http://www.manchester.ac.uk/research/howard.barringer> (The University 
of Manchester, UK)

Ezio Bartocci <http://www.eziobartocci.com/> (TU Wien, Austria)

David Basin <http://www.inf.ethz.ch/personal/basin/> (ETH Zurich, 

Saddek Bensalem <http://www-verimag.imag.fr/%7Ebensalem/> (Verimag, France)

Eric Bodden <http://www.bodden.de/> (TU – Darmstadt, Germany)

Ivona Brandic <http://www.infosys.tuwien.ac.at/staff/ivona/> (TU Wien, 

Marsha Chechik <http://www.cs.toronto.edu/%7Echechik/> (University of 
Toronto, Canada)

Michael Clarkson <http://faculty.cs.gwu.edu/%7Eclarkson/> (George 
Washington University, USA)

Laura Dillon <http://www.cse.msu.edu/%7Eldillon/> (Michigan State 
University, USA)

Shlomi Dolev <http://www.cs.bgu.ac.il/%7Edolev/> (Ben Gurion University, 

Alastair Donaldson <http://www.doc.ic.ac.uk/%7Eafd/> (Imperial College 
London, UK)

Dawson Engler <http://www.stanford.edu/%7Eengler/> (Stanford University, 

Ylies Falcone <http://www.ylies.fr/> (Université Joseph Fourier, France)

Vijay Garg <http://users.ece.utexas.edu/%7Egarg/> (University of Texas 
at Austin, USA)

Steve Goddard <http://cse.unl.edu/%7Egoddard/papers.html> (University of 
Nebraska-Lincoln, USA)

Ganesh Gopalakrishnan <http://www.cs.utah.edu/%7Eganesh/> (University of 
Utah, USA)

Wolfgang Grieskamp (Google, USA)

Radu Grosu <http://www.cs.sunysb.edu/%7Egrosu/> (TU- Wien, Austria)

Klaus Havelund <http://www.havelund.com/> (NASA/JPL, USA)

Mats Heimdahl <http://www.umsec.umn.edu/about/director> (University of 
Minnesota, USA)

Laurie Hendren <http://www.sable.mcgill.ca/%7Ehendren/> (McGill 
University, Canada)

Gerard Holzmann <http://lars-lab.jpl.nasa.gov/people/gh.html> (NASA/JPL, 

Daniel Keren <http://www.cs.haifa.ac.il/%7Edkeren/> (Haifa University, 

Sandeep Kulkarni <http://www.cse.msu.edu/%7Esandeep/>(Michigan State 
University, USA)

Marta Kwiatkowska 
<http://www.cs.ox.ac.uk/marta.kwiatkowska/> (University of Oxford, UK)

Insup Lee 
<http://www.cis.upenn.edu/%7Elee/home/home/index.shtml> (University of 
Pennsylvania, USA)

Axel Legay <http://people.irisa.fr/Axel.Legay/> (IRISA/INRIA, France)

Martin    Leucker <http://www.isp.uni-luebeck.de/leucker/> (University 
of Lübeck, Germany)

Leonardo Mariani 
<http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php> (University 
of Milano Bicocca, Italy)

Patrick Meredith 
<http://fsl.cs.illinois.edu/index.php/Patrick_Meredith> (University of 
Illinois at Urbana-Champaign, USA)

David Naumann <http://www.cs.stevens.edu/%7Enaumann/> (Stevens Institute 
of Technology, USA)

Doron Peled <http://u.cs.biu.ac.il/%7Edoronp/> (Bar Ilan University, Israel)

Mauro Pezze <http://www.inf.usi.ch/personal-info?id=1187> (University of 
Lugano, Switzerland)

Lee Pike <http://www.cs.indiana.edu/%7Elepike/> (Galois Inc., USA)

Zvonimir Rakamaric <http://www.zvonimir.info/> (University of Utah, USA)

Grigore Rosu 
<http://fsl.cs.illinois.edu/index.php/Grigore_Rosu> (University of 
Illinois at Urbana-Champaign, USA)

Andrey Rybalchenko <http://www7.in.tum.de/%7Erybal/> (TU-Munich, Germany)

Andre Schiper <http://people.epfl.ch/andre.schiper?lang=fr> (EPFL, 

Oleg Sokolsky <http://www.cis.upenn.edu/%7Esokolsky/>       (University 
of Pennsylvania, USA)

Scott Stoller <http://www.cs.sunysb.edu/%7Estoller/> (Stony Brook 
University, USA)

Serdar    Tasiran <http://home.ku.edu.tr/%7Estasiran/> (Koc University, 

Michael Whalen 
<http://www.umsec.umn.edu/directory/Michael-Whalen> (University of 
Minnesota, USA)

Lenore Zuck <http://www.cs.uic.edu/%7Elenore/> (University of Illinois 
at Chicago, USA)

Tool Demonstrations Track:

The aim of the RV 2014 tool demonstration track is to provide an 
opportunity for researchers and practitioners to show and to discuss the 
latest advances, experiences and challenges in devising and developing 
reliable software tools for runtime verification. Tool demonstration 
papers will be reviewed by the Tools Track Program Committee. All 
accepted tool demonstration papers will appear in the conference 
proceedings LNCS volume. Submitted papers must use the LNCS style. At 
least one author of each accepted paper must attend RV’14 to present the 
paper. Papers must be submitted electronically using the EasyChair 
<https://www.easychair.org/conferences/?conf=rv2014> system.

Tool papers should meet the following criteria:

  * A tool paper should present a new tool, a new tool component or
    novel extensions to existing tools supporting runtime verification.
    Each submission should be original and not published previously in a
    tool paper form.
  * Each submission must not exceed 8 pages in the LNCS/Springer
    proceeding format, including all text, references and figures. The
    paper must be written in English and provided in PDF format.
  * Each submission must be accompanied at the time of the submission by
    a short screencast (between 5-10 minutes), with voice and overlay
    text commentary illustrating the demonstration of the tool (a link
    to it should be provided in the paper).
  * The paper must include information on tool availability, maturity,
    selected experimental results and it should provide a link to a
    website containing the theoretical background and user guide.
    Furthermore, we strongly encourage authors to make their tools and
    benchmarks available with their submission.
  * Each tool paper must include a script in an appendix (not included
    in the page count) describing how the demo will be conducted during
    the conference presentation with screenshots presenting step-by-step
    the tool’s capabilities, highlighting the main characteristics and
    the usage.


Each submission will be reviewed by at least four members of the tool 
demonstration track program committee. The evaluation criteria will include:

  * the presentation quality
  * the availability (possibly in a open-source format) of the software.
  * the relevance for the Runtime Verification audience
  * the technical soundness of the presented tool
  * the originality of the underlying ideas

Tool Demonstration Committee

Ezio Bartocci, (TU-Vienna, Austria), *Chair*
Eric Bodden (TU – Darmstadt, Germany)
Alastair Donaldson (Imperial College London, UK)*/
/*Dawson Engler (Stanford University, USA)*/
/*Ylies Falcone (Université Joseph Fourier, France)
Klaus Havelund (NASA/JPL, USA)
Michael Whalen (University of Minnesota, USA)

Important Dates:

Both research papers and tool demonstration tracks will follow the 
following timeline:

  * *Abstract deadline:* April 8, 2014
  * *Full paper deadline:* April 15, 2014
  * *Rebuttal phase:* May 18-20, 2014
  * *Acceptance notification:* June 10, 2014
  * *Camera ready submission:* June 25, 2014
  * *Conference dates:* 22-25 September, 2014

Competition on Software for Runtime Verification (CSRV-2014)

A satellite event of RV’14 is the first /International Competition on 
Software for Runtime Verification/ (CRVS’14). The main aims of CSRV-2014 
competition are to:

  * Stimulate the development of new efficient and practical runtime
    verification tools and the maintenance 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 running with different benchmarks
    and evaluating using different criteria.
  * Enhance the visibility of presented tools among the different
    communities (software engineering, formal methods and automated
    verification, distributed computing, security, and safety-critical
    systems) involved in software monitoring.

CRVS’14 will follow the following time line:

  * *Declaration of intent:* December 15, 2013
  * *Deadline for submission of benchmarks:* March 1, 2014
  * *Monitoring tool submission:* June 1, 2014
  * *Notification:* July 1, 2014

For more information, visit 
http://rv2014.imag.fr/monitoring-competition or contact the event 

  * */Ezio Bartocci/* (TU-Wien, Austria), ezio.bartocci at tuwien.ac.at
    <mailto:ezio.bartocci at tuwien.ac.at>
  * */Borzoo Bonakdarpour/* (U. Waterloo, Canada),
    borzoo at cs.uwaterloo.ca <mailto:borzoo at cs.uwaterloo.ca>
  * */Ylies Falcone/* (U. Joseph Fourier, France),
    ylies.falcone at ujf-grenoble.fr <mailto:ylies.falcone at ujf-grenoble.fr>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20140106/cb089f7a/attachment-0001.html>
-------------- next part --------------

More information about the Om-announce mailing list