ResearcherID Thomson Reuters  

Damiani, Ferruccio
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: D-2383-2011
URL: http://www.researcherid.com/rid/D-2383-2011
Subject: Computer Science
Keywords: formal methods; programming languages; type systems; software product lines; systems biology; aggregate programming
ORCID: http://orcid.org/0000-0001-8109-1706
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
My URLs: http://www.di.unito.it/~damiani
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  7  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: A type-sound calculus of computational fields
 Author(s): Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
 Source: Science of Computer Programming Volume: 117 Pages: 17-44 Published: FEB 15 2016
 Times Cited: 6
 DOI: 10.1016/j.scico.2015.11.005
added
16-Nov-16
2.  Title: On Type Checking Delta-Oriented Product Lines
 Author(s): Damiani, Ferruccio; Lienhardt, Michael; Abraham, E; et al.
 Source: Integrated Formal Methods (Ifm 2016) Volume: 9681 Pages: 47-62 Published: 2016
 Times Cited: 2
 DOI: 10.1007/978-3-319-33693-0_4
added
16-Nov-16
3.  Title: Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
 Author(s): Damiani, Ferruccio; Viroli, Mirko; Pianini, Danilo; et al.
 Source: Formal Techniques For Distributed Objects, Components, and Systems, Forte 2015 Volume: 9039 Pages: 113-128 Published: 2015
 Times Cited: 14
 DOI: 10.1007/978-3-319-19195-9_8
added
16-Nov-16
4.  Title: Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
 Author(s): Viroli, Mirka; Beal, Jacob; Damiani, Permed; et al.
 Source: 2015 Ieee Ninth International Conference on Self-Adaptive and Self-Organizing Systems - Saso 2015 Pages: 81-90 Published: 2015
 Times Cited: 8
 DOI: 10.1109/SASO.2015.16
added
16-Nov-16
5.  Title: From Featured Transition Systems to Modal Transition Systems with Variability Constraints
 Author(s): ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; et al.
 Source: Software Engineering and Formal Methods Volume: 9276 Pages: 344-359 Published: 2015
 Times Cited: 1
 DOI: 10.1007/978-3-319-22969-0_24
added
16-Nov-16
6.  Title: Implementing type-safe software product lines using parametric traits
 Author(s): Bettini, Lorenzo; Damiani, Ferruccio; Schaefer, Ina
 Source: Science of Computer Programming Volume: 97 Pages: 282-308 Published: JAN 1 2015
 Times Cited: 3
 DOI: 10.1016/j.scico.2013.07.016
added
17-Feb-15
7.  Title: TYPE-BASED SELF-STABILISATION FOR COMPUTATIONAL FIELDS
 Author(s): Damiani, Ferruccio; Viroli, Mirko
 Source: Logical Methods in Computer Science Volume: 11 Issue: 4 Published: 2015
 Times Cited: 1
 DOI: 10.2168/LMCS-11(4:21)2015
added
16-Nov-16
8.  Title: A Calculus of Self-stabilising Computational Fields
 Author(s): Viroli, Mirko; Damiani, Ferruccio; Kuhn, E; et al.
 Source: Coordination Models and Languages, Coordination 2014 Volume: 8459 Pages: 163-178 Published: 2014
 Times Cited: 12
added
17-Feb-15
9.  Title: Delta-Trait Programming of Software Product Lines
 Author(s): Damiani, Ferruccio; Schaefer, Ina; Schuster, Sven; et al.
 Source: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, Pt I Volume: 8802 Pages: 289-303 Published: 2014
 Times Cited: 1
added
16-Nov-16
10.  Title: On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics
 Author(s): Aldinucci, Marco; Calcagno, Cristina; Coppo, Mario; et al.
 Source: Biomed Research International Published: 2014
 Times Cited: 2
 DOI: 10.1155/2014/207041
added
17-Feb-15
publication(s)  
First Page Previous Page Page   of  7  Go Next Page Last Page
  Sort by:    Results per page: