posted by organizer: gaudrito || 1247 views || tracked by 1 users: [display]

VORTEX 2023 : 6th Workshop on Verification and Monitoring at Runtime Execution

FacebookTwitterLinkedInGoogle

Link: https://conf.researchr.org/home/ecoop-issta-2023/vortex-2023
 
When Jul 17, 2023 - Jul 21, 2023
Where Seattle, US
Submission Deadline Apr 30, 2023
Categories    computer science   monitoring   formal methods   runtime verification
 

Call For Papers

VORTEX 2023, Workshop co-located with ECOOP/ISSTA 2023, Seattle, USA
International Workshop on Verification and Monitoring at Runtime Execution
(https://2023.ecoop.org/home/vortex-2023)

================================================================================

VORTEX brings together researchers working on all aspects of Runtime Monitoring
(RM) with emphasis on integration with formal verification and testing.

RM is concerned with the runtime analysis of software and hardware system
executions in order to infer properties relating to system behaviour. Example
applications include telemetry, log aggregation, threshold alerting, performance
monitoring and adherence to correctness properties (more commonly referred to as
Runtime Verification).

RM has gained popularity as a solution to ensure software reliability, bridging
the gap between formal verification and testing: on the one hand, the notion of
event trace abstracts over system executions, thus favoring system agnosticism
to better support reuse and interoperability; on the other hand, monitoring a
system offers more opportunities for addressing error recovery, self-adaptation,
and issues that go beyond software reliability.

The goal of VORTEX is to bring together researchers contributing on all aspects
of RM covering and possibly integrating both theoretical and practical aspects,
with particular focus on hybrid approaches inspired by formal methods, program
analysis, testing.


Call for Papers
---------------

Submissions are expected to be in English and to belong to one of the following
two categories:

* regular paper, page limit 8 in acmart sigconf style: unpublished self-contained work
* extended abstract, page limit 4 in acmart sigconf style: original contribution, not yet fully developed

Topics of interest include, but are not limited to, the following ones:

* monitor construction and synthesis techniques
* program adaptation
* monitoring oriented programming
* runtime enforcement, fault detection, recovery and repair
* combination of static and dynamic analyses
* specification formalisms for RM
* specification mining
* monitoring concurrent/distributed systems
* RM for safety and security
* RM for the Internet of Things
* industrial applications
* integrating RM, formal verification, and testing
* tool development
* instrumentation techniques for RM
* surveys on different RM tools, formal frameworks or methodologies
* presentations of RM tools
* techniques to increase coverage of RM, as concolic execution

Papers must be submitted electronically via EasyChair (https://easychair.org/my/conference?conf=vortex2023);
the submission deadline is April 30 AoE. Authors should use the official ACM Master article template,
which can be obtained from the ACM Proceedings Template pages.

Latex users should use the sigconf option, as well as review to produce line
numbers for easy reference by the reviewers, as indicated by the following
command:

\documentclass[sigconf,review]{acmart}

Important Dates
---------------

* Submission deadline: Apr 30, 2023
* ECOOP/ISSTA conference: July 17-21, 2023

Proceedings
-----------

Depending on the quality and number of submissions, the workshop proceedings will be published in the ACM DL, and authors of selected
papers will be invited to contribute with extended versions to be included in a special issue of the Journal of Object Technology(JOT)

Workshop Organizers
-------------------

* Davide Ancona, Università di Genova, Italy
* Giorgio Audrito, University of Torino, Italy

Related Resources

RV 2024   Runtime Verification 2024
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
CAV 2024   36th International Conference on Computer Aided Verification
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
PARMA-DITAM 2024   PARMA: 15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & DITAM: 13th Workshop on Design Tools and Architectures for Multi-Core
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
IEEE-NSENS 2024   The 3rd IEEE International Conference on Micro/Nano Sensors for AI, Healthcare, and Robotics, 02 - 03 March Shenzhen, China