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 Ferrando, Andrea Gatti, and Viviana Mascardi
(University of Genoa, Italy)
Publisher's Version

Short Papers

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

proc time: 0.56