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  9  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: A core calculus for dynamic delta-oriented programming
 Author(s): Ferruccio Damiani; Luca Padovani; Ina Schaefer; et al.
 Source: Acta Informatica Published: 2017
 DOI: 10.1007/s00236-017-0293-6
added
30-Aug-17
2.  Title: Self-Adaptation to Device Distribution in the Internet of Things
 Author(s): Beal, Jacob; Viroli, Mirko; Pianini, Danilo; et al.
 Source: Acm Transactions on Autonomous and Adaptive Systems Volume: 12 Issue: 3 Published: OCT 2017
 Times Cited: 0
 DOI: 10.1145/3105758
added
27-Dec-17
3.  Title: XTRAITJ: Traits for the Java platform
 Author(s): Bettini, Lorenzo; Damiani, Ferruccio
 Source: Journal of Systems and Software Volume: 131 Pages: 419-441 Published: SEP 2017
 Times Cited: 0
 DOI: 10.1016/j.jss.2016.07.035
added
27-Dec-17
4.  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: 8
 DOI: 10.1016/j.scico.2015.11.005
added
16-Nov-16
5.  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
6.  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: 17
 DOI: 10.1007/978-3-319-19195-9_8
added
16-Nov-16
7.  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: 10
 DOI: 10.1109/SASO.2015.16
added
16-Nov-16
8.  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
9.  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
10.  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: 2
 DOI: 10.2168/LMCS-11(4:21)2015
added
16-Nov-16
publication(s)  
First Page Previous Page Page   of  9  Go Next Page Last Page
  Sort by:    Results per page: