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
Article: isstaws23vortexforeword-fm000-p doi:
Message from the Chairs
Article: isstaws23vortexforeword-fm001-p doi:
VORTEX 2023 Organization
Article: isstaws23vortexforeword-fm002-p doi:

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 Article: isstaws23vortexmain-id1-p doi:10.1145/3605159.3605855

Short Papers

On Stream Runtime Verification and Aggregate Programming
Ferruccio Damiani and Gianluca Torta
(University of Turin, Italy)
Publisher's Version Article: isstaws23vortexmain-id3-p doi:10.1145/3605159.3605854
Monitoring for Resource-Awareness
Riccardo Bianchini
(University of Genoa, Italy)
Publisher's Version Article: isstaws23vortexmain-id2-p doi:10.1145/3605159.3605856
Combining Static and Runtime Verification with AC and Coq
Giorgio Audrito and Daniel Haures
(University of Turin, Italy)
Publisher's Version Article: isstaws23vortexmain-id4-p doi:10.1145/3605159.3605857

proc time: 0.01