by Czekster, Ricardo M., Metere, Roberto, Morisset, Charles
Published in Applied sciences (01.05.2022)

by Abadi, Aydin, Terzis, Sotirios, Metere, Roberto, Dong, Changyu
Published in IEEE transactions on dependable and secure computing (01.07.2019)

by Li, Tao, Gupta, Brij Bhooshan, Metere, Roberto
Published in Journal of parallel and distributed computing (01.07.2018)

by Lindner, Andreas, Guanciale, Roberto, Metere, Roberto
Published in Science of computer programming (01.04.2019)

by Li, Fei, Xie, Dongqing, Gao, Wei, Chen, Kefei, Wang, Guilin, Metere, Roberto
Published in Journal of ambient intelligence and humanized computing (01.02.2024)

by Feng Hao, Metere, Roberto, Shahandashti, Siamak F., Changyu Dong
Published in IEEE transactions on information forensics and security (01.11.2018)

by Metere, Roberto
Year of Publication 2020

by Metere, Roberto, Dong, Changyu
Published in Computer Network Security

by Metere, Roberto, Dong, Changyu
Year of Publication 28.11.2023

by Metere, Roberto, Arnaboldi, Luca
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)

by Metere, Roberto, Lindner, Andreas, Guanciale, Roberto
Published in Formal Methods: Foundations and Applications (2017)

by Metere, Roberto, Arnaboldi, Luca
Published in arXiv.org (05.04.2022)

by Arnaboldi, Luca, Czekster, Ricardo M., Morisset, Charles, Metere, Roberto
Published in Electronic notes in theoretical computer science (01.11.2020)

by Arnaboldi, Luca, Metere, Roberto
Published in arXiv.org (07.10.2019)

by Metere, Roberto, Czekster, Ricardo M., Arnaboldi, Luca
Published in 2024 13th Mediterranean Conference on Embedded Computing (MECO) (11.06.2024)

by Czekster, Ricardo M, Metere, Roberto, Morisset, Charles
Published in arXiv.org (12.05.2022)

by Bailey, Lex, Woodcock, Jim, Foster, Simon, Metere, Roberto
Published in arXiv.org (07.09.2023)

by Metere, Roberto, Dong, Changyu
Published in arXiv.org (16.05.2017)

by Metere, Roberto, Neaimeh, Myriam, Morisset, Charles, Maple, Carsten, Bellekens, Xavier, Czekster, Ricardo M
Published in arXiv.org (06.07.2022)

by Lindner, Andreas, Guanciale, Roberto, Metere, Roberto
Published in arXiv.org (16.01.2019)