| |||||||||||||||||
RV 2015 : 6th International Conference on Runtime VerificationConference Series : Runtime Verification | |||||||||||||||||
Link: http://rv2015.conf.tuwien.ac.at | |||||||||||||||||
| |||||||||||||||||
Call For Papers | |||||||||||||||||
Runtime Verification 2015 (RV'15)
The 6th International Conference on Runtime Verification, September 22 – September 25, 2015 Vienna, Austria 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. 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 (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. 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 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 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 will follow the following timeline: Abstract deadline: April 12, 2015 Paper submission deadline: April 19, 2015 Paper Notification: May 31, 2015 Camera Ready submission: June 15, 2015 Conference dates: September 22-25, 2015 |
|