Luca Ferrucci
Luca Ferrucci
ISTI-CNR - Area della ricerca di Pisa
Email verificata su isti.cnr.it
TitoloCitata daAnno
Hivory: Range queries on hierarchical voronoi overlays
M Mordacchini, L Ricci, L Ferrucci, M Albano, R Baraglia
2010 IEEE Tenth International Conference on Peer-to-Peer Computing (P2P), 1-10, 2010
152010
Automated formal verification for flexible manufacturing systems
E Carpanzano, L Ferrucci, D Mandrioli, M Mazzolini, A Morzenti, M Rossi
Journal of Intelligent Manufacturing 25 (5), 1181-1195, 2014
72014
A metric temporal logic for dealing with zero-time transitions
L Ferrucci, D Mandrioli, A Morzenti, M Rossi
2012 19th International Symposium on Temporal Representation and Reasoning …, 2012
62012
Multidimensional range queries on hierarchical Voronoi overlays
L Ferrucci, L Ricci, M Albano, R Baraglia, M Mordacchini
Journal of Computer and System Sciences, 2016
52016
An LTL semantics of business workflows with recovery
L Ferrucci, MM Bersani, M Mazzara
2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT), 29-40, 2014
52014
Modular automated verification of flexible manufacturing systems with metric temporal logic and non-standard analysis
L Ferrucci, D Mandrioli, A Morzenti, M Rossi
International Workshop on Formal Methods for Industrial Critical Systems …, 2012
42012
Load balancing by domain decomposition: the bounded neighbour approach
F Baiardi, A Bonotti, L Ferrucci, L Ricci, P Mori
Proc. of 17th European Simulation Multiconference, 9-11, 2003
42003
A proposed evolution for the Italian certified electronic mail system
M Buzzi, L Ferrucci, F Gennai, C Petrucci
2016 Third International Conference on eDemocracy & eGovernment (ICEDEG), 34-41, 2016
22016
Introducing new technology into italian certified electronic mail: A proposal
M Buzzi, L Ferrucci, F Gennai, C Petrucci
Proceedings of the First International Workshop on TEchnical and LEgal …, 2015
22015
A timed semantics of workflows
MM Bersani, S Distefano, L Ferrucci, M Mazzara
International Conference on Software Technologies, 365-383, 2014
22014
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
L Ferrucci, D Mandrioli, A Morzenti, M Rossi
arXiv preprint arXiv:1206.0911, 2012
22012
Un sistema gerarchico basato su Voronoi per la risoluzione di query multiattributo
L FERRUCCI
Università di Pisa, 2009
22009
A temporal logic for micro-and macro-step-based real-time systems: Foundations and applications
M Rossi, D Mandrioli, A Morzenti, L Ferrucci
Theoretical Computer Science 643, 38-64, 2016
12016
Universita di Pisa
L Ricci, DR Baraglia, L Ferrucci
1
Supporting Active Aging Through A Home Automation Infrastructure for Social Internet of Things
V Miori, D Russo, L Ferrucci
Advances in Science, Technology and Engineering Systems Journal 3 (4), 173-186, 2018
2018
Multidimensional range queries on hierarchical Voronoi overlays
M Albano, R Baraglia, L Ferrucci, M Mordacchini, L Ricci
2016
Proceedings First Workshop on Logics and Model-checking for Self-* Systems
MM Bersani, D Bresolin, L Ferrucci, M Mazzara
arXiv preprint arXiv:1411.3453, 2014
2014
Integrating formal methods with industrial standards in the development of flexible manufacturing systems
L Ferrucci
Italy, 2014
2014
Automated Formal Verification for Flexible Manufacturing Systems
E Carpanzano, L Ferrucci, D Mandrioli, M Mazzolini, A Morzenti, M Rossi
IFAC Proceedings Volumes 45 (6), 1609-1614, 2012
2012
Automated Formal Verification for Flexible Manufacturing Systems
C Emanuele, L Ferrucci, D Mandrioli, M Mauro, AC Morzenti, MG Rossi
14th IFAC Symposium on Information Control Problems in Manufacturing, 1-6, 2012
2012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20