posted by organizer: gaudrito || 649 views || tracked by 2 users: [display]

VORTEX 2024 : Verification and Monitoring at Runtime Execution 2024

FacebookTwitterLinkedInGoogle

Link: https://2024.ecoop.org/home/vortex-2024
 
When Sep 19, 2024 - Sep 19, 2024
Where Vienna
Submission Deadline Jun 24, 2024
Notification Due Jul 24, 2024
Categories    formal methods   monitoring   verification
 

Call For Papers

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

Important Dates
---------------
* Submission deadline: June 24, 2024 AoE
* Author notification: July 24, 2024
* Early registration deadline: July 31, 2024
* VORTEX workshop: September 19, 2024
* ECOOP/ISSTA conference: September 16-20, 2024

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

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 behavior. 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, and artificial intelligence.

Program Committee
---------------

Davide Ancona, DIBRIS - University of Genova (co-chair)
Giorgio Audrito, Università di Torino (co-chair)
Antonis Achilleos, Reykjavik University
Silvia Bonfanti, University of Bergamo
Daniela Briola, University of Milano Bicocca
Francesca Cairoli, University of Trieste
Michele Chiari, Technical University of Vienn
Christian Colombo, University of Malta
Thao Dang, CNRS/Verimag
Marie Farrell, The University of Manchester
Angelo Ferrando, University of Modena-Reggio
Hannah Gommerstadt, Vassar College
Klaus Havelund, Jet Propulsion Laboratory - California Institute of Technology
Martin Leucker, University of Lübeck
Giulia Pedrielli, Arizona State University
Srinivas Pinisetty, Indian Institute of Technology Bhubaneswar
Violet Ka I Pun, University of Bergen
Kristin Yvonne Rozier, Iowa State University
Alceste Scalas, DTU Compute - Technical University of Denmark
Gianluca Torta, Università di Torino
Jenna DiVincenzo (Wise), Purdue University

Keynote speakers
---------------

Kristin Yvonne Rozier, Iowa State University
Xiangyu Zhang, Purdue University

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, testing, and artificial intelligence
* tool development
* instrumentation techniques for RM
* surveys on different RM tools, formal frameworks or methodologies
* presentations of RM tools
* techniques for enhancing code coverage in offline RM

Papers must be submitted electronically via EasyChair (https://conf.researchr.org/home/issta-ecoop-2024/vortex-2024#Call-for-Papers);
the submission deadline is June 24 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}

Remark: Although attendance in person is strongly encouraged, on line presentations at the workshop will be supported in case of need.

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)
(https://conf.researchr.org/home/issta-ecoop-2024/vortex-2024#Proceedings-and-special-issue)

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

* Davide Ancona, University of Genova, Italy

* Giorgio Audrito, University of Torino, Italy

Related Resources

CAV 2025   37th International Conference on Computer Aided Verification
RV 2024   Runtime Verification 2024
SOFT 2025   11th International Conference on Software Engineering
SCALABILITY 2025   The Second International Conference on Systems Scalability and Expandability
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
SECURWARE 2025   The Nineteenth International Conference on Emerging Security Information, Systems and Technologies
SPIN 2025   31st International Symposium on Model Checking Software
COCE 2025   The Second International Conference on Technologies for Marine and Coastal Ecosystems
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
MBMV 2025   Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen