VORTEX 2023 – Proceedings

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

Frontmatter

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)


@InProceedings{VORTEX23p1, author = {Angelo Ferrando and Andrea Gatti and Viviana Mascardi}, title = {RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa}, booktitle = {Proc.\ VORTEX}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3605159.3605855}, year = {2023}, } 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)


@InProceedings{VORTEX23p9, author = {Ferruccio Damiani and Gianluca Torta}, title = {On Stream Runtime Verification and Aggregate Programming}, booktitle = {Proc.\ VORTEX}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3605159.3605854}, year = {2023}, } Publisher's Version Article: isstaws23vortexmain-id3-p doi:10.1145/3605159.3605854

Monitoring for Resource-Awareness
Riccardo Bianchini
(University of Genoa, Italy)


@InProceedings{VORTEX23p17, author = {Riccardo Bianchini}, title = {Monitoring for Resource-Awareness}, booktitle = {Proc.\ VORTEX}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3605159.3605856}, year = {2023}, } 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)


@InProceedings{VORTEX23p25, author = {Giorgio Audrito and Daniel Haures}, title = {Combining Static and Runtime Verification with AC and Coq}, booktitle = {Proc.\ VORTEX}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3605159.3605857}, year = {2023}, } Publisher's Version Article: isstaws23vortexmain-id4-p doi:10.1145/3605159.3605857

proc time: 0.02