Powered by
5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX 2021), July 12, 2021,
Virtual, Denmark
5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX 2021)
Frontmatter
Invited Keynotes
Increasing Confidence in Autonomous Systems
Michael Fisher,
Angelo Ferrando, and
Rafael C. Cardoso
(University of Manchester, UK; University of Genoa, Italy)
@InProceedings{VORTEX21p1,
author = {Michael Fisher and Angelo Ferrando and Rafael C. Cardoso},
title = {Increasing Confidence in Autonomous Systems},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3464974.3468452},
year = {2021},
}
Publisher's Version
The E-ACSL Perspective on Runtime Assertion Checking
Julien Signoles
(University of Paris-Saclay, France; CEA LIST, France)
@InProceedings{VORTEX21p15,
author = {Julien Signoles},
title = {The E-ACSL Perspective on Runtime Assertion Checking},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3464974.3468451},
year = {2021},
}
Publisher's Version
Extended Abstracts
RM for Users’ Safety and Security in the Built Environment
Giorgio Audrito,
Ferruccio Damiani,
Giuseppe Di Giuda,
Silvia Meschini,
Laura Pellegrini,
Elena Seghezzi,
Lavinia Chiara Tagliabue,
Lorenzo Testa, and
Gianluca Torta
(University of Turin, Italy; Politecnico di Milano, Italy; Reply, Italy)
@InProceedings{VORTEX21p22,
author = {Giorgio Audrito and Ferruccio Damiani and Giuseppe Di Giuda and Silvia Meschini and Laura Pellegrini and Elena Seghezzi and Lavinia Chiara Tagliabue and Lorenzo Testa and Gianluca Torta},
title = {RM for Users’ Safety and Security in the Built Environment},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {22-21},
doi = {10.1145/3464974.3468445},
year = {2021},
}
Publisher's Version
Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Filippo Ricca,
Viviana Mascardi, and
Alessandro Verri
(University of Genoa, Italy)
@InProceedings{VORTEX21p29,
author = {Filippo Ricca and Viviana Mascardi and Alessandro Verri},
title = {Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3464974.3468446},
year = {2021},
}
Publisher's Version
RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
Angelo Ferrando and
Rafael C. Cardoso
(University of Genoa, Italy; University of Manchester, UK)
@InProceedings{VORTEX21p36,
author = {Angelo Ferrando and Rafael C. Cardoso},
title = {RVPLAN: A General Purpose Framework for Replanning using Runtime Verification},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {36-35},
doi = {10.1145/3464974.3468447},
year = {2021},
}
Publisher's Version
Runtime Verification for Trustworthy Secure Shell Deployment
Axel Curmi,
Christian Colombo, and
Mark Vella
(University of Malta, Malta)
@InProceedings{VORTEX21p50,
author = {Axel Curmi and Christian Colombo and Mark Vella},
title = {Runtime Verification for Trustworthy Secure Shell Deployment},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3464974.3468449},
year = {2021},
}
Publisher's Version
proc time: 0.61