DAMIANI, Ferruccio
DAMIANI, Ferruccio
INFORMATICA
A calculus for "environment-aware" computation
2002-01-01 Viviana Bono; Ferruccio Damiani; Paola Giannini
A Calculus for Boxes and Traits in a Java-Like Setting
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
A Calculus of Agents and Artifacts
2011-01-01 Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
A conjunctive type system for useless-code elimination
2003-01-01 F. DAMIANI
A Filter Model for Mobile Processes
1999-01-01 DAMIANI F.; M. DEZANI; GIANNINI P.
A Formal Model for Multi SPLs
2017-01-01 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A Mechanisms for Flexible Dynamic Trait Replacement
2009-01-01 Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
A Prototypical Java-like Language with Records and Traits
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
A provenly correct translation of Fickle into Java
2007-01-01 D. ANCONA; C. ANDERSON; F. DAMIANI; S. DROSSOPOULOU; P. GIANNINI; E. ZUCCA
A Spatial Calculus of Wrapped Compartments
2011-01-01 Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
A State Abstraction for Coordination in Java-like Languages
2006-01-01 F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU
A Transformational Proof System for Delta-Oriented Programming
2012-01-01 Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu
A type inference approach to program analysis
1998-01-01 M. COPPO; DAMIANI F.; GIANNINI P.
A type preserving translation of Fickle into Java: (Extended Abstract)
2002-01-01 D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca
A type safe state abstraction for coordination in Java -like languages
2008-01-01 Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou
A type system for checking specialization of packages in object-oriented programming
2012-01-01 Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
2011-01-01 Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Abstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification
2010-01-01 Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Abstraction refinement for the analysis of software product lines
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Adaptive distributed monitors of spatial properties for cyber–physical systems
2021-01-01 Audrito G.; Casadei R.; Damiani F.; Stolz V.; Viroli M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A calculus for "environment-aware" computation | 2002 | Viviana Bono; Ferruccio Damiani; Paola Giannini | |
A Calculus for Boxes and Traits in a Java-Like Setting | 2010 | Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer | |
A Calculus of Agents and Artifacts | 2011 | Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli | |
A conjunctive type system for useless-code elimination | 2003 | F. DAMIANI | |
A Filter Model for Mobile Processes | 1999 | DAMIANI F.; M. DEZANI; GIANNINI P. | |
A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini | |
A Mechanisms for Flexible Dynamic Trait Replacement | 2009 | Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani | |
A Prototypical Java-like Language with Records and Traits | 2010 | Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco | |
A provenly correct translation of Fickle into Java | 2007 | D. ANCONA; C. ANDERSON; F. DAMIANI; S. DROSSOPOULOU; P. GIANNINI; E. ZUCCA | |
A Spatial Calculus of Wrapped Compartments | 2011 | Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina | |
A State Abstraction for Coordination in Java-like Languages | 2006 | F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU | |
A Transformational Proof System for Delta-Oriented Programming | 2012 | Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu | |
A type inference approach to program analysis | 1998 | M. COPPO; DAMIANI F.; GIANNINI P. | |
A type preserving translation of Fickle into Java: (Extended Abstract) | 2002 | D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca | |
A type safe state abstraction for coordination in Java -like languages | 2008 | Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou | |
A type system for checking specialization of packages in object-oriented programming | 2012 | Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch | |
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? | 2011 | Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani | |
Abstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification | 2010 | Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani | |
Abstraction refinement for the analysis of software product lines | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael | |
Adaptive distributed monitors of spatial properties for cyber–physical systems | 2021 | Audrito G.; Casadei R.; Damiani F.; Stolz V.; Viroli M. |