VORTEX 2017 is the second edition of the ECOOP workshop devoted to runtime verification for object-oriented languages, and systems.
Call for Papers
Contributions are solicited on Runtime Verification in the context of Object-Oriented Programming addressing open questions covering theoretical and/or practical aspects, presenting new implemented tools, proposing interesting new applications, or describing real case studies.
Submissions suggesting speculative new approaches, raising challenging issues, or focusing on problems deemed to be crucial for the research community are also welcome, as well as all contributions covering topics suitable for lively discussion at the workshop.
Topics of interest include, but are not limited to, the following ones:
- combination of static and dynamic analyses
- industrial applications
- monitor construction and synthesis techniques
- monitoring concurrent/distributed systems
- program adaptation
- runtime enforcement, fault detection, recovery and repair
- RV for safety and security
- specification formalisms and formal underpinning of RV
- specification mining
- tool development
Contributions will be formally reviewed by at least three reviewers, and selection will be based on originality, relevance, technical accuracy, and the potential to generate interesting discussions.
Submissions must be in English, in PDF format, and are limited to 6 pages in the ACM Proceedings Format.
PC members, except for the chairs, are allowed to submit papers, and any conflict of interest will be properly managed by excluding the involved PC members from the review and evaluation process.
Proceedings and Special Issue
Accepted papers will have the option of being published in the ACM Digital Library. Depending on the quality of submissions, authors of selected papers will be invited after the workshop to submit an extended version for a special issue hosted by a prime journal in the field.
|Thu 20 Apr 2017 23:55|
|Mon 15 May 2017|
Chalmers University of Technology
University of Genova
Technische Universität Wien
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
University of Malta
Jet Propulsion Laboratory
University of Lübeck
University of Gothenburg