Ferruccio Damiani

According to our database1, Ferruccio Damiani
  • authored at least 100 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Self-Adaptation to Device Distribution in the Internet of Things.
TAAS, 2017

A novel model-based testing approach for software product lines.
Software and System Modeling, 2017

Xtraitj: Traits for the Java platform.
Journal of Systems and Software, 2017

Abstraction Refinement for the Analysis of Software Product Lines.
Proceedings of the Tests and Proofs - 11th International Conference, 2017

Compositional Blocks for Optimal Self-Healing Gradients.
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

A Formal Model for Multi SPLs.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

A Unified and Formal Programming Model for Deltas and Traits.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.
Proceedings of the Coordination Models and Languages, 2017

2016
A type-sound calculus of computational fields.
Sci. Comput. Program., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
T. Foundations for Mastering Change, 2016

A Higher-order Calculus of Computational Fields.
CoRR, 2016

Refactoring Delta-Oriented Product Lines to achieve Monotonicity.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Self-Adaptation to Device Distribution Changes.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Run-Time Management of Computation Domains in Field Calculus.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Introduction to the Track on Variability Modeling for Scalable Software Evolution.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Toolchain for Delta-Oriented Modeling of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

On Type Checking Delta-Oriented Product Lines.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015
Implementing type-safe software product lines using parametric traits.
Sci. Comput. Program., 2015

Type-based Self-stabilisation for Computational Fields.
Logical Methods in Computer Science, 2015

From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014
Verifying traits: an incremental proof system for fine-grained reuse.
Formal Asp. Comput., 2014

Delta-oriented multi software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

DeltaJ 1.5: delta-oriented programming for Java 1.5.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Generic traits for the Java platform.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Delta-Trait Programming of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

A Calculus of Self-stabilising Computational Fields.
Proceedings of the Coordination Models and Languages, 2014

2013
TraitRecordJ: A programming language with traits and records.
Sci. Comput. Program., 2013

Combining traits with boxes and ownership types in a Java-like setting.
Sci. Comput. Program., 2013

On flexible dynamic trait replacement for Java-like languages.
Sci. Comput. Program., 2013

Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations.
Electr. Notes Theor. Comput. Sci., 2013

Compositional type checking of delta-oriented software product lines.
Acta Inf., 2013

Refinement-based testing of delta-oriented product lines.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

Pure trait-based programming on the Java platform.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

A Calculus of Computational Fields.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
Simulation techniques for the calculus of wrapped compartments.
Theor. Comput. Sci., 2012

Standard Type Soundness for Agents and Artifacts.
Sci. Ann. Comp. Sci., 2012

A transformational proof system for delta-oriented programming.
Proceedings of the 16th International Software Product Line Conference, 2012

A type system for checking specialization of packages in object-oriented programming.
Proceedings of the ACM Symposium on Applied Computing, 2012

Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

A formal foundation for dynamic delta-oriented software product lines.
Proceedings of the Generative Programming and Component Engineering, 2012

2011
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis.
Trans. Computational Systems Biology, 2011

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

A Spatial Calculus of Wrapped Compartments
CoRR, 2011

Type Inference for Bimorphic Recursion
Proceedings of Second International Symposium on Games, 2011

Dynamic delta-oriented programming.
Proceedings of the Software Product Lines - 15th International Conference, 2011

On Designing Multicore-Aware Simulators for Biological Systems.
Proceedings of the 19th International Euromicro Conference on Parallel, 2011

On Parallelizing On-Line Statistics for Stochastic Biological Simulations.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

Verifying traits: a proof system for fine-grained reuse.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Compositional type-checking for delta-oriented programming.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Hybrid Calculus of Wrapped Compartments
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

On Designing Multicore-aware Simulators for Biological Systems
CoRR, 2010

Stochastic Calculus of Wrapped Compartments
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Delta-Oriented Programming of Software Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Implementing software product lines using traits.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A prototypical Java-like language with records and traits.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Pure delta-oriented programming.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
Proceedings of the Formal Verification of Object-Oriented Software, 2010

A Calculus for Boxes and Traits in a Java-Like Setting.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009
Modelling an Ammonium Transporter with SCLS.
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.
Proceedings of the ICSOFT 2009, 2009

A mechanism for flexible dynamic trait replacement.
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008
Alias Types and Effects for "Environment-aware" Computations.
Fundam. Inform., 2008

A type safe state abstraction for coordination in Java -like languages.
Acta Inf., 2008

On Polymorphic Recursion, Type Systems, and Abstract Interpretation.
Proceedings of the Static Analysis, 15th International Symposium, 2008

On Traits and Types in a Java-like Setting.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007
A provenly correct translation of Fickle into Java.
ACM Trans. Program. Lang. Syst., 2007

Rank 2 Intersection for Recursive Definitions.
Fundam. Inform., 2007

2006
On state classes and their dynamic semantics.
Proceedings of the ICSOFT 2006, 2006

2005
Preface.
Electr. Notes Theor. Comput. Sci., 2005

Rank-2 Intersection and Polymorphic Recursion.
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Polymorphic bytecode: compositional compilation for Java-like languages.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
On Re-classification and Multi-threading.
Journal of Object Technology, 2004

Re-classification and multi-threading: FickleMT.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003
Rank 2 intersection types for local definitions and conditional expressions.
ACM Trans. Program. Lang. Syst., 2003

A Conjunctive Type System for Useless-Code Elimination.
Mathematical Structures in Computer Science, 2003

Alias types for "environment-aware" computations.
Electr. Notes Theor. Comput. Sci., 2003

Rank 2 intersection types for modules.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Refined Effects for Unanticipated Object Re-classification: Fickle3.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002
More dynamic object reclassification: Fickle||
ACM Trans. Program. Lang. Syst., 2002

Strictness, totality, and non-standard-type inference.
Theor. Comput. Sci., 2002

A Calculus for "Environment-Aware" Computation.
Electr. Notes Theor. Comput. Sci., 2002

2001
A type preserving translation of Fickle into Java.
Electr. Notes Theor. Comput. Sci., 2001

An Effective Translation of Fickle into Java.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Fickle : Dynamic Object Re-classification.
Proceedings of the ECOOP 2001, 2001

2000
Automatic useless-code elimination for HOT functional programs.
J. Funct. Program., 2000

Type-Based Useless-Code Elimination for Functional Programs.
Proceedings of the Semantics, 2000

Conjunctive Types and Useless-code Elimination.
ICALP Satellite Workshops, 2000

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
A filter model for mobile processes.
Mathematical Structures in Computer Science, 1999

Useless-Code Detection and Elimination for PCF with Algebraic Data types.
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1997
An Inference Algorithm for Strictness.
Proceedings of the Typed Lambda Calculi and Applications, 1997

On Strictness and Totality.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996
Detecting and Removing Dead-Code using Rank 2 Intersection.
Proceedings of the Types for Proofs and Programs, 1996

Refinement Types for Program Analysis.
Proceedings of the Static Analysis, Third International Symposium, 1996

1994
A Decidable Intersection Type System based on Relevance.
Proceedings of the Theoretical Aspects of Computer Software, 1994


  Loading...