ISSTA 2021 Workshops
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021)
Powered by
Conference Publishing Consulting

5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX 2021), July 12, 2021, Virtual, Denmark

Workshop VORTEX 2021 – Author Index

Contents - Abstracts - Authors

A C D E F M P R S T V

Audrito, Giorgio VORTEX '21: "RM for Users’ Safety and ..." VORTEX '21: "Towards Aggregate Monitoring ..."
Cardoso, Rafael C. VORTEX '21: "Increasing Confidence in Autonomous ..." VORTEX '21: "RVPLAN: A General Purpose ..."
Colombo, Christian VORTEX '21: "Runtime Verification for Trustworthy ..."
Curmi, Axel VORTEX '21: "Runtime Verification for Trustworthy ..."
Damiani, Ferruccio VORTEX '21: "RM for Users’ Safety and ..."
Di Giuda, Giuseppe VORTEX '21: "RM for Users’ Safety and ..."
Ellul, Joshua VORTEX '21: "Optional Monitoring for Long-Lived ..."
Ferrando, Angelo VORTEX '21: "Increasing Confidence in Autonomous ..." VORTEX '21: "RVPLAN: A General Purpose ..."
Fisher, Michael VORTEX '21: "Increasing Confidence in Autonomous ..."
Mascardi, Viviana VORTEX '21: "Test’n’Mo: A Collaborative ..."
Meschini, Silvia VORTEX '21: "RM for Users’ Safety and ..."
Pace, Gordon J. VORTEX '21: "Optional Monitoring for Long-Lived ..."
Pellegrini, Laura VORTEX '21: "RM for Users’ Safety and ..."
Ricca, Filippo VORTEX '21: "Test’n’Mo: A Collaborative ..."
Sánchez, César VORTEX '21: "Synchronous and Asynchronous ..."
Seghezzi, Elena VORTEX '21: "RM for Users’ Safety and ..."
Signoles, Julien VORTEX '21: "The E-ACSL Perspective on ..."
Tagliabue, Lavinia Chiara VORTEX '21: "RM for Users’ Safety and ..."
Testa, Lorenzo VORTEX '21: "RM for Users’ Safety and ..."
Torta, Gianluca VORTEX '21: "RM for Users’ Safety and ..." VORTEX '21: "Towards Aggregate Monitoring ..."
Vella, Mark VORTEX '21: "Runtime Verification for Trustworthy ..."
Verri, Alessandro VORTEX '21: "Test’n’Mo: A Collaborative ..."

26 authors

proc time: 3.14