Luca Spalazzi

发表

Progetto ed implementazione di una Piattaforma per Agenti Software

Maurizio Panti, Costantino Cioffi, Loris Penserini, 1999 .

Verification-as-a-Service for Parameter Assessment

Luca Spalazzi, Francesco Spegni, 2019, 2019 International Conference on High Performance Computing & Simulation (HPCS).

Web Service Discovery at Process-level Based on Semantic Annotation

Marco Pistore, Paolo Traverso, Luca Spalazzi, 2007, SEBD.

Programming Planners with Flexible Architectures

Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, 1993 .

Special issue on security and high performance computing systems

Luca Viganò, Luca Spalazzi, 2015, J. Comput. Secur..

A Case-Based Approach to Information Integration

Alberto Giretti, Maurizio Panti, Luca Spalazzi, 2000, VLDB.

Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL

Luca Spalazzi, Francesco Pagliarecci, Gilberto Taccari, 2013, Description Logics.

An Internet of Things ontology for earthquake emergency evaluation and response

Luca Spalazzi, Gilberto Taccari, Andrea Bernardini, 2014, 2014 International Conference on Collaboration Technologies and Systems (CTS).

Towards Model Checking Security of Real Time Java Software

Luca Spalazzi, Martin Pinzger, Francesco Spegni, 2018, 2018 International Conference on High Performance Computing & Simulation (HPCS).

Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons

Federica Verdini, Andrea Monteriù, Luca Spalazzi, 2017, Journal of Ambient Intelligence and Humanized Computing.

Socially-based design meets agent capabilities

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2004, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)..

Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time

Maurizio Panti, Luca Spalazzi, Massimo Benerecetti, 2002, SAFECOMP.

Business process design framework for B2B collaboration

Luca Spalazzi, Emanuele Glorio, Francesco Pagliarecci, 2011, 2011 International Conference on Collaboration Technologies and Systems (CTS).

A Minimalist Approach to Semantic Annotations for Web Processes Compositions

Marco Pistore, Paolo Traverso, Luca Spalazzi, 2006, SEBD.

Application of SWSAL in Semantic Annotation of RESTful Web Services

Luca Spalazzi, Francesco Pagliarecci, Gilberto Taccari, 2012, INVIT.

CLASSIFICATION OF ATTACKS ON CRYPTOGRAPHIC PROTOCOLS

Luca Spalazzi, Simone Tacconi, 2010 .

A FIPA compliant agent platform for federated information systems

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2000, ACIS Int. J. Comput. Inf. Sci..

A Multi-Agent System based on the P2P model to Information Integration

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2002 .

Parametric and probabilistic model checking of confidentiality in data dispersal algorithms

Marco Baldi, Luca Spalazzi, Francesco Spegni, 2016, 2016 International Conference on High Performance Computing & Simulation (HPCS).

From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan

Loris Penserini, Luca Spalazzi, Francesco Pagliarecci, 2007, OTM Workshops.

Model checking grid security

Luca Spalazzi, Francesco Spegni, Francesco Pagliarecci, 2013, Future Gener. Comput. Syst..

IRSS: Incident Response Support System

Luca Spalazzi, Francesco Pagliarecci, Gianluca Capuzzi, 2006, International Symposium on Collaborative Technologies and Systems (CTS'06).

Editorial

Luca Spalazzi, Ratan K. Guha, 2009, J. Comput..

Agent-Based Transactions into Decentralised P2P (Preliminary Report)

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2002 .

Model Checking Semantically Annotated Services

Luca Spalazzi, Francesco Pagliarecci, Ivan Di Pietro, 2012, IEEE Transactions on Software Engineering.

High-Performance Computing for Formal Security Assessment

Luca Spalazzi, Francesco Spegni, 2019, 2019 International Conference on High Performance Computing & Simulation (HPCS).

Virtualization on embedded boards as enabling technology for the Cloud of Things

Luca Spalazzi, Gilberto Taccari, A. Claudi, 2016 .

ASA: A conceptual design-support system

Alberto Giretti, Luca Spalazzi, L. Spalazzi, 1997 .

From Service Identification to Service Selection: An Interleaved Perspective

Luca Spalazzi, Devis Bianchini, Francesco Pagliarecci, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

Social-oriented engineering of intelligent software

Loris Penserini, Luca Spalazzi, Manuel Kolp, 2007, Web Intell. Agent Syst..

A Logic of Belief and a Model Checking Algorithm for Security Protocols

Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi, 2000, FORTE.

A Logic for Acting, Sensing and Planning

Paolo Traverso, Luca Spalazzi, 1995, IJCAI.

Semantic Annotation for Web Service Processes

Marco Pistore, Paolo Traverso, Luca Spalazzi, 2008, SEBD.

Planning with Failure

Fausto Giunchiglia, Paolo Traverso, Luca Spalazzi, 1994, AIPS.

Complex activity recognition system based on cascade classifiers and wearable device data

Luca Romeo, Andrea Monteriù, Luca Spalazzi, 2018, 2018 IEEE International Conference on Consumer Electronics (ICCE).

METAFOL: Program tactics and logic tactics plus reflection

Luca Spalazzi, Massimo Benerecetti, M. Benerecetti, 1996, Future Gener. Comput. Syst..

Semantic Annotation for Web Service Processes in Pervasive Computing

Luca Spalazzi, Francesco Pagliarecci, Ivan Di Pietro, 2010, Pervasive Computing, Innovations in Intelligent Multimedia and Applications.

Future Generation Comp. Syst. 29(3) special issue on Recent developments in high performance computing and security

Luca Spalazzi, Waleed W. Smari, Yacine Zemali, 2013 .

A dynamic logic for acting, sensing, and planning

Paolo Traverso, Luca Spalazzi, 2000, J. Log. Comput..

A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone

Luca Spalazzi, Lucio Ciabattoni, Lucia Pepa, 2017, 2017 IEEE 7th International Conference on Consumer Electronics - Berlin (ICCE-Berlin).

From Artificial Intelligence and Databases to Cognitive Computing: Past and Future Computer Engineering Research at UNIVPM

Emanuele Frontoni, Adriano Mancini, Primo Zingaretti, 2019, The First Outstanding 50 Years of “Università Politecnica delle Marche”.

A semantic‐based federated cloud system for emergency response

Luca Spalazzi, Waleed W. Smari, Gilberto Taccari, 2015, Concurr. Comput. Pract. Exp..

Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning

Tommaso Leo, Luca Spalazzi, Maria Grazia Ierardi, 2013, J. Educ. Technol. Soc..

Urban scenarios modifications due to the earthquake: ruins formation criteria and interactions with pedestrians’ evacuation

Enrico Quagliarini, Marco D’Orazio, Gabriele Bernardini, 2016, Bulletin of Earthquake Engineering.

A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease

Luca Spalazzi, Lucio Ciabattoni, Lucia Pepa, 2020, Expert Syst. Appl..

Verification of Payment Protocols via MultiAgent Model Checking

Maurizio Panti, Luca Spalazzi, Massimo Benerecetti, 2002, CAiSE.

Formal Definition of an Agent-Object Programming Language

Luca Spalazzi, Francesco Pagliarecci, Gianluca Capuzzi, 2006, International Symposium on Collaborative Technologies and Systems (CTS'06).

Flexible planning by integrating multilevel reasoning

Paolo Traverso, Enrico Giunchiglia, Alessandro Armando, 1995 .

Agent-based transactions into decentralised P2P

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2002, AAMAS '02.

Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version) pdf

Luca Spalazzi, Francesco Spegni, 2014, ArXiv.

Modeling Time in Java Programs for Automatic Error Detection

Luca Spalazzi, Martin Pinzger, Muhammad Taimoor Khan, 2018, 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).

EPES – Earthquake pedestrians׳ evacuation simulator: A tool for predicting earthquake pedestrians׳ evacuation in urban outdoor scenarios

Enrico Quagliarini, Marco D’Orazio, Gabriele Bernardini, 2014 .

Formal Theories for Reactive Planning Systems: some considerations raised from an experimental application

Fausto Giunchiglia, Paolo Traverso, Enrico Giunchiglia, 1996 .

An agent-based model for earthquake pedestrians' evacuation simulation in urban scenarios

Enrico Quagliarini, Marco D’Orazio, Gabriele Bernardini, 2014 .

Parameterized Model-Checking of Timed Systems with Conjunctive Guards

Luca Spalazzi, Francesco Spegni, L. Spalazzi, 2014, VSTTE.

An architecture to manage motor disorders in Parkinson's disease

Federica Verdini, Luca Spalazzi, Lucia Pepa, 2015, 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT).

High‐performance computing: to boldly go where no human has gone before

Sébastien Limet, Luca Spalazzi, Waleed W. Smari, 2015, Concurr. Comput. Pract. Exp..

Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study

Luca Spalazzi, Francesco Spegni, Salvatore Campana, 2010, 2010 International Symposium on Collaborative Technologies and Systems.

Parameterized model checking of networks of timed automata with Boolean guards

Luca Spalazzi, Francesco Spegni, L. Spalazzi, 2020, Theor. Comput. Sci..

A critical discussion about an agent platform based on FIPA specification

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2000, SEBD.

Real time step length estimation on smartphone

Sauro Longhi, Federica Verdini, Luca Spalazzi, 2016, 2016 IEEE International Conference on Consumer Electronics (ICCE).

An anomaly-based system for parental control

Luca Spalazzi, Francesco Pagliarecci, C. Cioffi, 2009, 2009 International Conference on High Performance Computing & Simulation.

Semantic model checking security requirements for web services

Luca Spalazzi, Emanuele Glorio, Francesco Pagliarecci, 2010, 2010 International Conference on High Performance Computing & Simulation.

Implementing Planning As Tactical Reasoning

Alessandro Cimatti, Luca Spalazzi, P. Traverso, 1992, Proceedings of the Third Annual Conference of AI, Simulation, and Planning in High Autonomy Systems 'Integrating Perception, Planning and Action'..

Socially-based design meets agent capabilities

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2004 .

A planning language for embedded systems

Luca Spalazzi, L. Spalazzi, 1999, J. Exp. Theor. Artif. Intell..

Certificate Validation Through Public Ledgers and Blockchains

Emanuele Frontoni, Marco Baldi, Franco Chiaraluce, 2017, ITASEC.

An Architecture for Planning in Embedded Systems

Luca Spalazzi, 2004, Applied Intelligence.

Performance indicator in collaborative systems for business process management

Luca Spalazzi, Andrea Rossetti, 2009, IADIS AC.

A modular environment for software development and re-engineering

Luca Spalazzi, Andrea Poli, Francesco Spegni, 2012, 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage

Ezio Bartocci, Marco Baldi, Franco Chiaraluce, 2017, QEST.

FCFA: A semantic-based federated cloud framework architecture

Luca Spalazzi, Waleed W. Smari, Giuliano Manno, 2012, 2012 International Conference on High Performance Computing & Simulation (HPCS).

HPC & Co strike back: Where are distributed paradigms heading toward?

Sébastien Limet, Luca Spalazzi, Alessio Merlo, 2018, Concurr. Comput. Pract. Exp..

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

Luca Spalazzi, Josef Widder, Igor V. Konnov, 2017, VMCAI.

An IPS for Web Applications

Luca Spalazzi, Francesco Pagliarecci, Gianluca Capuzzi, 2009, J. Comput..

Modeling and Evaluating Cooperation Strategies in P2P Agent Systems

John Mylopoulos, Lin Liu, Loris Penserini, 2002, AP2PC.

Anagent-based supply-chain management

Maurizio Panti, Luca Spalazzi, Francesco Pagliarecci, 2005 .

Earthquake Emergencies Management by Means of Semantic-Based Internet of Things

Gabriele Bernardini, Luca Spalazzi, Waleed W. Smari, 2014, IoT360.

XAL: A Web Oriented Programming Language Based on Timed-Automata

Luca Spalazzi, Francesco Spegni, Salvatore Campana, 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

Cooperation strategies for agent-based P2P systems

John Mylopoulos, Lin Liu, Maurizio Panti, 2003, Web Intell. Agent Syst..

Verifying temporal specifications of Java programs

Luca Spalazzi, Martin Pinzger, Francesco Spegni, 2020, Software Quality Journal.

Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study

Annapaola Marconi, Marco Pistore, Luca Spalazzi, 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

Agent-based model for earthquake pedestrians’ evacuation in urban outdoor scenarios: Behavioural patterns definition and evacuation paths choice

Enrico Quagliarini, Marco D’Orazio, Gabriele Bernardini, 2014 .

On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks

Luca Spalazzi, Francesco Spegni, 2017, ICTCS/CILC.

MRG: Building planers for real-world complex applications

Paolo Traverso, Enrico Giunchiglia, Alessandro Armando, 1994, Appl. Artif. Intell..

Formal specification of agent-object oriented programs

Carolyn L. Talcott, Mark-Oliver Stehr, Luca Spalazzi, 2008, 2008 International Symposium on Collaborative Technologies and Systems.

JEAP - JAVA environment for Agent platform

Luca Spalazzi, Francesco Pagliarecci, Fabrizio Spinelli, 2009, IADIS AC.

Automatic repair of timestamp comparisons

Luca Spalazzi, Martin Pinzger, Muhammad Taimoor Khan, 2020 .

Cooperation Strategies for Information Integration

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2001, CoopIS.

Beyond the Single Planning Paradigm: Introspective Planning

Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, 1992, ECAI.

Experimental evaluation of a smartphone based Step Length estimation

Federica Verdini, Luca Spalazzi, Lucia Pepa, 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2004, ICEIS.

Book Reviews

Luca Spalazzi, 2005, Minds and Machines.

Recent developments in high performance computing and security: An editorial

Luca Spalazzi, Waleed W. Smari, Yacine Zemali, 2013, Future Gener. Comput. Syst..

PKS: An Ontology-based Learning Construct for Lifelong Learners

Tommaso Leo, Luca Spalazzi, Carla Falsetti, 2013, J. Educ. Technol. Soc..

Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials pdf

Marco Baldi, Franco Chiaraluce, Luca Spalazzi, 2019, DLT@ITASEC.

A Survey on Case-Based Planning

Luca Spalazzi, L. Spalazzi, 2004, Artificial Intelligence Review.

Applying Formal Methods to Case Based Design AIDS

Alberto Giretti, Luca Spalazzi, Mario De Grassi, 1996 .

A Distributed Case-Based Query Rewriting

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2001, IJCAI.

Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World

Fausto Giunchiglia, Paolo Traverso, Luca Spalazzi, 1995, ATAL.

Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning

Fausto Giunchiglia, Luca Spalazzi, Fausto Giunchiglia, 1999, Artif. Intell..

An agent-based supply-chain management

Maurizio Panti, Luca Spalazzi, Francesco Pagliarecci, 2005, Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005..

Model checking the security of multi-protocol systems

Maurizio Panti, Luca Spalazzi, Simone Tacconi, 2005, Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005..

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

Luca Spalazzi, 2004, Minds and Machines.

Automatic Verification of Security in Payment Protocols for Electronic Commerce

Salvatore Valenti, Maurizio Panti, Luca Spalazzi, 2002, ICEIS.

Verifica formale dei protocolli di sicurezza mediante model checking

Maurizio Panti, Luca Spalazzi, Simone Tacconi, 2000, SEBD.

A federated cloud of things for emergency management

Luca Spalazzi, Gilberto Taccari, L. Spalazzi, 2014, 2014 International Conference on Collaboration Technologies and Systems (CTS).

A pure P2P approach to information integration

Maurizio Panti, Loris Penserini, Luca Spalazzi, 2002 .

Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach

Marco Baldi, Franco Chiaraluce, Luca Spalazzi, 2017, 2017 IEEE Symposium on Computers and Communications (ISCC).

An offline parallel architecture for forensic multimedia classification

Emanuele Frontoni, Luca Spalazzi, Marina Paolanti, 2021, Multimedia Tools and Applications.

Algorithmically generated malicious domain names detection based on n-grams features

Marco Baldi, Luca Spalazzi, Christian Morbidoni, 2021, Expert Syst. Appl..

Combining blockchain and BPMN coreographies for construction management

Berardo Naticchia, Luca Spalazzi, Francesco Spegni, 2021, Proceedings of the 2021 European Conference on Computing in Construction.

Step Length Estimation for Freezing of Gait Monitoring in Parkinsonian Patients

Federica Verdini, Marco Rossini, Luca Spalazzi, 2014, mBiDA.

Gait parameter and event estimation using smartphones.

Federica Verdini, Luca Spalazzi, Lucia Pepa, 2017, Gait & posture.

Semantic Annotation of Web Service

Luca Spalazzi, Francesco Pagliarecci, Ivan Di Pietro, 2008 .

An unobtrusive expert system to detect freezing of gait during daily living in people with Parkinson's disease

Luca Spalazzi, Lucio Ciabattoni, Lucia Pepa, 2017, 2017 2nd International Multidisciplinary Conference on Computer and Energy Science (SpliTech).

Multi-Agent Simulation Model for Evacuation of Care Homes and Hospitals for Elderly and People with Disabilities in Motion

Enrico Quagliarini, Marco D’Orazio, Gabriele Bernardini, 2014 .