
Ferruccio Damiani
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j43]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97: 104081 (2021) - 2020
- [j42]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16(4) (2020) - [c91]Giorgio Audrito
, Sergio Bergamini, Ferruccio Damiani
, Mirko Viroli
:
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION 2020: 211-229 - [c90]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
:
Lazy product discovery in huge configuration spaces. ICSE 2020: 1509-1521 - [c89]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
On Two Characterizations of Feature Models. ICTAC 2020: 103-122 - [c88]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
On Slicing Software Product Line Signatures. ISoLA (1) 2020: 81-102 - [c87]Roberto Casadei
, Mirko Viroli
, Giorgio Audrito
, Ferruccio Damiani
:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360 - [c86]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen
, Silvia Lizeth Tapia Tarifa
, Ferruccio Damiani
:
A Formal Model of the Kubernetes Container Framework. ISoLA (1) 2020: 558-577 - [i7]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy Product Discovery in Huge Configuration Spaces. CoRR abs/2003.07383 (2020) - [i6]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020)
2010 – 2019
- 2019
- [j41]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei
, Danilo Pianini:
From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019) - [j40]Maurice H. ter Beek
, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
:
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169: 1-17 (2019) - [j39]Ferruccio Damiani, Michael Lienhardt, Luca Paolini
:
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172: 203-231 (2019) - [j38]Vítor Rodrigues, Simone Donetti, Ferruccio Damiani:
Certifying delta-oriented programs. Softw. Syst. Model. 18(5): 2875-2906 (2019) - [j37]Ferruccio Damiani, Michael Lienhardt, Luca Paolini
:
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Int. J. Softw. Tools Technol. Transf. 21(6): 691-707 (2019) - [j36]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20(1): 5:1-5:55 (2019) - [c85]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS 2019: 1618-1626 - [c84]Giorgio Audrito
, Jacob Beal
, Ferruccio Damiani
, Danilo Pianini
, Mirko Viroli
:
The share Operator for Field-Based Coordination. COORDINATION 2019: 54-71 - [c83]Roberto Casadei
, Mirko Viroli
, Giorgio Audrito
, Danilo Pianini
, Ferruccio Damiani
:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217 - [c82]Shaukat Ali, Ferruccio Damiani, Schahram Dustdar
, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
:
Big data from the cloud to the edge: the aggregate computing solution. ECSA (Companion) 2019: 177-180 - [c81]Giorgio Audrito
, Mirko Viroli
, Ferruccio Damiani
, Danilo Pianini
, Jacob Beal
:
On a Higher-Order Calculus of Computational Fields. FORTE 2019: 289-292 - [c80]Michael Lienhardt, Ferruccio Damiani
, Lorenzo Testa, Gianluca Turin:
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. IFM 2019: 534-537 - [c79]Maurice H. ter Beek
, Ferruccio Damiani
, Stefania Gnesi
, Franco Mazzanti
, Luca Paolini
:
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM 2019: 542-546 - [c78]Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
:
Static analysis of featured transition systems. SPLC (A) 2019: 9:1-9:13 - [i5]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. CoRR abs/1910.02874 (2019) - 2018
- [j35]Ferruccio Damiani
, Luca Padovani
, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4): 269-307 (2018) - [j34]Michael Lienhardt, Ferruccio Damiani
, Lorenzo Testa, Gianluca Turin:
On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166: 3-34 (2018) - [j33]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli
:
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018) - [j32]Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. 28(2): 16:1-16:28 (2018) - [c77]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development 2018: 99-117 - [c76]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. COORDINATION 2018: 1-20 - [c75]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei
, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279 - [c74]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini:
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS 2018: 23-34 - [c73]Ferruccio Damiani, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
Interoperability of software product line variants. SPLC 2018: 264-268 - [c72]Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
:
Multi Software Product Lines in the Wild. VaMoS 2018: 89-96 - [c71]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - 2017
- [j31]Lorenzo Bettini
, Ferruccio Damiani
:
Xtraitj: Traits for the Java platform. J. Syst. Softw. 131: 419-441 (2017) - [j30]Ferruccio Damiani
, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz:
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16(4): 1223-1251 (2017) - [j29]Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
:
Self-Adaptation to Device Distribution in the Internet of Things. ACM Trans. Auton. Adapt. Syst. 12(3): 12:1-12:29 (2017) - [c70]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77 - [c69]Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani
, Einar Broch Johnsen
, Cristina Chesta:
HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops 2017: 159-163 - [c68]Ferruccio Damiani
, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441 - [c67]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
A Formal Model for Multi SPLs. FSEN 2017: 67-83 - [c66]Ferruccio Damiani
, Michael Lienhardt, Radu Muschevici, Ina Schaefer:
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126 - [c65]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 - [c64]Ferruccio Damiani
, Reiner Hähnle
, Michael Lienhardt:
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF 2017: 3-20 - [c63]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Aggregate Graph Statistics. ALP4IoT@iFM 2017: 18-22 - [i4]Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR abs/1711.08297 (2017) - 2016
- [j28]Richard Bubel, Ferruccio Damiani
, Reiner Hähnle
, Einar Broch Johnsen
, Olaf Owe
, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016) - [j27]Ferruccio Damiani
, Mirko Viroli, Jacob Beal:
A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016) - [c62]Ferruccio Damiani
, Michael Lienhardt:
On Type Checking Delta-Oriented Product Lines. IFM 2016: 47-62 - [c61]Ferruccio Damiani
, Christoph Seidl, Ingrid Chieh Yu:
Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) 2016: 423-432 - [c60]Cristina Chesta, Ferruccio Damiani
, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster:
A Toolchain for Delta-Oriented Modeling of Software Product Lines. ISoLA (2) 2016: 497-511 - [c59]Ferruccio Damiani
, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) 2016: 579-596 - [c58]Jacob Beal, Mirko Viroli, Danilo Pianini
, Ferruccio Damiani
:
Self-Adaptation to Device Distribution Changes. SASO 2016: 60-69 - [c57]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli, Roberto Casadei
:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197 - [c56]Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer:
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) 2016: 40-54 - [c55]Ferruccio Damiani
, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE 2016: 2-16 - [i3]Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-order Calculus of Computational Fields. CoRR abs/1610.08116 (2016) - 2015
- [j26]Ferruccio Damiani
, Mirko Viroli:
Type-based Self-stabilisation for Computational Fields. Log. Methods Comput. Sci. 11(4) (2015) - [j25]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer:
Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97: 282-308 (2015) - [c54]Ferruccio Damiani
, Mirko Viroli, Danilo Pianini
, Jacob Beal
:
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128 - [c53]Mirko Viroli, Jacob Beal, Ferruccio Damiani
, Danilo Pianini
:
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. SASO 2015: 81-90 - [c52]Maurice H. ter Beek
, Ferruccio Damiani
, Stefania Gnesi
, Franco Mazzanti
, Luca Paolini
:
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359 - 2014
- [j24]Ferruccio Damiani
, Johan Dovland, Einar Broch Johnsen
, Ina Schaefer:
Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. 26(4): 761-793 (2014) - [c51]Mirko Viroli, Ferruccio Damiani
:
A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178 - [c50]Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303 - [c49]Lorenzo Bettini
, Ferruccio Damiani
:
Generic traits for the Java platform. PPPJ 2014: 5-16 - [c48]Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze
, Lorenzo Bettini
, Ferruccio Damiani
:
DeltaJ 1.5: delta-oriented programming for Java 1.5. PPPJ 2014: 63-74 - [c47]Ferruccio Damiani
, Ina Schaefer, Tim Winkelmann:
Delta-oriented multi software product lines. SPLC 2014: 232-236 - [e5]Marco Bernardo
, Ferruccio Damiani
, Reiner Hähnle
, Einar Broch Johnsen
, Ina 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. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - 2013
- [j23]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer:
Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2): 77-122 (2013) - [j22]Eva Sciacca
, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani
, Mario Coppo:
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. Electron. Notes Theor. Comput. Sci. 293: 83-96 (2013) - [j21]Lorenzo Bettini
, Ferruccio Damiani
, Kathrin Geilmann, Jan Schäfer:
Combining traits with boxes and ownership types in a Java-like setting. Sci. Comput. Program. 78(2): 218-247 (2013) - [j20]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer, Fabio Strocco:
TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78(5): 521-541 (2013) - [j19]Lorenzo Bettini
, Sara Capecchi, Ferruccio Damiani
:
On flexible dynamic trait replacement for Java-like languages. Sci. Comput. Program. 78(7): 907-932 (2013) - [c46]Mirko Viroli, Ferruccio Damiani
, Jacob Beal
:
A Calculus of Computational Fields. ESOCC Workshops 2013: 114-128 - [c45]Lorenzo Bettini
, Ferruccio Damiani
:
Pure trait-based programming on the Java platform. PPPJ 2013: 67-78 - [c44]Ferruccio Damiani
, Christoph Gladisch, Shmuel S. Tyszberowicz:
Refinement-based testing of delta-oriented product lines. PPPJ 2013: 135-140 - [e4]Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9 [contents] - 2012
- [j18]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. 22(2): 267-326 (2012) - [j17]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
Simulation techniques for the calculus of wrapped compartments. Theor. Comput. Sci. 431: 75-95 (2012) - [c43]Ferruccio Damiani
, Luca Padovani
, Ina Schaefer:
A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10 - [c42]Ferruccio Damiani
, Ina Schaefer:
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. ISoLA (1) 2012: 193-207 - [c41]Ferruccio Damiani
, Arnd Poetzsch-Heffter, Yannick Welsch:
A type system for checking specialization of packages in object-oriented programming. SAC 2012: 1737-1742 - [c40]Ferruccio Damiani
, Olaf Owe
, Johan Dovland, Ina Schaefer, Einar Broch Johnsen
, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60 - [e3]Bernhard Beckert, Ferruccio Damiani
, Dilian Gurov:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7421, Springer 2012, ISBN 978-3-642-31761-3 [contents] - 2011
- [j16]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Mike Guether, Angelo Troina:
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. Trans. Comp. Sys. Biology 13: 85-109 (2011) - [c39]Ina Schaefer, Lorenzo Bettini
, Ferruccio Damiani
:
Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56 - [c38]Ferruccio Damiani
, Johan Dovland, Einar Broch Johnsen
, Ina Schaefer:
Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP 2011: 8:1-8:6 - [c37]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco
, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina:
On Parallelizing On-Line Statistics for Stochastic Biological Simulations. Euro-Par Workshops (2) 2011: 3-12 - [c36]Marco Aldinucci
, Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Massimo Torquati
, Angelo Troina:
On Designing Multicore-Aware Simulators for Biological Systems. PDP 2011: 318-325 - [c35]Ferruccio Damiani
, Ina Schaefer:
Dynamic delta-oriented programming. SPLC Workshops 2011: 34 - [c34]Cristina Calcagno, Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments. CompMod 2011: 3-18 - [c33]Makoto Tatsuta, Ferruccio Damiani
:
Type Inference for Bimorphic Recursion. GandALF 2011: 102-115 - [i2]Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
A Spatial Calculus of Wrapped Compartments. CoRR abs/1108.3426 (2011) - 2010
- [c32]Lorenzo Bettini
, Ferruccio Damiani
, Marco De Luca, Kathrin Geilmann, Jan Schäfer:
A Calculus for Boxes and Traits in a Java-Like Setting. COORDINATION 2010: 46-60 - [c31]Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS 2010: 31-45 - [c30]Ina Schaefer, Ferruccio Damiani
:
Pure delta-oriented programming. FOSD 2010: 49-56 - [c29]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer, Fabio Strocco:
A prototypical Java-like language with records and traits. PPPJ 2010: 129-138 - [c28]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer:
Implementing software product lines using traits. SAC 2010: 2096-2102 - [c27]Ina Schaefer, Lorenzo Bettini
, Viviana Bono
, Ferruccio Damiani
, Nico Tanzarella:
Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91 - [c26]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Angelo Troina:
Stochastic Calculus of Wrapped Compartments. QAPL 2010: 82-98 - [c25]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
Hybrid Calculus of Wrapped Compartments. MeCBIC 2010: 102-120 - [i1]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-aware Simulators for Biological Systems. CoRR abs/1010.2438 (2010)
2000 – 2009
- 2009
- [c24]Lorenzo Bettini
, Sara Capecchi, Ferruccio Damiani
:
A mechanism for flexible dynamic trait replacement. FTfJP@ECOOP 2009: 9:1-9:7 - [c23]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
A Calculus of Agents and Artifacts. ICSOFT (Selected Papers) 2009: 124-136 - [c22]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225 - [c21]Mario Coppo, Ferruccio Damiani, Elena Grassi
, Mike Guether, Angelo Troina:
Modelling an Ammonium Transporter with SCLS. COMPMOD 2009: 77-92 - [e2]Stefano Berardi, Ferruccio Damiani
, Ugo de'Liguoro:
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5497, Springer 2009, ISBN 978-3-642-02443-6 [contents] - 2008
- [j15]Ferruccio Damiani
, Elena Giachino, Paola Giannini
, Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages. Acta Informatica 45(7-8): 479-536 (2008) - [j14]Ferruccio Damiani, Elena Giachino, Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations. Fundam. Informaticae 88(1-2): 63-107 (2008) - [c20]Viviana Bono
, Ferruccio Damiani
, Elena Giachino:
On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382 - [c19]Marco Comini
, Ferruccio Damiani
, Samuel Vrech:
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158 - 2007
- [j13]Ferruccio Damiani:
Rank 2 Intersection for Recursive Definitions. Fundam. Informaticae 77(4): 451-488 (2007) - [j12]Davide Ancona, Christopher Anderson, Ferruccio Damiani
, Sophia Drossopoulou, Paola Giannini
, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - 2006
- [c18]Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola:
On state classes and their dynamic semantics. ICSOFT (1) 2006: 5-12 - [c17]Ferruccio Damiani, Elena Giachino, Paola Giannini
, Emanuele Cazzola:
On State Classes and Their Dynamic Semantics. ICSOFT (Selected Papers) 2006: 84-96 - 2005
- [j11]Mario Coppo, Ferruccio Damiani
:
Preface. Electron. Notes Theor. Comput. Sci. 136: 1-2 (2005) - [c16]Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 - [c15]Ferruccio Damiani:
Rank-2 Intersection and Polymorphic Recursion. TLCA 2005: 146-161 - 2004
- [j10]Ferruccio Damiani
, Mariangiola Dezani-Ciancaglini, Paola Giannini
:
On Re-classification and Multi-threading. J. Object Technol. 3(11): 5-30 (2004) - [c14]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304 - [e1]Stefano Berardi, Mario Coppo, Ferruccio Damiani
:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3085, Springer 2004, ISBN 3-540-22164-6 [contents] - 2003
- [j9]