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