Luca Spalazzi

According to our database1, Luca Spalazzi authored at least 91 papers between 1992 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Algorithmically generated malicious domain names detection based on n-grams features.
Expert Syst. Appl., 2021

2020
Parameterized model checking of networks of timed automata with Boolean guards.
Theor. Comput. Sci., 2020

Verifying temporal specifications of Java programs.
Softw. Qual. J., 2020

A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease.
Expert Syst. Appl., 2020

Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials.
Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC 2020, 2020

2019
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons.
J. Ambient Intell. Humaniz. Comput., 2019

Verification-as-a-Service for Parameter Assessment.
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

High-Performance Computing for Formal Security Assessment.
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

2018
HPC & Co strike back: Where are distributed paradigms heading toward?
Concurr. Comput. Pract. Exp., 2018

Towards Model Checking Security of Real Time Java Software.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Modeling time in Java programs for automatic error detection.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Complex activity recognition system based on cascade classifiers and wearable device data.
Proceedings of the IEEE International Conference on Consumer Electronics, 2018

2017
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Certificate Validation Through Public Ledgers and Blockchains.
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach.
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone.
Proceedings of the 7th IEEE International Conference on Consumer Electronics - Berlin, 2017

2016
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version).
CoRR, 2016

Parametric and probabilistic model checking of confidentiality in data dispersal algorithms.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Real time step length estimation on smartphone.
Proceedings of the IEEE International Conference on Consumer Electronics, 2016

2015
Special issue on security and high performance computing systems.
J. Comput. Secur., 2015

A semantic-based federated cloud system for emergency response.
Concurr. Comput. Pract. Exp., 2015

High-performance computing: to boldly go where no human has gone before.
Concurr. Comput. Pract. Exp., 2015

An architecture to manage motor disorders in Parkinson's disease.
Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015

Experimental evaluation of a smartphone based Step Length estimation.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2014
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version).
CoRR, 2014

Parameterized Model-Checking of Timed Systems with Conjunctive Guards.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Step Length Estimation for Freezing of Gait Monitoring in Parkinsonian Patients.
Proceedings of the Mobile Networks for Biometric Data Analysis, 2014

Earthquake Emergencies Management by Means of Semantic-Based Internet of Things.
Proceedings of the Internet of Things. IoT Infrastructures, 2014

A federated cloud of things for emergency management.
Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014

An Internet of Things ontology for earthquake emergency evaluation and response.
Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014

2013
Recent developments in high performance computing and security: An editorial.
Future Gener. Comput. Syst., 2013

Model checking grid security.
Future Gener. Comput. Syst., 2013

PKS: An Ontology-based Learning Construct for Lifelong Learners.
J. Educ. Technol. Soc., 2013

Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning.
J. Educ. Technol. Soc., 2013

Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Model Checking Semantically Annotated Services.
IEEE Trans. Software Eng., 2012

Application of SWSAL in Semantic Annotation of RESTful Web Services.
Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, 2012

FCFA: A semantic-based federated cloud framework architecture.
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

A modular environment for software development and re-engineering.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

2011
Business process design framework for B2B collaboration.
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

From Service Identification to Service Selection: An Interleaved Perspective.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Semantic Annotation for Web Service Processes in Pervasive Computing.
Proceedings of the Pervasive Computing, 2010

Semantic Model Checking Security Requirements for Web Services (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Semantic model checking security requirements for web services.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010

2009
Editorial.
J. Comput., 2009

An IPS for Web Applications.
J. Comput., 2009

Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

An anomaly-based system for parental control.
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

Performance indicator in collaborative systems for business process management.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

JEAP - JAVA environment for Agent platform.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2008
XAL: A Web Oriented Programming Language Based on Timed-Automata.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Semantic Annotation for Web Service Processes.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Formal specification of agent-object oriented programs.
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

2007
Social-oriented engineering of intelligent software.
Web Intell. Agent Syst., 2007

Web Service Discovery at Process-level Based on Semantic Annotation.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

From a Goal-Oriented Methodology to a BDI Agent Language: The Case of <i>Tropos</i> and Alan.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

2006
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
Proceedings of the Semantic Web: Research and Applications, 2006

Formal Definition of an Agent-Object Programming Language.
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006

IRSS: Incident Response Support System.
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006

2005
Book Reviews.
Minds Mach., 2005

Model checking the security of multi-protocol systems.
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

An agent-based supply-chain management.
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

2004
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management.
Proceedings of the ICEIS 2004, 2004

Socially-Based Design Meets Agent Capabilities.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003
Cooperation strategies for agent-based P2P systems.
Web Intell. Agent Syst., 2003

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., 2003

2002
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
Proceedings of the Computer Safety, 2002

Automatic Verification of Security in Payment Protocols for Electronic Commerce.
Proceedings of the ICEIS 2002, 2002

Verification of Payment Protocols via MultiAgent Model Checking.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

Agent-based transactions into decentralised P2P.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Modeling and Evaluating Cooperation Strategies in P2P Agent Systems.
Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002

2001
A Survey on Case-Based Planning.
Artif. Intell. Rev., 2001

A Distributed Case-Based Query Rewriting.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Cooperation Strategies for Information Integration.
Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

2000
A dynamic logic for acting, sensing, and planning.
J. Log. Comput., 2000

A Case-Based Approach to Information Integration.
Proceedings of the VLDB 2000, 2000

Verifica formale dei protocolli di sicurezza mediante model checking.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

A critical discussion about an agent platform based on FIPA specification.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

A Logic of Belief and a Model Checking Algorithm for Security Protocols.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
A planning language for embedded systems.
J. Exp. Theor. Artif. Intell., 1999

Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.
Artif. Intell., 1999

1998
An Architecture for Planning in Embedded Systems.
Appl. Intell., 1998

1996
METAFOL: Program tactics and logic tactics plus reflection.
Future Gener. Comput. Syst., 1996

1995
A Logic for Acting, Sensing and Planning.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
Proceedings of the Intelligent Agents II, 1995

1994
MRG: Building planers for real-world complex applications.
Appl. Artif. Intell., 1994

Planning with Failure.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1992
Beyond the Single Planning Paradigm: Introspective Planning.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992


  Loading...