Leonardo Mostarda

Proceedings of the Advanced Information Networking and Applications, 2021

UAVs Route Planning in Sea Emergencies.

[BibT_eX]

[DOI]

Nicholas Formica

Proceedings of the Advanced Information Networking and Applications, 2021

Off-Chain Execution of IoT Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2021

2020

Cognition in UAV-Aided 5G and Beyond Communications: A Survey.

[BibT_eX]

[DOI]

Zaib Ullah

IEEE Trans. Cogn. Commun. Netw., 2020

Energy consumption balancing in multi-interface networks.

[BibT_eX]

[DOI]

Alessandro Aloisio

J. Ambient Intell. Humaniz. Comput., 2020

Ethereum smart contracts: Analysis and statistics of their source code and opcodes.

[BibT_eX]

[DOI]

Internet Things, 2020

Applying REECHD to non-uniformly distributed heterogeneous devices.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2020

Applications of Artificial Intelligence and Machine learning in smart cities.

[BibT_eX]

[DOI]

Comput. Commun., 2020

UAVs assessment in software-defined IoT networks: An overview.

[BibT_eX]

[DOI]

Comput. Commun., 2020

UAVs joint optimization problems and machine learning to improve the 5G and Beyond communication.

[BibT_eX]

[DOI]

Comput. Networks, 2020

Seamless secure anonymous authentication for cloud-based mobile edge computing.

[BibT_eX]

[DOI]

Bakkiam David Deebak

Comput. Electr. Eng., 2020

Survival Study on Blockchain Based 6G-Enabled Mobile Edge Computation for IoT Automation.

[BibT_eX]

[DOI]

Ramesh Sekaran

Rizwan Patan

Arunprasath Raveendran

Manikandan Ramachandran

IEEE Access, 2020

Enhancing the Access Privacy of IDaaS System Using SAML Protocol in Fog Computing.

[BibT_eX]

[DOI]

IEEE Access, 2020

Proficient QoS-Based Target Coverage Problem in Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Access, 2020

Capturing-the-Invisible (CTI): Behavior-Based Attacks Recognition in IoT-Oriented Industrial Control Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

An Efficient Framework for Text Document Security and Privacy.

[BibT_eX]

[DOI]

Umair Khadam

Muhammad Munwar Iqbal

Farhan Ullah

Proceedings of the Security and Privacy in Social Networks and Big Data, 2020

Optimal Cluster Head Rotation for Heterogeneous WSNs.

[BibT_eX]

[DOI]

Renato De Leone

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Multi-objective Priority Based Heuristic Optimization for Region Coverage with UAVs.

[BibT_eX]

[DOI]

Kemal Ihsan Kilic

Orhan Gemikonakli

Proceedings of the Advanced Information Networking and Applications, 2020

2019

A4WSN: an architecture-driven modelling platform for analysing and developing WSNs.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

A Hash-Based RFID Authentication Mechanism for Context-Aware Management in IoT-Based Multimedia Systems.

[BibT_eX]

[DOI]

Bakkiam David Deebak

Sensors, 2019

On the performance, availability and energy consumption modelling of clustered IoT systems.

[BibT_eX]

[DOI]

Computing, 2019

Cyber Security Threats Detection in Internet of Things Using Deep Learning Approach.

[BibT_eX]

[DOI]

IEEE Access, 2019

CER-CH: Combining Election and Routing Amongst Cluster Heads in Heterogeneous WSNs.

[BibT_eX]

[DOI]

Matteo Micheletti

IEEE Access, 2019

Intelligent Data Delivery Approach for Smart Cities Using Road Side Units.

[BibT_eX]

[DOI]

Rajkumar Kulandaivel

Monica Balasubramaniam

Manikandan Ramachandran

Rizwan Patan

IEEE Access, 2019

Artificial Muscle Intelligence System With Deep Learning for Post-Stroke Assistance and Rehabilitation.

[BibT_eX]

[DOI]

IEEE Access, 2019

Quantifying Uncertainty in Internet of Medical Things and Big-Data Services Using Intelligence and Deep Learning.

[BibT_eX]

[DOI]

Hadi Zahmatkesh

IEEE Access, 2019

Enhanced Deployment Strategy for the 5G Drone-BS Using Artificial Intelligence.

[BibT_eX]

[DOI]

IEEE Access, 2019

Network Experience Scheduling and Routing Approach for Big Data Transmission in the Internet of Things.

[BibT_eX]

[DOI]

IEEE Access, 2019

Energy Aware Resource Allocation in Multi-Hop Multimedia Routing via the Smart Edge Device.

[BibT_eX]

[DOI]

Bakkiam David Deebak

IEEE Access, 2019

Analysis of Ethereum Smart Contracts and Opcodes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2019

Distributing Energy Consumption in Multi-interface Series-Parallel Networks.

[BibT_eX]

[DOI]

Alessandro Aloisio

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018

Analysis and verification of ECA rules in intelligent environments.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2018

Does the assumption of exponential arrival distributions in wireless sensor networks hold?

[BibT_eX]

[DOI]

Int. J. Sens. Networks, 2018

Multi-path Routing for Mission Critical Applications in Software-Defined Networks.

[BibT_eX]

[DOI]

Ramon Carreras Ramirez

Proceedings of the Industrial Networks and Intelligent Systems, 2018

Rotating Energy Efficient Clustering for Heterogeneous Devices (REECHD).

[BibT_eX]

[DOI]

Matteo Micheletti

Andrea Piermarteri

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

PICO-MP: De-centralised Macro-Programming for Wireless Sensor and Actuator Networks.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

Symbolic verification of event-condition-action rules in intelligent environments.

[BibT_eX]

[DOI]

Michelangelo Diamanti

J. Reliab. Intell. Environ., 2017

Modeling temporal aspects of sensor data for MongoDB NoSQL database.

[BibT_eX]

[DOI]

Nadeem Qaisar Mehmood

J. Big Data, 2017

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.

[BibT_eX]

[DOI]

Michelangelo Diamanti

Gianmarco Mazzante

Proceedings of the 2017 International Conference on Intelligent Environments, 2017

2016

A Flexible and Scalable Architecture for Real-Time ANT+ Sensor Data Acquisition and NoSQL Storage.

[BibT_eX]

[DOI]

Nadeem Qaisar Mehmood

Int. J. Distributed Sens. Networks, 2016

A Formal Model for Event-Condition-Action Rules in Intelligent Environments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2016, 2016

Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

Algorithms for Services with Multiple Levels of Quality.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

2015

Analytical Modelling and Performability Analysis for Cloud Computing Using Queuing System.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Symbolic Model-checking for Resource-Bounded ATL.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Packet Arrival Analysis in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

RUHEED-Rotated Unequal Clustering Algorithm for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

2014

Analysing the Combined Kerberos Timed Authentication Protocol and Frequent Key Renewal Using CSP and Rank Functions.

[BibT_eX]

[DOI]

KSII Trans. Internet Inf. Syst., 2014

Performability Modelling and Analysis of Clustered Wireless Sensor Networks with Limited Storage Capacities.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2014

An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol.

[BibT_eX]

[DOI]

Nadeem Qaisar Mehmood

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013

Modelling Attacker with Deciding Security Properties by Induction and Deduction.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

Path Loss Effect on Energy Consumption in a WSN.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Computer Modelling and Simulation, 2012

Effects of IDSs on the WSNs Lifetime: Evidence of the Need of New Approaches.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Trust, 2012

A model-driven engineering framework for architecting and analysing Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

UHEED - An Unequal Clustering Algorithm for Wireless Sensor Networks.

[BibT_eX]

Proceedings of the SENSORNETS 2012, 2012

2011

A policy-based publish/subscribe middleware for sense-and-react applications.

[BibT_eX]

[DOI]

Giovanni Russello

J. Syst. Softw., 2011

2010

Context-based authentication and transport of cultural assets.

[BibT_eX]

[DOI]

Changyu Dong

Pers. Ubiquitous Comput., 2010

An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance.

[BibT_eX]

[DOI]

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

Distributed Fault Tolerant Controllers.

[BibT_eX]

[DOI]

Rudi Ball

Proceedings of the Distributed Applications and Interoperable Systems, 2010

Distributed Orchestration of Pervasive Services.

[BibT_eX]

[DOI]

Srdjan Marinovic

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009

Policies for Self Tuning Home Networks.

[BibT_eX]

[DOI]

Dimosthenis Pediaditakis

Changyu Dong

Proceedings of the POLICY 2009, 2009

2008

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Distributed Intrusion Detection Systems for Enhancing Security in Mobile Wireless Sensor Networks.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2008

DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

Place and Time Authentication of Cultural Assets.

[BibT_eX]

[DOI]

Changyu Dong

Proceedings of the Trust Management II, 2008

ESCAPE: A Component-Based Policy Framework for Sense and React Applications.

[BibT_eX]

[DOI]

Giovanni Russello

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007

Agents and Security in a Cultural Assets Transport Scenario.

[BibT_eX]

[DOI]

Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

DALICA: Intelligent Agents for User Profile Deduction.

[BibT_eX]

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

DESERT: a decentralized monitoring tool generator.

[BibT_eX]

[DOI]

Paola Inverardi