| |
Audrito, Giorgio
|
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
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
Article: isstaws21vortexmain-p4-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468448
|
| |
Cardoso, Rafael C.
|
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
Article: isstaws21vortexmain-p8-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468452
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
Article: isstaws21vortexmain-p3-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468447
|
| |
Colombo, Christian |
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
Article: isstaws21vortexmain-p5-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468449
|
| |
Curmi, Axel |
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
Article: isstaws21vortexmain-p5-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468449
|
| |
Damiani, Ferruccio
|
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
|
| |
Di Giuda, Giuseppe |
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
|
| |
Ellul, Joshua
|
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
Article: isstaws21vortexmain-p6-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468450
|
| |
Ferrando, Angelo
|
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
Article: isstaws21vortexmain-p8-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468452
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
Article: isstaws21vortexmain-p3-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468447
|
| |
Fisher, Michael |
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
Article: isstaws21vortexmain-p8-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468452
|
| |
Mascardi, Viviana
|
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
Article: isstaws21vortexmain-p2-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468446
|
| |
Meschini, Silvia |
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
|
| |
Pace, Gordon J.
|
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
Article: isstaws21vortexmain-p6-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468450
|
| |
Pellegrini, Laura |
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
|
| |
Ricca, Filippo
|
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
Article: isstaws21vortexmain-p2-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468446
|
| |
Sánchez, César
|
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
Article: isstaws21vortexmain-p9-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468453
|
| |
Seghezzi, Elena |
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
|
| |
Signoles, Julien |
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
Article: isstaws21vortexmain-p7-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468451
|
| |
Tagliabue, Lavinia Chiara
|
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
|
| |
Testa, Lorenzo |
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
|
| |
Torta, Gianluca |
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
Article: isstaws21vortexmain-p1-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468445
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
Article: isstaws21vortexmain-p4-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468448
|
| |
Vella, Mark
|
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
Article: isstaws21vortexmain-p5-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468449
|
| |
Verri, Alessandro |
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
Article: isstaws21vortexmain-p2-p (type: Full Paper (4 pages + references)) doi:10.1145/3464974.3468446
|