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

Workshop VORTEX 2023 – Author Index

Contents - Abstracts - Authors

A B D F G H M T

Audrito, Giorgio VORTEX '23: "Combining Static and Runtime ..."
Bianchini, Riccardo VORTEX '23: "Monitoring for Resource-Awareness ..."
Damiani, Ferruccio VORTEX '23: "On Stream Runtime Verification ..."
Ferrando, Angelo VORTEX '23: "RV4Rasa: A Formalism-Agnostic ..."
Gatti, Andrea VORTEX '23: "RV4Rasa: A Formalism-Agnostic ..."
Haures, Daniel VORTEX '23: "Combining Static and Runtime ..."
Mascardi, Viviana VORTEX '23: "RV4Rasa: A Formalism-Agnostic ..."
Torta, Gianluca VORTEX '23: "On Stream Runtime Verification ..."

8 authors

proc time: 1.51