Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Ferruccio Damiani
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2017
Damiani, Lienhardt and Paolini" A Formal Model for Multi SPLs "
In proceedings: Lecture Notes in Computer Science.

2015
ter Beek, Damiani, Gnesi, Mazzanti and Paolini"From Featured Transition Systems to Modal Transition Systems with Variability Constraints"
In proceedings: LNCS.
Bettini, Damiani and Schaefer"Implementing type-safe software product lines using parametric traits"
Article.
Damiani, Viroli, Pianini and Beal"Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields"
In a collection.

2014
Aldinucci, Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On designing multicore-aware simulators for systems biology endowed with on-line statistics"
Article.
Bernardo, Damiani, Hähnle, Johnsen and Schaefer"Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures"
Conference proceedings.
Bettini and Damiani"Generic Traits for the Java Platform"
In proceedings.
Damiani, Schaefer, Schuster and Winkelmann"Delta-Trait Programming of Software Product Lines"
In a collection.
Damiani, Schaefer and Winkelmann"Delta-oriented Multi Software Product Lines"
In proceedings.
Damiani, Dovland, Johnsen and Schaefer"Verifying traits: an incremental proof system for fine-grained reuse"
Article.
Koscielny, Holthusen, Schaefer, Schulze, Bettini and Damiani"DeltaJ 1.5: Delta-oriented Programming for Java 1.5"
In proceedings.
Viroli and Damiani"A Calculus of Self-stabilising Computational Fields"
In a collection.

2013
Beckert, Damiani, de Boer and Bonsangue"Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers"
Conference proceedings.
Bettini, Damiani, Geilmann and Schaefer"Combining traits with boxes and ownership types in a Java-like setting"
Article.
Bettini, Damiani and Schaefer"Compositional type checking of delta-oriented software product lines"
Article.
Bettini, Capecchi and Damiani"On flexible dynamic trait replacement for Java-like languages"
Article.
Bettini and Damiani"Pure Trait-based Programming on the Java Platform"
In proceedings.
Bettini, Damiani, Schaefer and Strocco"TraitRecordJ: A programming language with traits and records "
Article.
Damiani, Gladisch and Tyszberowicz"Refinement-based Testing of Delta-oriented Product Lines"
In proceedings.
Sciacca, Spinella, Calcagno, Damiani and Coppo"Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations"
Article.
Viroli, Damiani and Beal"A Calculus of Computational Fields"
In a collection.

2012
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Beckert, Damiani and Gurov"Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers"
Conference proceedings.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Simulation techniques for the calculus of wrapped compartments"
Article.
Damiani, Padovani and Schaefer"A Formal Foundation for Dynamic Delta-Oriented Software Product Lines"
In proceedings.
Damiani, Owe, Dovland, Schaefer, Johnsen and Yu"A transformational proof system for delta-oriented programming"
In proceedings.
Damiani, Poetzsch-Heffter and Welsch"A type system for checking specialization of packages in object-oriented programming"
In proceedings.
Damiani and Schaefer"Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines"
In a collection.
Damiani, Giannini, Ricci and Viroli"Standard type soundness for agents and artifacts"
Article.

2011
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
In proceedings.
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Ancona, Corradi, Lagorio and Damiani"Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?"
In proceedings.
Bioglio, Calcagno, Coppo, Damiani, Sciacca, Spinella and Troina"A Spatial Calculus of Wrapped Compartments"
In proceedings.
Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella and Troina"Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments"
In proceedings.
Damiani, Giannini, Ricci and Viroli"A Calculus of Agents and Artifacts"
Article.
Damiani and Schaefer"Dynamic delta-oriented programming"
In proceedings: Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume 2). ACM, 2011.
Damiani, Dovland, Johnsen and Schaefer"Verifying traits: a proof system for fine-grained reuse"
In proceedings.
Schaefer, Bettini and Damiani"Compositional Type-Checking for Delta-oriented Programming"
In proceedings.
Tatsuta and Damiani"Type Inference for Bimorphic Recursion"
In proceedings.

2010
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
Technical report.
Bettini, Damiani, De Luca, Geilmann and Schaefer"A Calculus for Boxes and Traits in a Java-like Setting"
In proceedings: Coordination'10, LNCS 6160, pages 41-50, Springer.
Bettini, Damiani, Schaefer and Strocco"A Prototypical Java-like Language with Records and Traits"
In proceedings.
Bettini, Damiani and Schaefer"Implementing Software Product Lines using Traits"
In proceedings: OOPS track at SAC'10, pages 2096-2112, ACM.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Hybrid Calculus of Wrapped Compartments"
In proceedings.
Coppo, Damiani, Drocco, Grassi and Troina"Stochastic Calculus of Wrapped Compartment"
In proceedings: Workshop QAPL (affiliated with ETAPS 2010).
Schaefer, Bettini, Bono, Damiani and Tanzarella"Delta-Oriented Programming of Software Product Lines"
In proceedings.
Schaefer and Damiani"Pure delta-oriented programming"
In proceedings: Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, ACM, 2010.

2009
Berardi, Damiani and de' Liguoro"Types for Proofs and Programs (International Conference TYPES 2008, Revised Selected Papers)"
Book: LNCS, volume 5497, Springer.
Bettini, Capecchi and Damiani"A Mechanisms for Flexible Dynamic Trait Replacement"
In proceedings: electronic proceedings of Workshop FTfJP'09 (http://www.cs.ru.nl/ftfjp/), ACM Digital Library (http://portal.acm.org/toc.cfm?id=SERIES12774&idx=SERIES12774&type=series&coll=portal&dl=ACM&part=series&WantType=Proceedings&title=ECOOP).
Coppo, Damiani, Grassi, Guether and Troina"Modelling an Ammonium Transporter with SCLS"
In proceedings: Workshop CompMod 2009 (affiliated with FM 2009), EPTCS (http://published.eptcs.org/).
Damiani, Giannini, Ricci and Viroli"Featherweight Agent Language: a core calculus for agents and artifacts"
In proceedings: ICSOFT'09 (http://www.icsoft.org), INSTICC press.

2008
Bono, Damiani and Giachino"On Traits and Types in a Java-like Setting"
In proceedings: TCS 2008, IFIP Volume 273/2008, pages 367-382, Springer (http://dx.doi.org/10.1007/978-0-387-09680-3_25).
Comini, Damiani and Vrech"On Polymorphic Recursion, Type Systems, and Abstract Interpretation"
In proceedings: SAS 2008, LNCS 5079, pages 144-158, Springer.
Damiani, Giachino, Giannini and Drossopoulou"A Type Safe State Abstraction for Coordination in Java-like Languages"
Article: Acta Informatica, Springer, 45:479-536 (DOI: 10.1007/s00236-008-0079-y).
Damiani, Giachino and Giannini"Alias Types and effects for ``environment-aware'' computations"
Article: Fundamenta Informaticae, IOS Press, 88(1-2), 63-107.
Damiani, Giachino, Giannini and Cazzola"On state classes and their dynamic semantics"
In a collection: Software and Data Technologies (First International Conference, ICSOFT 2006, Revised Selected Papers), Communications in Computer and Information Science, volume 10, pages 84-96, Springer (http://www.springer.com/computer/programming/book/978-3-540-70619-9).

2007
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A provenly correct translation of Fickle into Java"
Article: ACM Transactions On Programming Languages and Systems, 29(2), Article No. 13 (67 pages).
Bono, Damiani and Giachino"Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse"
In proceedings: electronic proceedings of Workshop FTfJP'07 (http://www.cs.ru.nl/ftfjp/).
Damiani"Rank 2 Intersection for Recursive Definitions"
Article: Fundamenta Informaticae, IOS Press, 77(4), 451-488.

2006
Damiani, Giachino, Giannini, Cameron and Drossopoulou"A State Abstraction for Coordination in Java-like Languages"
In proceedings: electronic proceedings of Workshop FTfJP'06 (http://www.cs.ru.nl/ftfjp/).
Damiani, Giachino, Giannini and Cazzola"On state classes and their dynamic semantics"
In proceedings: ICSOFT'06 (http://www.icsoft.org), Volume 1, pages 5-12, INSTICC press.

2005
Ancona, Damiani, Drossopoulou and Zucca"Polymorphic Bytecode: Compositional Compilation for Java-like Languages"
In proceedings: POPL'05, pages 26-37, 2005, ACM.
Coppo and Damiani"International Workshop on Intersection Types and Related Systems (ITRS 2004)"
Conference proceedings: ENTCS, volume 136, Elsevier.
Damiani"Rank-2 Intersection and Polymorphic Recursion"
In proceedings: TLCA'05, LNCS 3461, pages 146-161, Springer.

2004
Ancona, Damiani, Drossopoulou and Zucca"Even More Principal Typings for Java-like Languages"
In proceedings: electronic proceedings of Workshop FTfJP'04 (http://www.cs.ru.nl/ftfjp/).
Berardi, Coppo and Damiani"Types for Proofs and Programs (International Workshop TYPES'03, Selected Papers)"
Book: LNCS, volume 3085, Springer.
Damiani, Dezani-Ciancaglini and Giannini"On Re-classification and Multithreading"
Article: Journal of Objectc Technology (www.jot.fm), 3(11):5-30.
Damiani, Dezani-Ciancaglini and Giannini"Re-classification and Multithreading: FickleMT"
In proceedings: OOPS track at SAC'04, volume 2, pages 1297-1304, ACM.

2003
Damiani"A conjunctive type system for useless-code elimination"
Article: Mathematical Structures in Computer Science, 13:157-197.
Damiani and Giannini"Alias types for ``environment-aware'' computations"
In proceedings: Workshop WOOD'03, ENTCS, volume 82.8, Elsevier.
Damiani"Rank 2 intersection types for local definitions and conditional expressions"
Article: ACM Transactions On Programming Languages and Systems, 25(4):401-451.
Damiani"Rank 2 intersection types for modules"
In proceedings: PPDP'03, pages 67-78, ACM.
Damiani, Drossopoulou and Giannini"Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)"
In proceedings: ICTCS'03, LNCS 2841, pages 97-110, Springer.

2002
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A type preserving translation of Fickle into Java "
In proceedings: Workshop TOSCA'01, ENTCS, volume 62, Elsevier.
Bono, Damiani and Giannini"A calculus for ``environment-aware'' computation"
In proceedings: Workshop F-WAN'02, ENTCS, volume 66.3, Elsevier.
Coppo, Damiani and Giannini"Strictness, totality, and non-standard type inference"
Article: Theoretical Computer Science, 272(1-2):69-112.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"More Dynamic Object Re-classification: FickleII"
Article: ACM Transactions On Programming Languages and Systems, 24(2):153-191.

2001
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"An effective translation of Fickle into Java (extended abstract)"
In proceedings: ICTCS'01, LNCS 2202, pages 215-234, Springer.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings: electronic proceedings of Workshop FOOL8 (http://www.cs.williams.edu/ kim/FOOL/).
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings: ECOOP'01, LNCS 2072, pages 130-149, Springer.

2000
Berardi, Coppo, Damiani and Giannini"Type-Based Useless-Code Elimination for Functional Programs"
In proceedings: Workshop SAIG'00, LNCS 1924, pages 172-189, Springer.
Damiani and Giannini"Automatic useless-code detection and elimination for HOT functional programs"
Article: Journal of Functional Programming, 10(6):509-559.
Damiani"Conjunctive Types and Useless-code Elimination (Extended Abstract)"
In proceedings: ICALP Workshops, Proceedings in Informatics, volume 8, pages 271-285, Carleton-Scientific.
Damiani"Typing local definitions and conditional expressions with rank 2 intersection"
In proceedings: FOSSACS'00 (part of ETAPS'00), LNCS 1784, pages 82-97, Springer.

1999
Damiani, Dezani-Ciancaglini and Giannini"A Filter Model for Mobile Processes"
Article: Mathematical Structures in Computer Science, 9(1):63-101.
Damiani"Useless-code detection and elimination for PCF with algebraic Datatypes"
In proceedings: TLCA'99, LNCS 1581, pages 83-97, Springer.

1998
Coppo, Damiani and Giannini"Inference based analysis of functional programs: dead-code and strictness"
In a collection: Theories of Types and Proofs, MSJ-Memoir, volume 2, pages 143-176, Mathematical Society of Japan.
Damiani and Prost"Detecting and Removing Dead-Code using Rank 2 Intersection"
In a collection: TYPES'96, LNCS 1512, pages 66-87, Springer.
Damiani"Non-standard type inference for functional programs"
PhD thesis.

1997
Coppo, Damiani and Giannini"On Strictness and Totality"
In proceedings: TACS'97, LNCS 1281, pages 138-164, Springer.
Damiani and Giannini"An Inference Algorithm for Strictness"
In proceedings: TLCA'97, LNCS 1210, pages 129-146, Springer.

1996
Coppo, Damiani and Giannini"Refinement Types for Program Analysis"
In proceedings: SAS'96, LNCS 1145, pages 143-158, Springer.

1994
Damiani and Giannini"A Decidable Intersection Type System based on Relevance"
In proceedings: TACS'94, LNCS 789, pages 707-725, Springer.

 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!