Publications
The work described in this website has been conducted within the project NeCS. This project has received funding from the European Union’s Horizon 2020 (H2020) research and innovation programme under the Grant Agreement no 675320. This website and the content displayed in it do not represent the opinion of the European Union, and the European Union is not responsible for any use that might be made of its content.
13th International Conference on Formal Aspects of Component Software
Braga, Portugal, October 10-13, 2017
NeCS partner: Consiglio Nazionale delle Ricerche
Authors:
S. Bistarelli
F. Martinelli
I. Matteucci
F. Santini
Article published by "La Repubblica"
Article published by University of Trento Web Magazine
IEEE International Conference on Fuzzy Systems
Naples, Italy, July 9-12, 2017
NeCS partner: Consiglio Nazionale delle Ricerche
Authors:
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
IEEE International Conference on Fuzzy Systems
Naples, Italy, July 9-12, 2017
NeCS partner: Consiglio Nazionale delle Ricerche
Authors:
Mario Luca Bernardi
Marta Cimitile
Fabio Martinelli
Francesco Mercaldo
IEEE International Workshop on Metrology for AeroSpace
Padua, Italy, June 21-23, 2017
NeCS partner: Consiglio Nazionale delle Ricerche
Authors:
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises
Poznan, Poland, June, 21-23, 2107
NeCS partner: Consiglio Nazionale delle Ricerche
Authors:
Aniello Cimitile
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
Formal Methods in Software Engineering, ICSE, International Conference on Software Engineering
Buenos Aires, Argentina, May 27, 2017
NeCS partner: Consiglio Nazionale delle Ricerche
Authors:
Aniello Cimitile
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
Gigliola Vaglini
IEEE Symposium on Security and Privacy Workshops
The Fairmont hotel, SAN JOSE, CA, May 22-24, 2017
NeCS partner: Universita' degli Studi di Trento
Authors:
A. Buriro
B. Crispo
F. Del Frari
K. Wrona
Pages