Logo UNIPVM

Luca SPALAZZI

Pubblicazioni

Luca SPALAZZI

 

113 pubblicazioni classificate nel seguente modo:

Nr. doc. Classificazioni
59 4 Contributo in Atti di Convegno (Proceeding)
35 1 Contributo su Rivista
18 2 Contributo in Volume
1 5 Altro
Anno Risorsa
2018 HPC & Co strike back: Where are distributed paradigms heading toward?
CONCURRENCY AND COMPUTATION
Autore/i: Limet, S.; Merlo, A.; Spalazzi, L.
Classificazione: 1 Contributo su Rivista
Abstract: This paper presents a snapshot on the recent research related to HPC and its declinations, in order to highlight the more active research and to envision some potential future research trends in the field. More specifically, we analyze the publications related to HPC in the three directions: Architectures, Research Topics, and Application Domains, in a ten-year window on Scopus in order to retrieve publication patterns that could suggest which could be the hot topics of the next future in HPC.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/255351 Collegamento a IRIS

2018 Complex Activity Recognition System Based on Cascade Classifiers and Wearable Device Data
36th IEEE International Conference on Consumer Electronics (ICCE)
Autore/i: Ciabattoni, L.; Foresi, G.; Monteriù, A.; Proietti Pagnotta, D.; Romeo, Luca; Spalazzi, L.
Editore: IEEE
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: This paper proposes a system for recognizing hu- man complex activities by using unobtrusive sensors such as smartphone, smartwatch and bluetooth beacons. The method encapsulates two classification stages. The former is composed of two parallel processes: the Main Activity Detection (MAD) and the Room Detection (RD). The latter implements the Complex Activity Detection (CAD) process by exploiting the outputs of the first stage and the accelerometer data of the smartwatch. The cascade classification approach that combines the room detection with the main/complex activities recognition task constitutes the novelty of the work. Preliminary results demonstrate the reliability of the system in terms of accuracy and macro-F1 score.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/255085 Collegamento a IRIS

2018 Reliability of a smartphone-based home monitoring of freezing of gait in subjects with Parkinson's disease
ANNALS OF PHYSICAL AND REHABILITATION MEDICINE
Autore/i: Pepa, Lucia; Andrenelli, Elisa; DI BIAGIO, Laura; Ciabattoni, Lucio; Spalazzi, Luca; Ceravolo, MARIA GABRIELLA; Capecci, Marianna
Classificazione: 1 Contributo su Rivista
Abstract: Background and aims. Freezing of Gait (FOG) is a distressing gait disorder frequently related to Parkinson’s disease (PD) progression and severe disability. Detecting and quantifying FOG, in a clinical setting, is difficult given its episodic nature; hence, reliable tools are warranted for FOG monitoring in the daily life. A number of wearable sensors to detect FOG have been studied, but the majority of the available technology lacks ‘‘ecological’’ validation. The study is aimed at assessing the usability, at home, of the smartphone-based system for FOG detection, validated in the outpatient setting (Capecci et al,2016). Moreover, the correlation between data collected in the daily living scenario and those recorded in the laboratory has been sought. Method. 24 patients with PD-related resistant-FOG were studied. At baseline, the following measures were taken: UPDRS, New-FOG-Q, 6MWT, PDQ-39, GFQ and video-recorded TUG-test with and without dual-tasks while wearing the smartphone, in both OFF and ON medication conditions. Patients were instructed on how to use the FOG monitoring system at home, and were requested to wear it for three consecutive days. The system was customized to record the number of FOG events and FOG duration per minute walking. Results.23 out of 24 patients (95.83%) complied with the recommendations about system wearing, and used the system 263[185;461] minutes/day. Median[IQR] values recorded during the 3 days were:3[1.05;5.15] FOG/min and 5.1[1.52;9.47]sec/min of FOG duration. Both parameters were significantly related with the number and duration of FOG events recorded during the simple-TUG performed either in OFF or in ON medication conditions(p=.001), and with dual-task in ON condition(p=.003). They were also related with GFQ(p=.006) and NFOG scores(p=.03). Conclusions. A smartphone-based FOG monitoring system is usable and reliable, even in daily living situations. It could be of great help in assessing the efficacy of rehabilitation approaches to relieve FOG-related disability.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/264010 Collegamento a IRIS

2018 Modeling Time in Java Programs for Automatic Error Detection
Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018
Autore/i: Liva, Giovanni; Khan, Muhammad Taimoor; Bollin, Andreas; Pinzger, Martin; Spalazzi, Luca; Spegni, Francesco
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Modern programming languages, such as Java, represent time as integer variables, called timestamps. Timestamps allow developers to tacitly model incorrect time values resulting in a program failure because any negative value or every positive value is not necessarily a valid time representation. Current approaches to automatically detect errors in programs, such as Randoop and FindBugs, cannot detect such errors because they treat timestamps as normal integer variables and test them with random values verifying if the program throws an exception. In this paper, we present an approach that considers the time semantics of the Java language to systematically detect time related errors in Java programs. With the formal time semantics, our approach determines which integer variables handle time and which statements use or alter their values. Based on this information, it translates these statements into an SMT model that is passed to an SMT solver. The solver formally verifies the correctness of the model and reports the violations of time properties in that program. For the evaluation, we have implemented our approach in a prototype tool and applied it to the source code of 20 Java open source projects. The results show that our approach is scalable and it is capable of detecting time errors precisely enough allowing its usability in real-world applications.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/265851 Collegamento a IRIS

2018 Towards model checking security of real time Java software
Proceedings - 2018 International Conference on High Performance Computing and Simulation, HPCS 2018
Autore/i: Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: More and more software libraries and applications in high-performance computing and distributed systems are coded using the Java programming language. The correctness of such pieces of code w.r.t. a given set of security policies often depends on the correct handling of timing between concurrent or recurrent events. Model-checking has proven to be an effective tool for verifying the correctness of software. In spite of the growing importance of this application area of formal methods, though, no approach exists that targets the problem of verifying the correctness of real-Time software w.r.t.Timed specifications. The few existing works focus on very different problems, such as schedulability analysis of Java tasks. In this paper we present an approach combining rule-based static analysis together with symbolic execution of Java code to extract networks of timed automata from existing software and then use Uppaal to model-check them against timed specifications. We show through a real-world case study that this approach can be helpful in model-checking security policies of real-Time Java software.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/265853 Collegamento a IRIS

2017 Accuracy of message counting abstraction in fault-tolerant distributed algorithms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Autore/i: Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca
Editore: Springer Verlag
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/247855 Collegamento a IRIS

2017 HPCS 2017 program message
Proceedings - 2017 International Conference on High Performance Computing and Simulation, HPCS 2017
Autore/i: Smari, Waleed W.; Spalazzi, Luca
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/255497 Collegamento a IRIS

2017 An unobtrusive expert system to detect freezing of gait during daily living in people with Parkinson's disease
2017 2nd International Multidisciplinary Conference on Computer and Energy Science, SpliTech 2017
Autore/i: Pepa, Lucia; Capecci, Marianna; Ciabattoni, Lucio; Spalazzi, Luca; Ceravolo, Maria Gabriella
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/255499 Collegamento a IRIS

2017 Gait parameter and event estimation using smartphones
GAIT & POSTURE
Autore/i: Pepa, Lucia; Verdini, Federica; Spalazzi, Luca
Classificazione: 1 Contributo su Rivista
Abstract: Background and objectives: The use of smartphones can greatly help for gait parameters estimation during daily living, but its accuracy needs a deeper evaluation against a gold standard. The objective of the paper is a step-bystep assessment of smartphone performance in heel strike, step count, step period, and step length estimation. The influence of smartphone placement and orientation on estimation performance is evaluated as well. Methods: This work relies on a smartphone app developed to acquire, process, and store inertial sensor data and rotation matrices about device position. Smartphone alignment was evaluated by expressing the acceleration vector in three reference frames. Two smartphone placements were tested. Three methods for heel strike detection were considered. On the basis of estimated heel strikes, step count is performed, step period is obtained, and the inverted pendulum model is applied for step length estimation. Pearson correlation coefficient, absolute and relative errors, ANOVA, and Bland–Altman limits of agreement were used to compare smartphone estimation with stereophotogrammetry on eleven healthy subjects. Results: High correlations were found between smartphone and stereophotogrammetric measures: up to 0.93 for step count, to 0.99 for heel strike, 0.96 for step period, and 0.92 for step length. Error ranges are comparable to those in the literature. Smartphone placement did not affect the performance. The major influence of acceleration reference frames and heel strike detection method was found in step count. Conclusion: This study provides detailed information about expected accuracy when smartphone is used as a gait monitoring tool. The obtained results encourage real life applications.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/255493 Collegamento a IRIS

2017 A probabilistic small model theorem to assess confidentiality of dispersed cloud storage
Proc. ICTCS 2017 and CILC 2017
Autore/i: Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Editore: CEUR-WS
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Recent developments in cloud architectures and security concerns have originated new models of online storage clouds based on data dispersal algorithms. According to these lgorithms the data is divided into several slices that are distributed among remote and independent storage nodes. Ensuring confidentiality in this context is crucial: only legitimate users should access any part of information they distribute among storage nodes. We use parameterized Markov Decision Processes to model such a class of systems and Probabilistic Model Checking to assess the likelihood of breaking the confidentiality.We showed that a Small Model Theorem can be proven for a specific types of models, preserving PCTL formulae. Finally, we report the result of applying our methodology to feasibly assess the security of existing dispersed cloud storage solutions.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/252391 Collegamento a IRIS

2017 A real-Time Fuzzy Logic algorithm for freezing of gait management on a smartphone
IEEE International Conference on Consumer Electronics - Berlin, ICCE-Berlin
Autore/i: Pepa, Lucia; Capecci, Marianna; Ciabattoni, Lucio; Spalazzi, Luca; Ceravolo, Maria Gabriella
Editore: IEEE Computer Society
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/262386 Collegamento a IRIS

2017 Disjunctive timed networks
CEUR Workshop Proceedings
Autore/i: Spalazzi, Luca; Spegni, Francesco
Editore: CEUR-WS
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/255501 Collegamento a IRIS

2017 Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons
JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING
Autore/i: Ciabattoni, Lucio; Foresi, Gabriele; Monteriu', Andrea; Pepa, Lucia; Pagnotta, Daniele Proietti; Spalazzi, Luca; Verdini, Federica
Classificazione: 1 Contributo su Rivista
Abstract: Mobile and pervasive computing enabled a new realm of possibilities into the indoor positioning domain. Although many candidate technologies have been proposed, no one can still adapt to every use case. A case centered design and the implementation of the solution within the specific domain is the current research trend. With the rise of Bluetooth Low Energy (BLE) Beacons, i.e., platforms used to interact digitally with the real world, more standard positioning solutions are emerging in different contexts. However the reachable positioning accuracy with this technology is still unacceptable for some real applications (e.g., in the healthcare sector or the emergency management). In this paper, an hybrid localization application coupling a real time model based Pedestrian Dead Reckoning (PDR) technique and the analysis of the Received Signal Strength Indicator (RSSI) of BLE beacons is proposed. In particular, the smartphone application is composed by three main real time threads: a model based step length estimation, heading determination and the fusion of beacon information to reset the position and the drift error of the PDR. In order to give soundness to our approach we firstly validated the step length smartphone app with a stereo-photogrammetric system. The whole proposed solution was then tested on fifteen healthy subjects.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/250892 Collegamento a IRIS

2017 Certificate validation through public ledgers and blockchains
Proc. ITASEC17
Autore/i: Baldi, M.; Chiaraluce, F.; Frontoni, E.; Spalazzi, L.; Gottardi, G.; Sciarroni, D.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Public key infrastructures (PKIs) are of crucial importance for the life of online services relying on certificate-based authentication, like e-commerce, e-government, online banking, as well as e-mail, social networking, cloud services and many others. One of the main points of failure (POFs) of modern PKIs concerns reliability and security of certificate revocation lists (CRLs), that must be available and authentic any time a certificate is used. Classically, the CRL for a set of certificates is maintained by the same (and sole) certification authority (CA) that issued the certificates, and this introduces a single POF in the system. We address this issue by proposing a solution in which multiple CAs share a public, decentralized and robust ledger where CRLs are collected. For this purpose, we consider the model of public ledgers based on blockchains, introduced for the use in cryptocurrencies, that is becoming a widespread solution for many online applications with stringent security and reliability requirements.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/246067 Collegamento a IRIS

2017 A probabilistic small model theorem to assess confidentiality of dispersed cloud storage
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 14th International Conference on Quantitative Evaluation of Systems, QEST 2017
Autore/i: Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Editore: Springer Verlag
Classificazione: 2 Contributo in Volume
Abstract: Recent developments in cloud architectures have originated new models of online storage clouds based on data dispersal algorithms. According to these algorithms the data is divided into several slices that are distributed among remote and independent storage nodes. Ensuring confidentiality in this context is crucial: only legitimate users should access any part of information they distribute among storage nodes. To the best of our knowledge, the security analysis and assessment of existing solutions always assumes of homogeneous networks and honestbut-curious nodes as attacker model.We analyze more complex scenarios with heterogeneous network topologies and a passive attacker eavesdropping the channel between user and storage nodes. We use parameterized Markov Decision Processes to model such a class of systems and Probabilistic Model Checking to assess the likelihood of breaking the confidentiality. Even if, generally speaking, the parameterized model checking is undecidable, in this paper, however, we proved a Small Model Theorem that makes such a problem decidable for the class of models adopted in this work. We discovered that confidentiality is highly affected by parameters such as the number of slices and the number of write and read requests. At design-time, the presented methodology helps to determine the optimal values of parameters affecting the likelihood of a successful attack to confidentiality.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/250578 Collegamento a IRIS

2017 Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach
Proc. ISCC 2017
Autore/i: Baldi, M.; Chiaraluce, F.; Senigagliesi, L.; Spalazzi, L.; Spegni, F.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Distributed storage systems and caching systems are becoming widespread, and this motivates the increasing interest on assessing their achievable performance in terms of reliability for legitimate users and security against malicious users. While the assessment of reliability takes benefit of the availability of well established metrics and tools, assessing security is more challenging. The classical cryptographic approach aims at estimating the computational effort for an attacker to break the system, and ensuring that it is far above any feasible amount. This has the limitation of depending on attack algorithms and advances in computing power. The information-theoretic approach instead exploits capacity measures to achieve unconditional security against attackers, but often does not provide practical recipes to reach such a condition. We propose a mixed cryptographic/information theoretic approach with a twofold goal: estimating the levels of information-theoretic security and defining a practical scheme able to achieve them. In order to find optimal choices of the parameters of the proposed scheme, we exploit an effective probabilistic model checker, which allows us to overcome several limitations of more conventional methods.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/250053 Collegamento a IRIS

2016 HPCS 2016 PROGRAM MESSAGE
2016 International Conference on High Performance Computing and Simulation, HPCS 2016
Autore/i: Limet, Sebastien; Smari, Waleed W.; Spalazzi, Luca
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/247856 Collegamento a IRIS

2016 Virtualization on embedded boards as enabling technology for the cloud of things
Internet of Things: Principles and Paradigms
Autore/i: Bardhi, B; Claudi, A.; Spalazzi, L.; Taccari, G.; Taccari, L.
Editore: Elsevier Inc.
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/247859 Collegamento a IRIS

2016 Parametric and probabilistic model checking of confidentiality in data dispersal algorithms
2016 International Conference on High Performance Computing and Simulation, HPCS 2016
Autore/i: Baldi, Marco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Recent developments in cloud storage architectures have originated new models of online storage as cooperative storage systems and interconnected clouds. Such distributed environments involve many organizations, thus ensuring confidentiality becomes crucial: only legitimate clients should recover the information they distribute among storage nodes. In this work we present a unified framework for verifying confidentiality of dispersal algorithms against probabilistic models of intruders. Two models of intruders are given, corresponding to different types of attackers: one aiming at intercepting as many slices of information as possible, and the other aiming at attacking the storage providers in the network. Both try to recover the original information, given the intercepted slices. By using probabilistic model checking, we can measure the degree of confidentiality of the system exploring exhaustively all possible behaviors. Our experiments suggest that dispersal algorithms ensure a high degree of confidentiality against the slice intruder, no matter the number of storage providers in the system. On the contrary, they show a low level of confidentiality against the provider intruder in networks with few storage providers (e.g. interconnected cloud storage solutions).
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/239606 Collegamento a IRIS

2016 Step length estimation for Freezing of Gait monitoring in parkinsonian patients
MOBILE NETWORKS FOR BIOMETRIC DATA ANALYSIS
Autore/i: Pepa, Lucia; Rossini, Marco; Spalazzi, Luca; Verdini, Federica
Editore: Springer Verlag
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/247878 Collegamento a IRIS

2016 EARTHQUAKE SAFETY OF HISTORICAL URBAN FABRICS: A COMBINED APPROACH INCLUDING HUMAN BEHAVIOURAL ASPECTS
6th Euro-American Congress On Construction Pathology, Rehabilitation Technology And Heritage Management - Rehabend 2016
Autore/i: Bernardini, Gabriele; Quagliarini, Enrico; Spalazzi, Luca; D'Orazio, Marco
Editore: Serigrafias Serimar, S.A.
Luogo di pubblicazione: Burgos
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/236894 Collegamento a IRIS

2016 Real time step length estimation on smartphone
2016 IEEE International Conference on Consumer Electronics, ICCE 2016
Autore/i: Pepa, Lucia; Marangoni, Giacomo; Di Nicola, Matteo; Ciabattoni, Lucio; Verdini, Federica; Spalazzi, Luca; Longhi, Sauro
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Smartphones are particularly suitable for health related applications during daily living, given their diffusion into society and computational capabilities. We proposed a smartphone application for real-time step length estimation, using inverted pendulum model. We tested the proposed solution on 5 healthy subjects, comparing the smartphone estimation with a stereophotogrammetric system. © 2016 IEEE.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/237323 Collegamento a IRIS

2016 Urban scenarios modifications due to the earthquake: ruins formation criteria and interactions with pedestrians’ evacuation
BULLETIN OF EARTHQUAKE ENGINEERING
Autore/i: Quagliarini, Enrico; Bernardini, Gabriele; Wazinski, Chiara; Spalazzi, Luca; D’Orazio, Marco
Classificazione: 1 Contributo su Rivista
Abstract: One of the most influencing elements in inhabitants’ earthquake safety definition is represented by the interactions between people and post-event environment in urban scenarios. Understanding and simulating rules for pedestrians’ motion in earthquake evacuation could be useful to inquire the risk assessment introducing the ‘‘human’’ factor influence: integrated ‘‘risk maps’’ could be realized by combining results of similar analyses with the traditional site hazard, buildings vulnerability and exposition indices. This work proposes an innovative approach based on the analysis of these interactions. Two experimentally-based activities are required: an analysis of human behaviors towards the post-earthquake environment; a relation for defining environmental modifications. Results firstly show a summary of man-environment interactions in earthquake evacuations. A possible criterion for path choice in evacuation is also numerically defined. A theoretical agent-based model is developed on these bases and summarizes phases, motion rules and man-environment interactions in earthquake pedestrians’ evacuation in urban scenarios. Secondly, quick criteria for scenario modifications involving ruins formation are proposed and evaluated: for each building, the percentages of internal and external ruins area is a function of its vulnerability and the expected earthquake Richter magnitude. Moreover, the external ruins formation criterion is validated by comparing predicted and effective values of ruins area depth in real cases. The model could be proposed as a tool for evaluating probable pedestrians’ choices in post-event scenarios, in order to reduce the interferences between the built environment and the evacuation process through interventions on buildings, urban fabric and strategies for emergency management.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/236175 Collegamento a IRIS

2015 Special issue on security and high performance computing systems
JOURNAL OF COMPUTER SECURITY
Autore/i: Spalazzi, Luca; Viganò, Luca
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/229121 Collegamento a IRIS

2015 High-performance computing: To boldly go where no human has gone before
CONCURRENCY AND COMPUTATION
Autore/i: Limet, Sébastien; Smari, Waleed W.; Spalazzi, Luca
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/229120 Collegamento a IRIS

2015 An architecture to manage motor disorders in Parkinson's disease
IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings
Autore/i: Pepa, Lucia; Capecci, Marianna; Verdini, Federica; Ceravolo, Maria Gabriella; Spalazzi, Luca
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/247874 Collegamento a IRIS

2015 Experimental evaluation of a smartphone based Step Length estimation
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS
Autore/i: Pepa, Lucia; Verdini, Federica; Spalazzi, Luca
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/247881 Collegamento a IRIS

2015 A semantic-based federated cloud system for emergency response
CONCURRENCY AND COMPUTATION
Autore/i: Manno, Giuliano; Smari, Waleed; Spalazzi, Luca; Taccari, Gilberto
Classificazione: 1 Contributo su Rivista
Abstract: Cloud federation can be described through the concept of collaboration, where each organization has its own cloud(s) that deals with a different and independent domain but needs to work together with other organizations in order to fulfill a specific shared objective. According to this perspective, the federation is a collection of interacting clouds that collaborate with one another through the instantiation and management of shared subsets of resources (computation and storage resources as well as sensors and actuators). This idea could be profitably used in those scenarios in which different organizations have to share several resources (e.g., emergency response or disaster management scenario). On the other hand, when different independent organizations share their resources, several issues arise. One of them is related to interoperability problems. As a consequence, this work also introduces a framework for an ontology-based resource life cycle management and provisioning in a federated cloud infrastructure. Therefore, The main contributions of this work consists of redesigning a cloud infrastructure architecture from the ground up, leveraging Semantic Web and Semantic Web Service Technologies, and natively supporting a federated provisioning of any kind of resource. This paper exploits, as a motivating scenario, a flood emergency response system.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/225641 Collegamento a IRIS

2015 Earthquake Emergencies Management by Means of Semantic-Based Internet of Things
Internet of Things. IoT Infrastructures
Autore/i: Taccari, Gilberto; Bernardini, Gabriele; Spalazzi, Luca; D'Orazio, Marco; Smari, Waleed
Editore: Springer International Publishing
Luogo di pubblicazione: Munich
Classificazione: 2 Contributo in Volume
Abstract: Semantic technologies can play a key role in representing, storing, interconnecting, searching, and organizing information generated/consumed by things. In order to evaluate its feasibility, this paper presents a set of reasoning mechanisms based on an IoT ontology to be applied in an emergency management scenario. The scenario presented in this paper consists in the earthquake emergency management.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/228808 Collegamento a IRIS

2014 Agent-based model for earthquake pedestrians’ evacuation in urban outdoor scenarios: Behavioural patterns definition and evacuation paths choice
SAFETY SCIENCE
Autore/i: M. D’Orazio; L. Spalazzi; E. Quagliarini; G. Bernardini
Classificazione: 1 Contributo su Rivista
Abstract: The assessment of seismic risk at urban scale does not actually consider aspects related to human behaviours, unlike other kind of events; moreover, the simulation of phases of pedestrian evacuation and motion in earthquake evacuation is a rarely inquired issue. From this point of view, this work proposes an innovative approach to earthquake evacuation, presenting an agent based model to describe phases and rules of motion for pedestrians. The model is based on the analysis of videotapes concerning real events. Results firstly show a scheme of chronological organisation of experimentally noticed behaviours activated during an earthquake evacuation. Secondly, the related behavioural agent-based model is presented by using the i* language and posing attention to relationships between pedestrians and environment. A particular attention is given to the relationships in evacuation paths choice depending on configuration of environment and damage distribution after earthquake. Additionally, experimental values of distance between people and evacuation average speed in the first phases of outdoor motion are provided. The mathematical definitions for the model and the software implementation of the model will be implemented.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/147704 Collegamento a IRIS

2014 An Internet of Things ontology for earthquake emergency evaluation and response
Collaboration Technologies and Systems (CTS), 2014 International Conference on
Autore/i: Spalazzi, Luca; Taccari, Gilberto; Bernardini, Andrea
Editore: IEEE
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/225686 Collegamento a IRIS

2014 HPCS 2014 Preface
Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014
Autore/i: Smari W.W.; Spalazzi L.
Editore: Institute of Electrical and Electronics Engineers Inc.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/247872 Collegamento a IRIS

2014 Parameterized model-checking of timed systems with conjunctive guards
Verified Software: Theories, Tools and Experiments
Autore/i: Spalazzi, Luca; Spegni, Francesco
Editore: Springer Verlag
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/225667 Collegamento a IRIS

2014 An Agent-based Model for Earthquake Pedestrians’ Evacuation Simulation in Urban Scenarios
TRANSPORTATION RESEARCH PROCEDIA
Autore/i: Bernardini, Gabriele; D'Orazio, Marco; Quagliarini, Enrico; Spalazzi, Luca
Classificazione: 1 Contributo su Rivista
Abstract: The earthquake risk assessment approach actually ignores human behaviors during earthquake. Nevertheless, simulating pedestrians’ motion could be useful to introduce “human” interactions with post-earthquake scenarios. This work proposes an agent-based model for evacuation simulation based on the analysis of videotapes concerning real events. Modifications to the social force model are provided in order to describe typical behaviors. A simulation software is developed for model validation. Tests mainly involve speeds and distances between individuals. The model could be integrated in tools for the analysis of probable pedestrians’ choices in different scenarios, and checking solutions for reducing man-environment interferences during the evacuation process.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/217313 Collegamento a IRIS

2014 EPES– Earthquake pedestrians׳ evacuation simulator: A tool for predicting earthquake pedestrians׳ evacuation in urban outdoor scenarios
INTERNATIONAL JOURNAL OF DISASTER RISK REDUCTION
Autore/i: D’ORAZIO M.; QUAGLIARINI E.; BERNARDINI G.; SPALAZZI L.
Classificazione: 1 Contributo su Rivista
Abstract: Earthquake risk assessment at urban scale does not actually consider human behaviours during both the event and the first evacuation phases. Nevertheless, understanding and simulating these aspects become essential in determining how human behaviours influence inhabitants' safety levels, defining combined “risk maps” and evaluating community resilience features. This work proposes an innovative approach by offering a simulator for pedestrians' earthquake evacuation in urban scenarios. Firstly, our previous behavioural investigations of real earthquake evacuation from all over the World allow organizing rules in pedestrians' evacuation and man–environment interactions in the post-event scenario: an agent-based (ABM) approach is provided for their representation by using the in language. Secondly, operative criteria for pedestrian motion are provided: in particular, motion law for pedestrians is defined by modifying the Social Force model approach with the behavioural results of our case study. Rules for environmental modifications due to the earthquake are proposed. Finally, the software EPES (Earthquake Pedestrians' Evacuation Simulator) is implemented on these bases and validated using a case study (an Italian historical centre). Results firstly summarize the behavioural analysis discussion and the ABM definition. First validations about ruins formations, behavioural aspects, motion speed in evacuations and path choice are offered. EPES is proposed as a tool for evaluating probable pedestrians' choices in different scenarios, and checking solutions for reducing interferences between the human evacuation process and the built environment. Operative strategies for interferences reduction could be founded on model previsions, such as interventions on particular buildings, evacuation strategies definition and urban planning. &
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/217314 Collegamento a IRIS

2014 A tool for earthquake risk assessment definition including human behavioral aspects: EPES - Earthquake Pedestrians Evacuation Simulator
Proceedings of the 2nd International Conference on Protection of Historical Constructions
Autore/i: D’ORAZIO M.; QUAGLIARINI E.; BERNARDINI G.; SPALAZZI L.
Editore: Boğaziçi University Publishing
Luogo di pubblicazione: Istanbul
Classificazione: 2 Contributo in Volume
Abstract: The earthquake risk assessment at urban scale does not consider human behaviors during both earthquake and evacuation phases. However, understanding interactions between people and post-event environment becomes essential in determining how behaviors influence inhabitants’ safety levels. This study follows this approach and proposes an agent-based earthquake pedestrians evacuation simulator. Real events analysis allows to define phases and rules in pedestrians evacuation; the social force model and a multi-agent architecture are used in order to develop a simulator. Consequently, the software EPES (Earthquake Pedestrians Evacuation Simulator) is implemented. Results firstly show the noticed behaviors discussion, posing attention on evacuation paths choice; interactions between man and environment are defined. Additionally, first software simulation validation about motion speed in evacuations and path choice are offered. EPES is proposed for evaluating probable pedestrians’ choices in different scenarios, and checking solutions for reduction of interferences between the environment and the evacuation process.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/217315 Collegamento a IRIS

2014 Multi-Agent Simulation Model for Evacuation of Care Homes and Hospitals for Elderly and People with Disabilities in Motion
Ambient Assisted Living - Italian Forum 2013
Autore/i: D’ORAZIO M.; SPALAZZI L.; QUAGLIARINI E.; BERNARDINI G.
Editore: Springer International Publishing
Luogo di pubblicazione: Cham
Classificazione: 2 Contributo in Volume
Abstract: The progressive population aging provokes an increase of importance in safety aspects for the elderly and the people with disabilities that are housed in care homes and hospitals. Current regulations denote an inadequate approach to safety problems connected to possible evacuation due to events like earthquakes, floods, fires. The law approach implicates that patients are directly carried out by health workers assistants in evacuation. However, many patients can autonomously evacuate, helped by specific facilities for way finding and not assisted by the medical staff. Our research is intended to design “guidance” system for these categories, and to inquiry how these facilities interact with people and influence their motion. The understanding and the simulation of behaviors of this category become essential in order to reach these goal.. This work proposes a multi-agent model for evacuation simulation, based on the Social Force motion approach and on experimental data. This paper focuses on joining group behaviors for autonomous elderly. The validation concerns various quantities describing group motion phenomena. The model will be integrated including aspects connected with eventual disabilities in motion for patients.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/217316 Collegamento a IRIS

2013 Definition of a Software for Outdoor Post-Earthquake Evacuation Simulation. Group Attraction Definition Using a Social Force Model Approach
Changing needs, adaptive buildings, smart cities.
Autore/i: D’Orazio M.; Spalazzi L.; Quagliarini E.; Bernardini G.
Editore: Poliscript
Luogo di pubblicazione: Milano
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/147705 Collegamento a IRIS

2013 Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL
Description Logics
Autore/i: Pagliarecci F.; Spalazzi L.; Taccari G.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/164903 Collegamento a IRIS

2013 Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning
EDUCATIONAL TECHNOLOGY & SOCIETY
Autore/i: P. Ghislandi; M. G. Ierardi; T. Leo; L. Spalazzi
Classificazione: 1 Contributo su Rivista
Abstract: Editorial of the special issue on"Innovative technologies for the seamless integration of formal and informal learning"
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/86636 Collegamento a IRIS

2013 PKS: An Ontology-based Learning Construct for Lifelong Learners
EDUCATIONAL TECHNOLOGY & SOCIETY
Autore/i: Flavio Manganello; Carla Falsetti; Luca Spalazzi ; Tommaso Leo
Classificazione: 1 Contributo su Rivista
Abstract: This paper addresses adult lifelong learners, i.e., persons interested in learning or compelled to learn during their working life but not able to, or not interested in participating in formal learning. These learners are motivated and self-aware enough to self-direct their learning, are presumed to be novices with respect to the needed knowledge and have a limited technological uptake. This paper will outline their main differences from regular learners, in particular, for the use of social media to improve learning skills. The reference pedagogical model is andragogy. A Service-Oriented Architecture, named Personal Knowledge Space (PKS), is proposed to support our lifelong learners in selecting, organizing, and retrieving information; in streamlining interaction processes among learners, services and resources and finally in empowering control and trust of personal relationships born during the learning processes. The PKS is mainly based on the exploitation of semantic tools (ontologies) and web services. Use cases describing the PKS architecture and one scenario of PKS use are presented.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/86635 Collegamento a IRIS

2013 Model Checking Grid Security
FUTURE GENERATION COMPUTER SYSTEMS
Autore/i: F. Pagliarecci; F. Spegni; L. Spalazzi
Classificazione: 1 Contributo su Rivista
Abstract: Grid computing is one of the leading forms of high performance computing. Security in the grid environment is a challenging issue that can be characterized as a complex system involving many subtleties that may lead designers into error. This is similar to what happens with security protocols where automatic verification techniques (specially model checking) have been proved to be very useful at design time. This paper proposes a formal verification methodology based on model checking that can be applied to host security verification for grid systems. The proposed methodology must take into account that a grid system can be described as a parameterized model, and security requirements can be described as hyperproperties. Unfortunately, both parameterized model checking and hyperproperty verification are, in general, undecidable. However, it has been proved that this problem becomes decidable when jobs have some regularities in their organization. Therefore, this paper presents a verification methodology that reduces a given grid system model to a model to which it is possible to apply a ‘‘cutoff’’ theorem (i.e., a requirement is satisfied by a system with an arbitrary number of jobs if and only if it is satisfied by a system with a finite number of jobs up to a cutoff size). This methodology is supported by a set of theorems, whose proofs are presented in this paper. The methodology is explained by means of a case study: the Condor system.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/87601 Collegamento a IRIS

2013 Recent developments in high performance computing and security: An editorial
FUTURE GENERATION COMPUTER SYSTEMS
Autore/i: Waleed W. Smari; Luca Spalazzi; Yacine Zemali
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/87610 Collegamento a IRIS

2012 FCFA: A semantic-based federated cloud framework architecture
2012 International Conference on High Performance Computing & Simulation (HPCS)
Autore/i: Giuliano Manno; Waleed W. Smari; Luca Spalazzi
Editore: IEEE COMPUTER SOCIETY
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Cloud Computing is a paradigm that applies a service model on infrastructures, platforms and software. In the last few years, this new idea has been showing its potentials and how, in the long run, it will affect Information Technology and the act of interfacing to computation and storage. This article introduces the FCFA project, a framework for an ontology-based resource life-cycle management and provisioning in a federated Cloud Computing infrastructure. Federated Clouds are presumably the first step toward a Cloud 2.0 scenario where different providers will be able to share their assets in order to create a free and open Cloud Computing marketplace. The contribution of this article is a redesign of a Cloud Computing infrastructure architecture from the ground-up, leveraging semantic web technologies and natively supporting a federated resource provisioning.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/87613 Collegamento a IRIS

2012 A modular environment for software development and re-engineering
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)
Autore/i: Salvatore Campana; Andrea Poli; Luca Spalazzi; Francesco Spegni
Editore: IEEE COMPUTER SOCIETY
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Traditional software development processes are designed to deal with the construction of new software systems. We believe the software development methodologies should include from the beginning the possibility of a re-engineering phase. With our work we identify the main characteristics that make software (re)engineering tools useful and usable Developing them in a modular architecture allows for a better integration with the developer’s working habits.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/87612 Collegamento a IRIS

2012 Application of SWSAL in Semantic Annotation of RESTful Web Services
Fifth Interop-Vlab.It Workshop on Complexity of Systems, Complexity of Interoperability in conjunction with itAIS 2012.
Autore/i: Francesco Pagliarecci; Luca Spalazzi; Gilberto Taccari
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Nowadays web services have become one of the main technologies in the development of web applications. According to that providers now offer an increasing number of capabilities as web services. Furthermore, in the recent years, such deployment trend has seen the success of REST architecture and, consequently, the proliferation of RESTful web services. This work focuses on the semantic description of RESTful web services. It shows how the SWSAL language, already used profitably to semantically annotate SOAP web services, can be used to semantically describe a web service compliant with the REST principles. The work establishes the bases for the application of SWSAL and its related researches to the RESTful web service area.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/87655 Collegamento a IRIS

2012 Model Checking Semantically Annotated Services
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Autore/i: DI PIETRO I; PAGLIARECCI F; L. SPALAZZI
Classificazione: 1 Contributo su Rivista
Abstract: IF 3.750
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/54083 Collegamento a IRIS

2011 Educazione web-enhanced di progettisti in ambito tecnologico
Didattica Universitaria online, Teoria, Esperienze e Strumenti
Autore/i: Falsetti C.; Leo T.; Manganello F.; Pagliarecci F.; Pistoia A.; Spalazzi L.
Editore: CIVIS srl/ Scriptaweb.eu
Luogo di pubblicazione: Napoli
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/63415 Collegamento a IRIS

2011 A Business Process Design Framework for B2B Collaboration
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems (CTS)
Autore/i: L. Boaro; E. Glorio; F. Pagliarecci; L. Spalazzi
Editore: IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/72142 Collegamento a IRIS

2011 From Service Identification to Service Selection: An Interleaved Perspective
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Autore/i: D. Bianchini; F. Pagliarecci; L. Spalazzi
Editore: Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229
Luogo di pubblicazione: Heidelberg Germany
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/72137 Collegamento a IRIS

2010 Classification of Attacks on Cryptographic Protocols
Handbook of Electronic Security and Digital Forensics
Autore/i: L. SPALAZZI; S. TACCONI
Editore: World Scientific Publishing
Luogo di pubblicazione: SINGAPORE
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/42253 Collegamento a IRIS

2010 Semantic Model Checking Security Requirements for Web Services
High Performance Computing System (HPCS’10)
Autore/i: L. BOARO; E. GLORIO; F. PAGLIARECCI; L. SPALAZZI
Editore: IEEE Computer Society
Luogo di pubblicazione: LOS ALAMITOS, CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48777 Collegamento a IRIS

2010 Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study
Proc. of the 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010)
Autore/i: S. CAMPANA; L. SPALAZZI; SPEGNI F
Editore: IEEE Computer Society Press
Luogo di pubblicazione: LOS ALAMITOS CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48774 Collegamento a IRIS

2009 Semantic Annotation for Web Service Processes in a Pervasive Computing
Pervasive Computing : Innovations in Intelligent Multimedia and Applications
Autore/i: I. DI PIETRO; F. PAGLIARECCI; L. SPALAZZI
Editore: Springer-Verlag
Luogo di pubblicazione: LONDRA
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/42255 Collegamento a IRIS

2009 Performance Indicator in Collaborative Systems for Business Process Management
Proc. of the IADIS International Conference Applied Computing 2009
Autore/i: A. ROSSETTI; L. SPALAZZI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48775 Collegamento a IRIS

2009 `eLearning for Complex System Professionals: Material Knowledge Representation, Retrieval, and Building
4th International Forum on Knowledge Asset Dynamics (IFKAD 09)
Autore/i: T. LEO; F. PAGLIARECCI; L. SPALAZZI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48773 Collegamento a IRIS

2009 An Anomaly-Based System for Parental Control
High Performance Computing System (HPCS'09)
Autore/i: C. CIOFFI; F. PAGLIARECCI; L. SPALAZZI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48723 Collegamento a IRIS

2009 JEAP Java Environment for Agent Platform
Proc. of the IADIS International Conference Applied Computing 2009
Autore/i: F. PAGLIARECCI; L. SPALAZZI; F. SPINELLI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48776 Collegamento a IRIS

2009 An IPS for Web Applications
JOURNAL OF COMPUTERS
Autore/i: A. BISCOTTI; G. CAPUZZI; E. CARDINALE; L. SPALAZZI; F. PAGLIARECCI
Classificazione: 1 Contributo su Rivista
Abstract: Abstract This work presents an IPS for web applications that combines anomaly detection, misuse detection, and a prevention module. This approach provides us a solution that produce a number of false positives and false negatives less than traditional solutions. The proposed system is also able to update the misuse and anomaly model according to feedback received by the security manager. Finally, in our system the anomaly model has been specifically designed for web applications. We implemented and experimented our system in a real service company. From the results arises an improvement with respect to other state-of-the-art WEBIDSs.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/37672 Collegamento a IRIS

2009 Special Issue: Security and High Performance Computer Systems
JOURNAL OF COMPUTERS
Autore/i: L. SPALAZZI; GUHA R
Editore: Academy Publisher, P.O.Box 40, 90571 OULU,FINLAND
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/37674 Collegamento a IRIS

2008 SWSAL: Semantic Web Service Annotation Language
SIAE Sezione Opere Inedite, no. 2008004453
Autore/i: I. DI PIETRO; F. PAGLIARECCI; L. SPALAZZI
Classificazione: 5 Altro
Abstract: Registrazione presso la SIAE del software: SWSAL
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48389 Collegamento a IRIS

2008 XAL: A Web Oriented Programming Language Based On Timed-Automata
Proc. of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI’08)
Autore/i: S. CAMPANA; L. SPALAZZI; F. SPEGNI
Editore: IEEE Computer Society Press
Luogo di pubblicazione: LOS ALAMITOS, CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48521 Collegamento a IRIS

2008 An IDS for Web Applications
High Performance Computing System (HPCS’08)
Autore/i: A. BISCOTTI; G. CAPUZZI; E. CARDINALE; L. SPALAZZI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48525 Collegamento a IRIS

2008 SemanticWeb Service Selection at the Process-level: the eBay/Amazon/PayPalCase Study
Proc. of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI’08)
Autore/i: I. DI PIETRO; F. PAGLIARECCI; L. SPALAZZI; A. MARCONI; M. PISTORE
Editore: IEEE Computer Society Press
Luogo di pubblicazione: LOS ALAMITOS, CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Abstract. Several approaches have been proposed to tackle the selection of distributed processes described as semantic Web services. However, their practical applicability in real composition scenarios is still an open question. Addressing this problem requires on the one hand to deal with services described as stateful business processes and, on the other hand, to consider complex selection requirements concerning both the service interface and its behavior. In fact, in most existing approaches the selection is performed on the basis of the ldquofunctionalrdquo description of a service, i.e. in terms of its inputs, outputs, preconditions and effects. In this paper, we present our approach for the process-level service selection and evaluate it on a real world scenario that entails a high level of complexity: the eBay Web Services,the Amazon E-Commerce Services and the e-payment service offered by PayPal. The approach is based on a representation of services at the process level that is based on BPEL and WSDL specifications and that extends these standard specifications with minimal semantic annotations that permit to perform an efficient and yet useful, semantic reasoning for the process-level selection of Web services.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48522 Collegamento a IRIS

2008 Formal Specification of Agent- Object Oriented Programs
Proc. of the 2008 International Symposium on Collaborative Technologies and Systems (CTS 2008)
Autore/i: F. PAGLIARECCI; L. SPALAZZI; M.-O. STEHR; C. L. TALCOTT
Editore: IEEE Computer Society Press
Luogo di pubblicazione: LOS ALAMITOS, CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48524 Collegamento a IRIS

2008 A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan
INTERNATIONAL TRANSACTIONS ON SYSTEMS SCIENCE AND APPLICATIONS
Autore/i: F. PAGLIARECCI; L. PENSERINI; L. SPALAZZI
Editore: Xiaglow Institute
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/37673 Collegamento a IRIS

2008 A scalable telemedicine architecture for under developed countries. A case study: Democratic Republic of Congo
Proceedings of the 16th Mediterranean Conference on Control and Automation
Autore/i: S. Kidiamboko; A. Mancini; S. Longhi; L. Spalazzi
Editore: IEEE Press
Luogo di pubblicazione: LOS ALAMITOS, CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Telemedicine, defined as the use of telecommunications technologies to provide medical information and services, is electronic transfer of medical data being able to include the sound and the images to practice remote medicine. In under developed countries, as the Democratic Republic of Congo, the capability to remote monitor patients that live in villages or small rural town, is a "Big step ahead" for the health system and citizens. In this paper we present a Scalable Telemedicine Architecture designated to be used in a real scenario as the Dem.Rep. of Congo. A prototype of low cost sensor, integrable into architecture, as a pulse oximeter called Ebloops (Experimental Blood Pressure Smart Sensor), is also presented. Pulse oximetry allows doctors to monitor vital parameters as oxygen levels in a human body, heart frequency and other ones.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48523 Collegamento a IRIS

2007 An Experience-based Incident Response System
High Performance Computing System (HPCS'07)
Autore/i: G. CAPUZZI; E. CARDINALE; I. DI PIETRO; L. SPALAZZI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Praha, Czech Republic
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48519 Collegamento a IRIS

2007 From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan
OTM Federated Conferences and Workshops, Part I
Autore/i: F. PAGLIARECCI; L. PENSERINI; L. SPALAZZI
Editore: Springer-Verlag
Luogo di pubblicazione: BERLIN
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: R. Meersman, Z. Tari, P. Herrero et al. (Eds.)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48520 Collegamento a IRIS

2007 Social-Oriented Engineering of Intelligent Software
WEB INTELLIGENCE AND AGENT SYSTEMS
Autore/i: L. PENSERINI; M. KOLP; L. SPALAZZI
Classificazione: 1 Contributo su Rivista
Abstract: Abstract In the last few years, software applications are increased in complexity and in stakeholders' expectations, principally due to new Internet-centric application areas such as eBusiness, eGovernment, web services, ubiquitous computing, and peer-to-peer networks. From a software engineering point of view, such applications have brought in new challenging requirements to deal with. Therefore, the paper aims to cope with complex system development taking benefit from the use of an agent oriented software engineering methodology, named Tropos. The paper focuses both on the socially-driven approach of Tropos and on the agent capabilities characterization, in order to build up an agent-based information system prototype. Specifically, we revise and improve the Tropos architectural design phase, motivating the need for two correlated dimensions: organization styles based macro-level architectural design and social patterns based micro-level architectural design. Moreover, we illustrate how the architectural design phase drives and supports detailed design activities, e.g., agent cooperation, by means of some agent specification abstractions.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38588 Collegamento a IRIS

2006 IRSS: An Incident Response Support System
International Symposium on Collaborative Technologies and Systems (CTS 2006)
Autore/i: G. CAPUZZI; L. SPALAZZI
Editore: IEEE Computer Society
Luogo di pubblicazione: LOS ALAMITOS, CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48518 Collegamento a IRIS

2006 A Minimalist Approach to Semantic Annotations for Web Processes Compositions
The Semantic Web: Research and Applications
Autore/i: M. PISTORE; L. SPALAZZI; P. TRAVERSO
Editore: Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229
Luogo di pubblicazione: Heidelberg
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Abstract In this paper we propose a new approach to the automated composition of distributed processes described as semantic web services. Current approaches, such as those based on owl-s and wsmo, in spite of their expressive power, are hard to use in practice. Indeed, they require comprehensive and usually large ontological descriptions of the processes, and rather complex (and often inefficient) reasoning mechanisms. In our approach, we reduce to the minimum the usage of ontological descriptions of processes, so that we can perform a limited, but efficient and useful, semantic reasoning for composing web services. The key idea is to keep separate the procedural and the ontological descriptions, and to link them through semantic annotations. We define the formal framework, and propose a technique that can exploit simple reasoning mechanisms at the ontological level, integrated with effective reasoning mechanisms devised for procedural descriptions of web services.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48465 Collegamento a IRIS

2006 Formal Definition of an Agent-Object Programming Language
2006 International Symposium on Collaborative Technologies and Systems (CTS 2006)
Autore/i: F. PAGLIARECCI; L. SPALAZZI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: IEEE Computer Society Press, Los Alamitos CA, USA
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48467 Collegamento a IRIS

2006 An Incident Response Support System
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY
Autore/i: G. CAPUZZI; E. CARDINALE; I. DI PIETRO; L. SPALAZZI
Editore: Seoul : International Journal of Computer Science and Network Security.
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38962 Collegamento a IRIS

2005 Model Checking the Security of Multi-Protocol Systems
2005 International Symposium on Collaborative Technologies and Systems (CTS 2005)
Autore/i: M. PANTI; L. SPALAZZI; S. TACCONI; F. PAGLIARECCI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: IEEE Computer Society Press, Los Alamitos CA, USA
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48516 Collegamento a IRIS

2005 Alan: An Agent-Object Programming Language
IADIS International Conference WWW/Internet 2005
Autore/i: L. SPALAZZI; F. PAGLIARECCI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48468 Collegamento a IRIS

2005 An Agent-Based Supply-Chain Managment
2005 International Symposium on Collaborative Technologies and Systems (CTS 2005)
Autore/i: M. PANTI; F. PAGLIARECCI; L. SPALAZZI
Editore: IEEE Computer Society Press
Luogo di pubblicazione: LOS ALAMITOS CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48466 Collegamento a IRIS

2005 C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving
MINDS AND MACHINES
Autore/i: L. SPALAZZI
Editore: Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38587 Collegamento a IRIS

2004 Socially-Based Design meets Agent Capabilities
Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04)
Autore/i: L. PENSERINI; M. KOLP; L. SPALAZZI; M. PANTI
Editore: IEEE Computer Society
Luogo di pubblicazione: Los Alamitos, CA
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Abstract. The area of multiagent system is promising in order to help complex system development, indeed, currently, several agent oriented software methodologies have been proposed. Such methodologies mainly focus on their abstraction ability in order to both easily manage the system complexity and easily isolate the stakeholders' requirements that affect the system architecture. On the contrary, this paper also deals with the above issues, but it pays more attention to the characterization of 'intelligent' agent capabilities. Specifically, to deliver on such a task, the paper focuses on the socially-driven approach of Tropos software design methodology in order to build up an agent-based information system prototype.
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48517 Collegamento a IRIS

2004 A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management
6TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS-04)
Autore/i: L. PENSERINI; M. PANTI; L. SPALAZZI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: PORTO, PORTUGAL
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48240 Collegamento a IRIS

2003 Automatic Verification of Security in Payment Protocols for Electronic Commerce
Enterprise Information Systems IV
Autore/i: M. PANTI; L. SPALAZZI; S. TACCONI; S. VALENTI
Editore: Kluwer Academic Publisher
Luogo di pubblicazione: DORDRECHT
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/39763 Collegamento a IRIS

2003 Modeling and Evaluating Cooperation Strategies in P2P Agent
Agents and Peer-to-Peer Computing
Autore/i: L. PENSERINI; L. LIU; J. MYLOPOULOS; M. PANTI; L. SPALAZZI
Editore: SPRINGER--VERLAG
Luogo di pubblicazione: BERLIN
Classificazione: 2 Contributo in Volume
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/39762 Collegamento a IRIS

2003 Cooperation Strategies for Agent-Based P2P Systems
WEB INTELLIGENCE AND AGENT SYSTEMS
Autore/i: L. PENSERINI; L. LIU; J. MYLOPOULOS; M. PANTI; L. SPALAZZI
Classificazione: 1 Contributo su Rivista
Abstract: IOS PRESS, AMSTERDAM, THE NETHERLANDS
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38774 Collegamento a IRIS

2003 M. J. Wooldridge, Reasoning about Rational Agents
MINDS AND MACHINES
Autore/i: L. SPALAZZI
Editore: Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38773 Collegamento a IRIS

2002 Agent-Based Transactions into Decentralized P2P
Proc. of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems
Autore/i: L. PENSERINI; M. PANTI; L. SPALAZZI
Editore: ACM Press
Luogo di pubblicazione: NEW YORK
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/53396 Collegamento a IRIS

2002 Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time .
21st Int. Conf. on Computer Safety, Reliabiltiy and Security (SAFECOMP 2002)
Autore/i: BENERECETTI M.; PANTI M.; L. SPALAZZI; TACCONI S.
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: Catania, Italy, Springer--Verlag, Berlin, Germany, 2002
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48239 Collegamento a IRIS

2002 Using the NuSMV Model Checker to verify the Kerberos Protocol
THE THIRD COLLABORATIVE TECHNOLOGIES SYMPOSIUM (CTS-02)
Autore/i: M. PANTI; L. SPALAZZI; S. TACCONI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: SAN ANTONIO, TEXAS
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48285 Collegamento a IRIS

2002 Modeling and Evaluating Cooperation Strategies in P2P Agent
International Workshop on Agents and Peer-to-Peer Computing (AP2PC 2002)
Autore/i: L. PENSERINI; L. LIU; J. MYLOPOULOS; M. PANTI; L. SPALAZZI
Editore: Springer–Verlag
Luogo di pubblicazione: BERLINO
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48526 Collegamento a IRIS

2002 Verification of Payment Protocols via Multi-Agent Model Checking
14TH INTERN. CONF. ON ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE'02)
Autore/i: M. BENERECETTI; M. PANTI; L. SPALAZZI; S. TACCONI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: TORONTO, ONTARIO, , SPRINGER--VERLAG, BERLIN, GERMANY
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48281 Collegamento a IRIS

2001 Cooperation Strategies for Information Integration
SIXTH INTERNATIONAL CONFERENCE ONCOOPERATIVE INFORMATION SYSTEMS (COOPIS 2001)
Autore/i: M. PANTI; L. SPALAZZI; L. PENSERINI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: TRENTO, ITALY, LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER--VERLAG, BERLIN, GERMANY
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48282 Collegamento a IRIS

2001 A Survey on Case-Based Planning
ARTIFICIAL INTELLIGENCE REVIEW
Autore/i: L. SPALAZZI
Editore: -DORDRECHT, NETHERLANDS: SPRINGER VERLAG -Oxford; Exeter: Blackwell Scientific Publications Intellect Limited. -Dordrecht Netherlands: Kluwer Academic Publishers
Classificazione: 1 Contributo su Rivista
Abstract: Settembre, Kluwer Academic Publisher, Dordrecht, The Netherlands
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38770 Collegamento a IRIS

2001 A Distributed Case-Based Query Rewriting
17TH INTERNATIONAL JOINT CONFERENCE ONARTIFICIAL INTELLIGENCE (IJCAI-01)
Autore/i: M. PANTI; L. SPALAZZI; L. PENSERINI;
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: SEATTLE, WASHINGTON, USA, MORGAN KAUFMANN PUBLISHER, SAN MATEO CA, USA
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48283 Collegamento a IRIS

2000 ``A Logic of Belief and a Model Checking Algorithm for Security Protocols''
IFIP TC6/WG6.1 INTERNATIONAL CONFERENCE FORTE/ PSTV 2000
Autore/i: M. BENERECETTI; F. GIUNCHIGLIA; M. PANTI; L. SPALAZZI
Editore: KLUWER ACADEMIC PUBLISHER
Luogo di pubblicazione: DORDRECHT
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: KLUWER ACADEMIC PUBLISHER, DORDRECHT, THE NETHERLANDS, 2000
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/52282 Collegamento a IRIS

2000 An Agent-Based Platform for Federated Information Systems: Some Design Issues
INTERN. CONF. ON SW. ENG.APPLIED TO NETWORKING & PARALLEL/DISTRIBUTED COMPUTING
Autore/i: C. CIOFFI; M. PANTI; L. PENSERINI; L. SPALAZZI; E. TONUCCI; S. VALENTI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: REIMS, FRANCE
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48284 Collegamento a IRIS

2000 A Dynamic Logic for Acting, Sensing, and Planning
JOURNAL OF LOGIC AND COMPUTATION
Autore/i: L. SPALAZZI; TRAVERSO P.
Editore: Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485
Classificazione: 1 Contributo su Rivista
Abstract: Oxford University Press, Oxford, England
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38581 Collegamento a IRIS

2000 A FIPA Compliant Agent Platform for Federated Information Systems
ACIS INTERNATIONAL JOURNAL OF COMPUTER AND INFORMATION SCIENCE
Autore/i: Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/50336 Collegamento a IRIS

1999 Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning
ARTIFICIAL INTELLIGENCE
Autore/i: GIUNCHIGLIA F.; L. SPALAZZI
Editore: Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598
Classificazione: 1 Contributo su Rivista
Abstract: Elsevier, Amsterdam, The Netherlands
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38582 Collegamento a IRIS

1999 Federated Information System Architecture for Local Public Administration
1999 INFORMATION RESOURCES MANAGEMENT ASSOCIATIONINTERNATIONAL CONFERENCE
Autore/i: M. PANTI; C. DIAMANTINI; L. SPALAZZI; S. VALENTI
Classificazione: 4 Contributo in Atti di Convegno (Proceeding)
Abstract: HERSHEY, PENNSYLVANIA USA
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/48288 Collegamento a IRIS

1999 A planning language for embedded systems
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE
Autore/i: L. SPALAZZI
Editore: Taylor & Francis Limited:Rankine Road, Basingstoke RG24 8PR United Kingdom:011 44 1256 813035, EMAIL: madeline.sims@tandf.co.uk, info@tandf.co.uk, INTERNET: http://www.tandf.co.uk, Fax: 011 44 1256 330245
Classificazione: 1 Contributo su Rivista
Abstract: Maggio, Taylor & Francis Ltd., London UK
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/38772 Collegamento a IRIS

1999 Agent Technologies for federated information systems in the public administration
AGENTLINK NEWSLETTER
Autore/i: M. PANTI; A.F. DRAGONI; L. SPALAZZI; C. DIAMANTINI; S. VALENTI
Classificazione: 1 Contributo su Rivista
Scheda della pubblicazione: https://iris.univpm.it/handle/11566/51464 Collegamento a IRIS


Università Politecnica delle Marche

P.zza Roma 22, 60121 Ancona
Tel (+39) 071.220.1, Fax (+39) 071.220.2324
P.I. 00382520427