VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "Towards Aggregate Monitoring ..."
Towards Aggregate Monitoring of Spatio-temporal Properties
Giorgio Audrito and Gianluca Torta
(University of Turin, Italy)
@InProceedings{VORTEX21p43,
author = {Giorgio Audrito and Gianluca Torta},
title = {Towards Aggregate Monitoring of Spatio-temporal Properties},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3464974.3468448},
year = {2021},
}
Publisher's Version
VORTEX '21: "Increasing Confidence in Autonomous ..."
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
VORTEX '21: "RVPLAN: A General Purpose ..."
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
VORTEX '21: "Runtime Verification for Trustworthy ..."
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
VORTEX '21: "Runtime Verification for Trustworthy ..."
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
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "Optional Monitoring for Long-Lived ..."
Optional Monitoring for Long-Lived Transactions
Joshua Ellul and Gordon J. Pace
(University of Malta, Malta)
@InProceedings{VORTEX21p57,
author = {Joshua Ellul and Gordon J. Pace},
title = {Optional Monitoring for Long-Lived Transactions},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3464974.3468450},
year = {2021},
}
Publisher's Version
VORTEX '21: "Increasing Confidence in Autonomous ..."
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
VORTEX '21: "RVPLAN: A General Purpose ..."
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
VORTEX '21: "Increasing Confidence in Autonomous ..."
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
VORTEX '21: "Test’n’Mo: A Collaborative ..."
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
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "Optional Monitoring for Long-Lived ..."
Optional Monitoring for Long-Lived Transactions
Joshua Ellul and Gordon J. Pace
(University of Malta, Malta)
@InProceedings{VORTEX21p57,
author = {Joshua Ellul and Gordon J. Pace},
title = {Optional Monitoring for Long-Lived Transactions},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3464974.3468450},
year = {2021},
}
Publisher's Version
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "Test’n’Mo: A Collaborative ..."
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
VORTEX '21: "Synchronous and Asynchronous ..."
Synchronous and Asynchronous Stream Runtime Verification
César Sánchez
(IMDEA Software Institute, Spain)
@InProceedings{VORTEX21p8,
author = {César Sánchez},
title = {Synchronous and Asynchronous Stream Runtime Verification},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {8-7},
doi = {10.1145/3464974.3468453},
year = {2021},
}
Publisher's Version
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "The E-ACSL Perspective on ..."
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
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "RM for Users’ Safety and ..."
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
VORTEX '21: "Towards Aggregate Monitoring ..."
Towards Aggregate Monitoring of Spatio-temporal Properties
Giorgio Audrito and Gianluca Torta
(University of Turin, Italy)
@InProceedings{VORTEX21p43,
author = {Giorgio Audrito and Gianluca Torta},
title = {Towards Aggregate Monitoring of Spatio-temporal Properties},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3464974.3468448},
year = {2021},
}
Publisher's Version
VORTEX '21: "Runtime Verification for Trustworthy ..."
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
VORTEX '21: "Test’n’Mo: A Collaborative ..."
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