Roberto Metere

发表

C. Maple, C. Morisset, X. Bellekens, 2021, ArXiv.

C. Morisset, R. Czekster, Roberto Metere, 2022, ArXiv.

C. Maple, C. Morisset, X. Bellekens, 2021, ArXiv.

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

Guanghai Cui, Yilei Wang, Huiyu Zhou, 2018, Soft Computing.

Andreas Lindner, Roberto Guanciale, Roberto Metere, 2019, Sci. Comput. Program..

Tao Li, Brij Bhooshan Gupta, Roberto Metere, 2017, J. Parallel Distributed Comput..

Sotirios Terzis, Changyu Dong, Roberto Metere, 2019, IEEE Transactions on Dependable and Secure Computing.

Ricardo M. Czekster, Charles Morisset, Roberto Metere, 2019, PASM.

Roberto Metere, Luca Arnaboldi, Roberto Metere, 2021, ArXiv.

Feng Hao, Changyu Dong, Roberto Metere, 2018, IEEE Transactions on Information Forensics and Security.

Tao Li, Huiyu Zhou, Yilei Wang, 2018, Soft Computing.