ISSTA 2023 Workshops
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
Powered by
Conference Publishing Consulting

6th International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023), July 18, 2023, Seattle, WA, USA

VORTEX 2023 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs
VORTEX 2023 Organization

Full Paper

RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
Angelo FerrandoORCID logo, Andrea Gatti ORCID logo, and Viviana MascardiORCID logo
(University of Genoa, Italy)
Publisher's Version

Short Papers

On Stream Runtime Verification and Aggregate Programming
Ferruccio Damiani ORCID logo and Gianluca TortaORCID logo
(University of Turin, Italy)
Publisher's Version
Monitoring for Resource-Awareness
Riccardo Bianchini ORCID logo
(University of Genoa, Italy)
Publisher's Version
Combining Static and Runtime Verification with AC and Coq
Giorgio AudritoORCID logo and Daniel Haures ORCID logo
(University of Turin, Italy)
Publisher's Version

proc time: 0.94