[TYPES/announce] CfP: RV'15 - The 15th International Conference on Runtime Verification

Nickovic Dejan Dejan.Nickovic at ait.ac.at
Thu Feb 19 16:57:03 EST 2015


                 CALL FOR PAPERS

                              RV'15
                15th International Conference on
                      Runtime Verification

                        Vienna, Austria
                      22-25 September 2015

                http://rv2015.conf.tuwien.ac.at/


RV'15, the 15th International Conference on Runtime Verification,
will take place at Vienna University of Technology, Vienna, Austria,
from 22 to 25 September 2015.

** Scope **

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


** Invited Speakers **

Patrice Godefroid, Microsoft Research, USA
Sriram Sankaranarayanan, University of Colorado Boulder, USA
Georg Weissenbacher, Vienna University of Technology, Austria

** General Chair **

Radu Grosu, Vienna University of Technology, Austria

** Program Chairs **

Ezio Bartocci, Vienna University of Technology, Austria
Rupak Majumdar, Max Planck Institute, Germany

** Tool Chair/Publicity Chair **

Dejan Nickovic, Austrian Institute of Technology, Austria


** Program Committee **

Thomas Ball, Microsoft, USA
Howard Barringer, University of Manchester, UK
Ezio Bartocci, Vienna University of Technology, Austria (PC Chair)
David Basin, ETH Zurich, Switzerland
Andreas Baurer, TU Munich, Germany
Saddek Bensalem, VERIMAG, France
Eric Bodden, TU Darmstadt, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Luca Bortolussi, University of Trieste, Italy
Laura Bozzelli, UPW, Spain
Rohit Chadha, University of Missouri, USA
Satish Chandra, Samsung Electronics, USA
Dino Distefano, Facebook, UK
Alastair Donaldson, Imperial College London, UK
Alexandre Donzé, UC Berkeley, USA
Georgios Fainekos, Arizona State University, USA
Yliès Falcone, University of Grenoble I, France
Bernd Finkbeiner, Saarland University, Germany
Milos Gligoric, University of Illunois at Urbana-Champaign, USA
Radu Grosu, Vienna University of Technology, Austria (General Chair)
Kim Larsen, Aalborg Univeristy, Denmark
Insup Lee, University of Pennsylvania, USA
Klaus Havelund, NASA JPL, USA
Aditya Kanade, Indian Institute of Science, India
Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
Safraz Khurshid, The University of Texas at Austin, USA
Marta Kwiatkowska, University of Oxford, UK
Axel Legay, INRIA Rennes, France
Martin Leucker, University of Lübeck, Germany
Rupak Majumdar, Max Planck Institute, Germany (PC Chair)
Oded Maler, VERIMAG, France
Leonardo Mariani, University of Milano Bicocca, Italy
Dejan Nickovic, Austrian Institute of Technology, Austria
Joel Ouaknine, Oxford University, UK
Gordon Pace, University of Malta, Malta
Doron Peled, Bar Ilan University, Israel
Pavithra Prabhakar, IMDEA Software Institute, USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Abhik Roychoudhury, National University of Singapore, Singapore
Koushik Sen, UC Berkeley, USA
Scott A. Smolka, Stony Brook University, USA
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, TU Dortmund, Germany
Scott D. Stoller, Stony Brook University, USA
Emina Torlak, UC Berkeley, USA
Serdar Taşıran, Koç University, Turkey
Lenore Zuck, University of Illinois at Chicago, USA


**  Research Papers Track **

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 volume. Submitted papers
must use the LNCS style. At least one author of each accepted paper
must attend RV'15 to present the paper. Papers must be submitted electronically
using the EasyChair system.

* Regular Papers *

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.  The Program Committee of RV 2015
will give this year a best paper award. The Best Paper Award recipient is given
public recognition and will receive one high-end NVIDIA GPU equipment (Titan Black
for a value of $1,150) donated by NVIDIA.
A selection of accepted regular papers will be invited to appear in a special issue of
the Springer Journal on Formal Methods in System Design.

* Short Papers *

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.

** Tool Demonstration Track **

The aim of the RV 2015 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'15
to present the paper. Papers must be submitted electronically using the
EasyChair 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.


* Tool Evaluation *

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 *

Dejan Nickovic, Austrian Institute of Technology, Austria, Chair
Alexandre Donzé, UC Berkeley, USA
Martin Leucker, University of Lübeck, Germany
Milos Gligoric, University of Illunois at Urbana-Champaign, USA
Eugen Zalinescu, ETH Zurich, Switzerland
Gordon Pace, University of Malta, Malta

Important Dates:

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

Abstract deadline: April 12, 2015
Paper and submission deadline: April 19, 2015
Paper and Notification: May 31, 2015
Camera Ready submission: June 15, 2015
Conference dates: September 22-25, 2015


--
Dejan Nickovic
Senior Scientist
Department Digital Safety and Security
Business Unit Safe and Autonomous Systems
AIT Austrian Institute of Technology GmbH
Donau-City-Straße 1  |  1220 Vienna  | Austria
T +43(0) 50550-4021 | M +43(0) 66488-390038  |  F +43(0) 50550-4150
dejan.nickovic at ait.ac.at<mailto:dejan.nickovic at ait.ac.at>  |  http://www.ait.ac.at<http://www.ait.ac.at/>

FN: 115980 i HG Wien  |  UID: ATU14703506
This email and any attachments thereto, is intended only for use by the addressee(s) named herein and may contain legally privileged and/or confidential information. If you are not the intended recipient, please notify the sender by return e-mail or by telephone and delete this message from your system and any printout thereof. Any unauthorized use, reproduction, or dissemination of this message is strictly prohibited. Please note that e-mails are susceptible to change. AIT Austrian Institute of Technology GmbH shall not be liable for the improper or incomplete transmission of the information contained in this communication, nor shall it be liable for any delay in its receipt.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150219/a90e116b/attachment-0001.html>


More information about the Types-announce mailing list