Giuseppe Pappalardo

Future Internet, 2023

2022

A Decentralized Solution for Epidemiological Surveillance in Campus Scenarios.

[BibT_eX]

[DOI]

IEEE Access, 2022

Some Blockchain Design Patterns for Overcoming Immutability, Chain-Boundedness, and Gas Fees.

[BibT_eX]

[DOI]

Valerio Mandarino

Proceedings of the 3rd Asia Conference on Computers and Communications, 2022

2021

A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C++ Code.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

NausiChain: a Mobile Decentralized App Ensuring Service Continuity to University Life in Covid-19 Emergency Times.

[BibT_eX]

[DOI]

Proceedings of the ICSIM 2021: 2021 The 4th International Conference on Software Engineering and Information Management, 2021

Issues Related to EHR Blockchain Applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia Conference on Computers and Communications, 2021

2020

Automatic Generation of Effective Unit Tests based on Code Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020

NausicaApp: A Hybrid Decentralized Approach to Managing Covid-19 Pandemic at Campus Premises.

[BibT_eX]

[DOI]

Proceedings of the Asia Conference on Computers and Communications, 2020

2018

Blockchain inefficiency in the Bitcoin peers network.

[BibT_eX]

[DOI]

EPJ Data Sci., 2018

A General Powerful Graph Pattern Matching System for Data Analysis.

[BibT_eX]

[DOI]

Proceedings of the Complex Networks and Their Applications VII, 2018

Program Analysis and Graph Pattern Matching to Reveal Modularity and Potential for Parallelism.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Web-based Simulations of Multi-agent Systems.

[BibT_eX]

[DOI]

Simul., 2017

A Python framework for programming autonomous robots using a declarative approach.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Specifying and identifying widely used crosscutting concerns.

[BibT_eX]

[DOI]

Misael Mongiovì

Knowl. Based Syst., 2017

A fault-tolerant self-organizing flocking approach for UAV aerial survey.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2017

Combining reputation and QoS measures to improve cloud service composition.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2017

Flexible simulations of complex networks in OpenStack clouds.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2017

JarvSis: a distributed scheduler for IoT applications.

[BibT_eX]

[DOI]

Clust. Comput., 2017

3D Simulation of Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop "From Objects to Agents", 2017

2016

Cooperative Strategy for Optimal Management of Smart Grids by Wavelet RNNs and Cloud Computing.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2016

A multi-agent protocol for service level agreement negotiation in cloud federations.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2016

A trust-aware, self-organizing system for large-scale federations of utility computing infrastructures.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2016

A Cloud-Distributed GPU Architecture for Pattern Identification in Segmented Detectors Big-Data Surveys.

[BibT_eX]

[DOI]

Comput. J., 2016

A mathematical model for file fragment diffusion and a neural predictor to manage priority queues over BitTorrent.

[BibT_eX]

[DOI]

Int. J. Appl. Math. Comput. Sci., 2016

AgentSimJS: A Web-based Multi-Agent Simulator with 3D Capabilities.

[BibT_eX]

[DOI]

Tobia Calenda

Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

Making Android Apps Data-Leak-Safe by Data Flow Analysis and Code Injection.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Enhancing City Transportation Services Using Cloud Support.

[BibT_eX]

[DOI]

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015

Computing Efficiently the Closeness of Word Sets in Natural Language Texts.

[BibT_eX]

[DOI]

Domenico Cantone

Salvatore Cristofaro

Int. J. Comput. Linguistics Appl., 2015

Enhancing applications with cloud services by means of aspects.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2015

An AOP-RBPNN approach to infer user interests and mine contents on social media.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2015

Providing QoS strategies and cloud-integration to web servers by means of aspects.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2015

Using AOP Neural Networks to Infer User Behaviours and Interests.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop "From Objects to Agents", 2015

An AO System for OO-GPU Programming.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop "From Objects to Agents", 2015

Rule-based Location Extraction from Italian Unstructured Text.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop "From Objects to Agents", 2015

Self-Organising UAVs for Wide Area Fault-tolerant Aerial Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop "From Objects to Agents", 2015

A Reputation-Based Approach to Improve QoS in Cloud Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

An Evolutionary Approach for Cloud Learning Agents in Multi-cloud Distributed Contexts.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Similarity and Trust to Form Groups in Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

Novel approach toward medical signals classifier.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

A Distributed Reputation-Based Framework to Support Communication Resources Sharing.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Forming Homogeneous Classes for e-Learning in a Social Network Scenario.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Toward Work Groups Classification Based on Probabilistic Neural Network Approach.

[BibT_eX]

[DOI]

Janusz T. Starczewski

Marcin Wozniak

Proceedings of the Artificial Intelligence and Soft Computing, 2015

Supporting Knowledge Sharing in Heterogeneous Social Network Thematic Groups.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Complex, 2015

Using Semantic Negotiation for Ontology Enrichment in e-Learning Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Complex, 2015

A Hybrid Model for Ranking Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on P2P, 2015

UAV-based Aerial Monitoring: A Performance Evaluation of a Self-Organising Flocking Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on P2P, 2015

2014

An Agent-driven Semantical Identifier Using Radial Basis Neural Networks and Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the XV Workshop "Dagli Oggetti agli Agenti", 2014

Designing Autonomous Robots Using GOLEM.

[BibT_eX]

[DOI]

Proceedings of the XV Workshop "Dagli Oggetti agli Agenti", 2014

Improving Files Availability for Bittorrent Using a Diffusion Model.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An Agent Based Negotiation Protocol for Cloud Service Level Agreements.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A Redundancy-Based Attack Detection Technique for Java Card Bytecode.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A goal-centric framework for behaviour programming in autonomous robotic systems.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

Decentralised Resource Finding and Allocation in Cloud Federations.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

A Trust-Based, Multi-agent Architecture Supporting Inter-Cloud VM Migration in IaaS Federations.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2014

A Cascade Neural Network Architecture Investigating Surface Plasmon Polaritons Propagation for Thin Metals in OpenMP.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2014

A Trust Model for Competitive Cloud Federations.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Complex, 2014

An Agent Based Architecture for VM Software Tracking in Cloud Federations.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Complex, 2014

Simplified firefly algorithm for 2D image key-points search.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Computational Intelligence for Human-like Intelligence, 2014

2013

ComplexSim: a flexible simulation platform for complex systems.

[BibT_eX]

[DOI]

Int. J. Simul. Process. Model., 2013

Using Modularity Metrics to assist Move Method Refactoring of Large System.

[BibT_eX]

[DOI]

CoRR, 2013

Kaqudai: A Dependable Web Infrastructure Made Out of Existing Components.

[BibT_eX]

[DOI]

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

HySoN: A Distributed Agent-Based Protocol for Group Formation in Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Integrating Cloud Services in Behaviour Programming for Autonomous Robots.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

Using Modularity Metrics to Assist Move Method Refactoring of Large Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Complex, 2013

Exploiting GPUs to Simulate Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Complex, 2013

Suggesting Extract Class Refactoring Opportunities by Measuring Strength of Method Interactions.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

A Hybrid Neuro-Wavelet Predictor for QoS Control and Stability.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

A Distributed Agent-Based Approach for Supporting Group Formation in P2P e-Learning.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Decentralised Resource Finding in Cloud/Grid Computing Environments: A Performance Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Augmenting a Web Server with QoS by Means of an Aspect-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

A Novel Approach to Effective Parallel Computing of t-Wise Covering Arrays.

[BibT_eX]

[DOI]

Andrea Calvagna

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Superimposing roles for design patterns into application classes by means of aspects.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

AODP: refactoring code to provide advanced aspect-oriented modularization of design patterns.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

A Trust-Based Approach for a Competitive Cloud/Grid Computing Scenario.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

ComplexSim: An SMP-Aware Complex Network Simulation Framework.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Complex, 2012

2011

Exploiting the Small-World Effect for Resource Finding in P2P Grids/Clouds.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

A Self-Organising System for Resource Finding in Large-Scale Computational Grids.

[BibT_eX]

[DOI]

Proceedings of the 11th WOA 2010 Workshop, 2010

Using aspects and annotations to separate application code from design patterns.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

HYGRA: A decentralized protocol for resource discovery and job allocation in large computational Grids.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Handling consistent dynamic updates on distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Tackling consistency issues for runtime updating distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009

Analysing the Performances of Grid Services Handling Job Submission.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

2008

Testing Replica Selection Policies in a Pan-European Grid VO.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

RexMidas: A Reflective Middleware for Transparently and Effectively Distributing Objects on a Grid System.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Emerging Technologies for Next-Generation GRID.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

2007

A framework for the design and automated implementation of communication aspects in multi-agent systems.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2007

Design and evaluation of a high-level Grid communication infrastructure.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

Evaluating Strategies for Resource Finding in a Peer-to-Peer Grid.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Handling Replica Management Concerns by Means of Aspects.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

ETNGRID Workshop Final Report.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

An aspect-generated approach for the integration of applications into grid.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A grid-based infrastructure to support multimedia content distribution.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on the Use of P2P, 2007

2006

Transcoding Agents for Multimedia Content Delivery in a Grid.

[BibT_eX]

Int. Trans. Syst. Sci. Appl., 2006

The transparent implementation of agent communication contexts.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2006

Supporting resource reservation and allocation for unaware applications in Grid systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2006

A QoS-Aware Architecture for Multimedia Content Provisioning in a GRID Environment.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

JAPASSIST: An Assistant for Studying Japanese while Surfing the Web.

[BibT_eX]

Proceedings of the WEBIST 2006, 2006

Automatically discovering design patterns and assessing concern separations for applications.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Agent-Based Negotiation Techniques for a Grid: The Prophet Agents.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Towards an Algebra of Abstractions for Communicating Processes.

[BibT_eX]

[DOI]

Marta Pietkiewicz-Koutny

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

SHiC: A Service-Aware, High-Level Communication Infrastructure Supporting Integration with the Grid.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Metrics for evaluating concern separation and composition.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Handling run-time updates in distributed applications.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

Relating Communicating Processes with Different Interfaces.

[BibT_eX]

[DOI]

Jonathan Burton

Fundam. Informaticae, 2004

STREGA: A Support for Transparently Handling Resources for Grid Applications.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Enforcing agent communication laws by means of a reflective framework.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Separating Soft Real-Time from Functionality Concerns in Complex Object-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

An infrastructure for runtime evolution of software systems.

[BibT_eX]

[DOI]

Antonella Di Stefano

Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004

A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2004

SHARK, a multi-agent system to support document sharing and promote collaboration.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Hot Topics in Peer-to-Peer Systems, 2004

2003

WiFi mobility framework supporting GPRS roaming: design and implementation.

[BibT_eX]

[DOI]

Andrea Calvagna

Giacomo Morabito

Proceedings of IEEE International Conference on Communications, 2003

2002

Introducing distribution into applications: a reflective approach for transparency and dynamic fine-grained object allocation.

[BibT_eX]

[DOI]

Antonella Di Stefano

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

Extending Applications Using Reflective Assistant Agents.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

A Multi-agent Reflective Architecture for User Assistance and Its Application to E-commerce.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents VI, 6th International Workshop, 2002

2001

Behaviour Abstraction for Communicating Sequential Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

Verifying Implementation Relations.

[BibT_eX]

[DOI]

Jonathan Burton

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Implementing Communicating Processes in the Event of Interface Difference.

[BibT_eX]

[DOI]

Jonathan Burton

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999

A Model of Behaviour Abstraction for Communicating Processes.

[BibT_eX]

[DOI]

Proceedings of the STACS 99, 1999

Image Recognition by Wavelet Transforms.

[BibT_eX]

Giacomo Capizzi

Salvatore Coco

Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999

A New Clustering Based System for Automated Object Recognition.

[BibT_eX]

Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999

1997

Two Implementation Relations and the Correctness of Communicating Replicated Processes.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1997

1996

Specification and verification issues in a process language.

[BibT_eX]

[DOI]

PhD thesis, 1996

1993

Modelling Replicated Processing.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

1991

Formalising Replicated Distributed Processing.

[BibT_eX]

[DOI]

Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

1990

Case study in protocol verification.

[BibT_eX]

Comput. Syst. Sci. Eng., 1990

1989

ECCS and LIPS: Two Languages for OSI Systems Specification and Verification.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1989

Proving Correctness Properties of a Replicated Synchronous Program.

[BibT_eX]

[DOI]

Comput. J., 1989

1988

Hoare logic of distributed redundant systems.

[BibT_eX]

Comput. Syst. Sci. Eng., 1988

Behavioural approach to OSI system design.

[BibT_eX]

[DOI]

Comput. Commun., 1988

A Formal Treatment of Interference in Remote Procedure Calls.

[BibT_eX]

[DOI]

Santosh K. Shrivastava

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

Towards a Theory of Replicated Processing.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Experiences with a Verification and Simulation Tool for Behavioural Languages.

[BibT_eX]