export record
dblp key:
journals/sttt/DamianiLP19 share record
persistent URL:
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 )share record
persistent URL:
Vittorio Miori , Dario Russo , Luca Ferrucci : Interoperability of home automation systems as a critical challenge for IoT. ICCCS 2019 : 1-7 share record
persistent URL:
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 share record
persistent URL:
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 2018 export record
dblp key:
journals/acta/DamianiPSS18 share record
persistent URL:
Ferruccio Damiani , Luca Padovani , Ina Schaefer , Christoph Seidl : A core calculus for dynamic delta-oriented programming. Acta Informatica 55 (4 ) : 269-307 (2018 )export record
dblp key:
conf/vamos/LienhardtDDP18 share record
persistent URL:
Michael Lienhardt , Ferruccio Damiani , Simone Donetti , Luca Paolini : Multi Software Product Lines in the Wild. VaMoS 2018 : 89-96 2017 share record
persistent URL:
Ferruccio Damiani , Michael Lienhardt , Luca Paolini : A Formal Model for Multi SPLs. FSEN 2017 : 67-83 2016 export record
dblp key:
journals/jcss/FerrucciRABM16 share record
persistent URL:
Luca Ferrucci , Laura Ricci , Michele Albano , Ranieri Baraglia , Matteo Mordacchini : Multidimensional range queries on hierarchical Voronoi overlays. J. Comput. Syst. Sci. 82 (7 ) : 1161-1179 (2016 )share record
persistent URL:
Matteo Rossi , Dino Mandrioli , Angelo Morzenti , Luca Ferrucci : A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theor. Comput. Sci. 643 : 38-64 (2016 )2015 share record
persistent URL:
Marina Buzzi , Luca Ferrucci , Francesco Gennai , Claudio Petrucci : Introducing New Technology into Italian Certified Electronic Mail: A Proposal. TELERISE@ICSE 2015 : 32-37 share record
persistent URL:
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 share record
persistent URL:
Luca Ferrucci : Integrating formal methods with industrial standards in the development of flexible manufacturing systems. Polytechnic University of Milan, Italy, 2014 export record
dblp key:
journals/jim/CarpanzanoFMMMR14 share record
persistent URL:
Emanuele Carpanzano , Luca Ferrucci , Dino Mandrioli , Mauro Mazzolini , Angelo Morzenti , Matteo Rossi : Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25 (5 ) : 1181-1195 (2014 )export record
dblp key:
journals/neuroimage/PisoniGOPZVL14 share record
persistent URL:
Alberto Pisoni , Emanuele Lo Gerfo , Stefania Ottone , Ferruccio Ponzano , Luca Zarri , Alessandra Vergallito , Leonor Josefina Romero Lauro : Fair play doesn't matter: MEP modulation as a neurophysiological signature of status quo bias in economic interactions. NeuroImage 101 : 150-158 (2014 )share record
persistent URL:
Marcello M. Bersani , Salvatore Distefano , Luca Ferrucci , Manuel Mazzara : A Timed Semantics of Workflows. ICSOFT (Selected Papers) 2014 : 365-383 share record
persistent URL:
Luca Ferrucci , Marcello M. Bersani , Manuel Mazzara : An LTL Semantics of BusinessWorkflows with Recovery. ICSOFT PT 2014 : 29-40 export record
dblp key:
journals/corr/BersaniBFM14 share record
persistent URL:
Marcello Maria Bersani , Davide Bresolin , Luca Ferrucci , Manuel Mazzara : Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. EPTCS 168, 2014 [contents] export record
dblp key:
journals/corr/FerrucciBM14 share record
persistent URL:
Luca Ferrucci , Marcello M. Bersani , Manuel Mazzara : An LTL Semantics of Business Workflows with Recovery. CoRR abs/1406.1395 (2014 )2012 share record
persistent URL:
Luca Ferrucci , Dino Mandrioli , Angelo Morzenti , Matteo Rossi : Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS 2012 : 162-176 share record
persistent URL:
Ferruccio Damiani , Luca Padovani , Ina Schaefer : A formal foundation for dynamic delta-oriented software product lines. GPCE 2012 : 1-10 share record
persistent URL:
Luca Ferrucci , Dino Mandrioli , Angelo Morzenti , Matteo Rossi : A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012 : 81-88 export record
dblp key:
journals/corr/abs-1206-0911 share record
persistent URL:
Luca Ferrucci , Dino Mandrioli , Angelo Morzenti , Matteo Rossi : Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012 )2010 export record
dblp key:
journals/symmetry/SforzaLGPF10 share record
persistent URL:
Chiarella Sforza , Alberto Laino , Gaia Grandi , Luca Pisoni , Virgilio Ferruccio Ferrario : Three-Dimensional Facial Asymmetry in Attractive and Normal People from Childhood to Young Adulthood. Symmetry 2 (4 ) : 1925-1944 (2010 )export record
dblp key:
conf/coordination/BettiniDLGS10 share record
persistent URL:
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 export record
dblp key:
conf/p2p/MordacchiniRFAB10 share record
persistent URL:
Matteo Mordacchini , Laura Ricci , Luca Ferrucci , Michele Albano , Ranieri Baraglia : Hivory: Range Queries on Hierarchical Voronoi Overlays. Peer-to-Peer Computing 2010 : 1-10 2008 export record
dblp key:
conf/visual/AvaglianoMFPSTV08 share record
persistent URL:
Giuseppe Avagliano , Sergio Di Martino , Filomena Ferrucci , Luca Paolino , Monica Sebillo , Genoveffa Tortora , Giuliana Vitiello : Embedding Google Maps APIs into WebRatio for the Automatic Generation of Web GIS Applications. VISUAL 2008 : 259-270 2007 share record
persistent URL:
Sergio Di Martino , Filomena Ferrucci , Luca Paolino , Monica Sebillo , Genny Tortora , Giuliana Vitiello , Giuseppe Avagliano : Towards the automatic generation of web GIS. GIS 2007 : 57 share record
persistent URL:
Sergio Di Martino , Filomena Ferrucci , Luca Paolino , Monica Sebillo , Giuliana Vitiello , Giuseppe Avagliano : A WebML-based Visual Language for the Development of Web GIS Applications. VL/HCC 2007 : 209-214 share record
persistent URL:
Sergio Di Martino , Filomena Ferrucci , Luca Paolino , Monica Sebillo , Giuliana Vitiello , Giuseppe Avagliano : A WebML-Based Approach for the Development of Web GIS Applications. WISE 2007 : 385-397 2003 export record
dblp key:
journals/amai/AspertiPCGS03 share record
persistent URL:
Andrea Asperti , Luca Padovani , Claudio Sacerdoti Coen , Ferruccio Guidi , Irene Schena : Mathematical Knowledge Management in HELM. Ann. Math. Artif. Intell. 38 (1-3 ) : 27-46 (2003 )