Luca Spalazzi

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 39

Top Venues

Concurr. Comput. Pract. Exp.

HPCS

ICCE-Berlin

CoRR

Publications

Aleksandr Raikov, Alberto Giretti, Massimiliano Pirani, Luca Spalazzi, Meng Guo
Accelerating human-computer interaction through convergent conditions for LLM explanation. Frontiers Artif. Intell. 7 (2024)
Lucia Pepa, Luca Spalazzi, Maria Gabriella Ceravolo, Marianna Capecci
Supervised learning for automatic emotion recognition in Parkinson's disease through smartwatch signals. Expert Syst. Appl. 249 (2024)
Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi
ChoEn: A Smart Contract Based Choreography Enforcer. PerCom Workshops (2023)
Lucia Pepa, Luca Spalazzi, Marianna Capecci, Maria Gabriella Ceravolo
Automatic Emotion Recognition in Clinical Scenario: A Systematic Review of Methods. IEEE Trans. Affect. Comput. 14 (2) (2023)
Massimiliano Pirani, Alessandro Cucchiarelli, Luca Spalazzi
Paradigms for database-centric application interfaces. ISM (2023)
Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia
Blockchain based choreographies: The construction industry case study. Concurr. Comput. Pract. Exp. 35 (16) (2023)
Lorenzo Principi, Marco Baldi, Alessandro Cucchiarelli, Luca Spalazzi
Efficiency of Malware Detection Based on DNS Packet Analysis Over Real Network Traffic. CSR (2023)
Massimiliano Pirani, Alessio Cacopardo, Alessandro Cucchiarelli, Luca Spalazzi
A Soulbound Token-based Reputation System in Sustainable Supply Chains. EWSN (2023)
Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Caterina Belbusti, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Michele Tinazzi, Gianmatteo Farabolini, Marialuisa Gandolfi, Giulia Bonardi, Maria Gabriella Ceravolo
Consumer Devices for Health Parameter Collection and Analysis in Parkinson's Disease Telerehabilitation. ICCE-Berlin (2023)
Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Silvia Vada, Marianna Capecci, Michele Tinazzi, Gianmatteo Farabolini, Marialuisa Gandolfi, Giulia Bonardi, Maria Gabriella Ceravolo, Nicolò Baldini
Acceptability and clinical usefulness of a telemonitoring and telerehabilitation system in people with Parkinson's Disease in different disease stages: preliminary findings from the RAPIDO study. AIxAS@AI*IA (2023)
Antonio Sabatelli, Simone Valenti, Antonia Antoniello, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo
Parkinson's disease telemonitoring and telerehabilitation based on commercial wearable sensor data analysis: a pilot study. ICCE-Berlin (2022)
Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Luca Spalazzi, Marina Paolanti, Emanuele Frontoni
An offline parallel architecture for forensic multimedia classification. Multim. Tools Appl. 81 (16) (2022)
Christian Morbidoni, Luca Spalazzi, Antonio Teti, Alessandro Cucchiarelli
Leveraging n-gram neural embeddings to improve deep learning DGA detection. SAC (2022)
Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture. ICCE-Berlin (2022)
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi
Automatic Repair of Timestamp Comparisons. IEEE Trans. Software Eng. 47 (11) (2021)
Alessandro Cucchiarelli, Christian Morbidoni, Luca Spalazzi, Marco Baldi
Algorithmically generated malicious domain names detection based on n-grams features. Expert Syst. Appl. 170 (2021)
Lucia Pepa, Martina Pigliapoco, Paola Bisoglio, Alice Lambertucci, Michela Coccia, Lauredana Ercolani, Michela Aringolo, Margherita Hibel, Anna Gastaldi, Elisa Andrenelli, Rossella Cima, Luca Spalazzi, Maria Gabriella Ceravolo, Marianna Capecci
Therapeutic Exercise Protocols for People Recovering After Covid-19: A Tele-Health Approach. ForItAAL (2020)
Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin
Verifying temporal specifications of Java programs. Softw. Qual. J. 28 (2) (2020)
Luca Spalazzi, Francesco Spegni
Parameterized model checking of networks of timed automata with Boolean guards. Theor. Comput. Sci. 813 (2020)
Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi
Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials. DLT@ITASEC (2020)
Lucia Pepa, Marianna Capecci, Elisa Andrenelli, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease. Expert Syst. Appl. 147 (2020)
Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi
Security analysis of a blockchain-based protocol for the certification of academic credentials. CoRR (2019)
Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Lucia Pepa, Daniele Proietti Pagnotta, Luca Spalazzi, Federica Verdini
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons. J. Ambient Intell. Humaniz. Comput. 10 (1) (2019)
Luca Spalazzi, Francesco Spegni
Verification-as-a-Service for Parameter Assessment. HPCS (2019)
Luca Spalazzi, Francesco Spegni
High-Performance Computing for Formal Security Assessment. HPCS (2019)
Sébastien Limet, Alessio Merlo, Luca Spalazzi
HPC & Co strike back: Where are distributed paradigms heading toward? Concurr. Comput. Pract. Exp. 30 (9) (2018)
Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger
Towards Model Checking Security of Real Time Java Software. HPCS (2018)
Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Daniele Proietti Pagnotta, Luca Romeo, Luca Spalazzi, A. De Cesare
Complex activity recognition system based on cascade classifiers and wearable device data. ICCE (2018)
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger
Modeling time in Java programs for automatic error detection. FormaliSE@ICSE (2018)
Lucia Pepa, Marianna Capecci, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo
A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone. ICCE-Berlin (2017)
Marco Baldi, Franco Chiaraluce, Emanuele Frontoni, Giuseppe Gottardi, Daniele Sciarroni, Luca Spalazzi
Certificate Validation Through Public Ledgers and Blockchains. ITASEC (2017)
Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. QEST (2017)
Luca Spalazzi, Francesco Spegni
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. ICTCS/CILC (2017)
Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach. ISCC (2017)
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. VMCAI (2017)
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms. HPCS (2016)
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version). CoRR (2016)
Lucia Pepa, Giacomo Marangoni, Matteo Di Nicola, Lucio Ciabattoni, Federica Verdini, Luca Spalazzi, Sauro Longhi
Real time step length estimation on smartphone. ICCE (2016)
Giuliano Manno, Waleed W. Smari, Luca Spalazzi, Gilberto Taccari
A semantic-based federated cloud system for emergency response. Concurr. Comput. Pract. Exp. 27 (13) (2015)
Lucia Pepa, Marianna Capecci, Federica Verdini, M. Gabriella Ceravolo, Luca Spalazzi
An architecture to manage motor disorders in Parkinson's disease. WF-IoT (2015)
Lucia Pepa, Federica Verdini, Luca Spalazzi
Experimental evaluation of a smartphone based Step Length estimation. EMBC (2015)
Luca Spalazzi, Luca Viganò
Special issue on security and high performance computing systems. J. Comput. Secur. 23 (5) (2015)
Sébastien Limet, Waleed W. Smari, Luca Spalazzi
High-performance computing: to boldly go where no human has gone before. Concurr. Comput. Pract. Exp. 27 (13) (2015)
Gilberto Taccari, Luca Spalazzi
A federated cloud of things for emergency management. CTS (2014)
Luca Spalazzi, Francesco Spegni
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version). CoRR (2014)
Lucia Pepa, Marco Rossini, Luca Spalazzi, Federica Verdini
Step Length Estimation for Freezing of Gait Monitoring in Parkinsonian Patients. mBiDA (2014)
Luca Spalazzi, Francesco Spegni
Parameterized Model-Checking of Timed Systems with Conjunctive Guards. VSTTE (2014)
Gilberto Taccari, Gabriele Bernardini, Luca Spalazzi, Marco D'Orazio, Waleed W. Smari
Earthquake Emergencies Management by Means of Semantic-Based Internet of Things. IoT360 (2) (2014)
Luca Spalazzi, Gilberto Taccari, Andrea Bernardini
An Internet of Things ontology for earthquake emergency evaluation and response. CTS (2014)
Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni
Model checking grid security. Future Gener. Comput. Syst. 29 (3) (2013)
Patrizia Ghislandi, Maria Grazia Ierardi, Tommaso Leo, Luca Spalazzi
Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning. J. Educ. Technol. Soc. 16 (1) (2013)
Waleed W. Smari, Luca Spalazzi, Yacine Zemali
Recent developments in high performance computing and security: An editorial. Future Gener. Comput. Syst. 29 (3) (2013)
Flavio Manganello, Carla Falsetti, Luca Spalazzi, Tommaso Leo
PKS: An Ontology-based Learning Construct for Lifelong Learners. J. Educ. Technol. Soc. 16 (1) (2013)
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. Description Logics (2013)
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
Model Checking Semantically Annotated Services. IEEE Trans. Software Eng. 38 (3) (2012)
Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni
A modular environment for software development and re-engineering. TOPI@ICSE (2012)
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
Application of SWSAL in Semantic Annotation of RESTful Web Services. INVIT (2012)
Giuliano Manno, Waleed W. Smari, Luca Spalazzi
FCFA: A semantic-based federated cloud framework architecture. HPCS (2012)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Business process design framework for B2B collaboration. CTS (2011)
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
From Service Identification to Service Selection: An Interleaved Perspective. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
From Service Identification to Service Selection: an Interleaved Perspective. SEBD (2011)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Semantic model checking security requirements for web services. HPCS (2010)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD (2010)
Salvatore Campana, Luca Spalazzi, Francesco Spegni
Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. CTS (2010)
Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi
An IPS for Web Applications. J. Comput. 4 (5) (2009)
C. Cioffi, Francesco Pagliarecci, Luca Spalazzi
An anomaly-based system for parental control. HPCS (2009)
Luca Spalazzi, Ratan Guha
Editorial. J. Comput. 4 (5) (2009)
Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli
JEAP - JAVA environment for Agent platform. IADIS AC (1) (2009)
Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD (2009)
Andrea Rossetti, Luca Spalazzi
Performance indicator in collaborative systems for business process management. IADIS AC (2) (2009)
Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
Semantic Annotation for Web Service Processes. SEBD (2008)
Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott
Formal specification of agent-object oriented programs. CTS (2008)
Salvatore Campana, Luca Spalazzi, Francesco Spegni
XAL: A Web Oriented Programming Language Based on Timed-Automata. Web Intelligence (2008)
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence (2008)
Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD (2007)
Loris Penserini, Manuel Kolp, Luca Spalazzi
Social-oriented engineering of intelligent software. Web Intell. Agent Syst. 5 (1) (2007)
Francesco Pagliarecci, Loris Penserini, Luca Spalazzi
and Alan. OTM Workshops (1) (2007)
Marco Pistore, Luca Spalazzi, Paolo Traverso
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD (2006)
Marco Pistore, Luca Spalazzi, Paolo Traverso
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC (2006)
Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci
IRSS: Incident Response Support System. CTS (2006)
Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi
Formal Definition of an Agent-Object Programming Language. CTS (2006)
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci
Model checking the security of multi-protocol systems. CTS (2005)
Luca Spalazzi
Book Reviews. Minds Mach. 15 (3-4) (2005)
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
An Agent-Based Supply-Chain Management. SEBD (2005)
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
An agent-based supply-chain management. CTS (2005)
Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti
Socially-Based Design Meets Agent Capabilities. IAT (2004)
Loris Penserini, Luca Spalazzi, Maurizio Panti
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. ICEIS (4) (2004)
Luca Spalazzi
M. J. Wooldridge, Reasoning about Rational Agents, Intelligent Robots and Autonomous Agents Series, Cambridge, MA: The MIT Press, 2000, xv+227 pp., $35.00 (hardcover), ISBN 0-262-23213-8. Minds Mach. 13 (3) (2003)
Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
Cooperation strategies for agent-based P2P systems. Web Intell. Agent Syst. 1 (1) (2003)
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti
Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS (2002)
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of Payment Protocols via MultiAgent Model Checking. CAiSE (2002)
Loris Penserini, Maurizio Panti, Luca Spalazzi
Agent-based transactions into decentralised P2P. AAMAS (2002)
Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi
Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC (2002)
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. SAFECOMP (2002)
Maurizio Panti, Luca Spalazzi, Loris Penserini
A Distributed Case-Based Query Rewriting. IJCAI (2001)
Maurizio Panti, Luca Spalazzi, Loris Penserini
Cooperation Strategies for Information Integration. CoopIS (2001)
Luca Spalazzi
A Survey on Case-Based Planning. Artif. Intell. Rev. 16 (1) (2001)
Maurizio Panti, Luca Spalazzi, Alberto Giretti
A Case-Based Approach to Information Integration. VLDB (2000)
Maurizio Panti, Loris Penserini, Luca Spalazzi, Salvatore Valenti
A FIPA compliant agent platform for federated information systems. ACIS Int. J. Comput. Inf. Sci. 1 (3) (2000)

Luca Spalazzi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luca Spalazzi