Pubblicazioni - Prof.ssa MADALINA GEORGETA CIOBANU

Italiano

- English

- Area riservata

Pubblicazioni

Pubblicazioni presenti sul Catalogo Istituzionale

Elenco delle pubblicazioni

2020

Accidental sensitive data leaks prevention via formal verification Ciobanu, M.G., Fasano, F., Martinelli, F.,Mercaldo, F.,Santone, A.in Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ForSE, 825-834, 2020, Valletta, Malta

2019

Model checking for data anomaly detection Ciobanu, M.G., Fasano, F., Martinelli, F.,Mercaldo, F.,Santone, A. Procedia Computer Science Volume 159, 2019, Pages 1277-1286

"A Data Life Cycle Modeling Proposal by means of Formal Methods" M.G. Ciobanu, F. Fasano, F. Mercaldo, A. Santone - Asia CCS '19: Proceedings of the 2019 ACM Asia Conference on Computer and Communications SecurityJuly 2019 Pages 670–672 https://doi.org/10.1145/3321705.3331003

Atti di Convegno

Valente R., Fasano F., Venditti A., Capobianco G., Durand D., Ciobanu M.G. -

Modeling Android applications: an UML extension to model android components and

objects, Proceedings of the Days of Scientific Research - Department of Biosciences

and Territory – University of Molise,2016, pp. 78-79, ISBN: 9788896394199

Venditti A., Fasano F., Valente R., Granatiero M., Capobianco G., Durand D., Ciobanu

M.G. - Choose the optimal data warehouse architecture by a formal method,

Proceedings of the Days of Scientific Research - Department of Biosciences and

Territory – University of Molise, 2016, pp. 79-80, ISBN: 9788896394199

A Tool for multimodal fusion of brain PET and MR (Congresso Nazionale AICA 2013) - Capobianco G; Ciobanu M

G.; Fasano F.; Merola M

Frontiere Digitali: dal Digital Divide alla Smart Society (Congresso Nazionale AICA 2013) - Merola M; Capobianco

G; Ciobanu M G; Fasano F