conf.researchr.org / Ferruccio Damiani
Ferruccio Damiani

Registered user since Fri 18 Jul 2014

Name: Ferruccio Damiani

Country: Italy

Affiliation: University of Turin

Personal website: http://www.di.unito.it/~damiani/

Research interests: Software organisation, verification and reuse; Computational models and languages; Concurrent, distributed, and mobile systems.

Contributions

VORTEX 2019Author of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track
FASE 2019Committee Member in Program Committee within the FASE 2019-track
VORTEX 2018Presenter of On Distributed runtime verification by aggregate computing within the VORTEX-track
ICSE 2020Author of Lazy Product Discovery in Huge Configuration Spaces within the Technical Papers-track
FOSD 2016Committee Member in Program Committee within the FOSD-track
VORTEX 2016Committee Member in Program Committee within the VORTEX-track
FOOLCommittee Member in Program Committee within the FOOL-track