Silvia Stranieri

According to our database, Silvia Stranieri authored at least 38 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

HYASM: A Tool to Verify Hierarchical Systems.

Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

Parking Problem with Multiple Gates.

Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

Using CoPOI to Manage the Parking Problem Through Pricing Techniques.

Walter Balzano, Silvia Stranieri

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2023

Multi-Agent Parking Problem with Sequential Allocation.

Aniello Murano, Silvia Stranieri, Munyque Mittelmann

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Reasoning About Smart Parking.

Silvia Stranieri

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

A Parking System Based on Priority Scheme.

Walter Balzano, Antonio Lanuto, Erasmo Prosciutto, Biagio Scotto di Covella, Silvia Stranieri

Proceedings of the Advanced Information Networking and Applications, 2023

A Multi-Agent Game for Sentiment Analysis (short paper).

Aniello Murano, Mimmo Parente, Silvia Stranieri

Proceedings of the the Italian Workshop on Planning and Scheduling, 2023

2022

Competitive-blockchain-based parking system with fairness constraints.

Walter Balzano, Marco Lapegna, Silvia Stranieri, Fabio Vitale

Soft Comput., 2022

An Indoor Smart Parking Algorithm Based on Fingerprinting.

Silvia Stranieri

Future Internet, 2022

The Parking Problem: A Game-Theoretic Solution.

Giuseppe Calise, Aniello Murano, Silvia Stranieri

CoRR, 2022

CoPoi: A Collaborative Framework to Optimize the Approach Towards Points of Interest.

Walter Balzano, Davide Pio Faicchia, Silvia Stranieri

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2022

An Improved Ant Colony Optimization Based Parking Algorithm with Graph Coloring.

Marco Agizza, Walter Balzano, Silvia Stranieri

Proceedings of the Advanced Information Networking and Applications, 2022

Reasoning about Reachability and Concurrency in DEL Games.

Silvia Stranieri

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

A Resource Allocation Technique for VANETs Inspired to the Banker's Algorithm.

Walter Balzano, Erasmo Prosciutto, Biagio Scotto di Covella, Silvia Stranieri

Proceedings of the Advances on P2P, Parallel, Grid, Cloud and Internet Computing, 2022

Hierarchical VANET: A Traffic Congestion Management Approach Based on Critical Points.

Walter Balzano, Antonio Lanuto, Carmine Mascia, Silvia Stranieri

Proceedings of the Advances on P2P, Parallel, Grid, Cloud and Internet Computing, 2022

PaSy 2.0: An Approach for PSEs Through an Ad-Hoc Routing Methodology.

Walter Balzano, Walter Galiano, Stefano Sivo, Silvia Stranieri

Proceedings of the Advances on P2P, Parallel, Grid, Cloud and Internet Computing, 2022

2021

DClu: A Direction-Based Clustering Algorithm for VANETs Management.

Marco Lapegna, Silvia Stranieri

Proceedings of the Innovative Mobile and Internet Services in Ubiquitous Computing, 2021

Towards a Model Checking Tool for Strategy Logic with Simple Goals.

Vadim Malvone, Silvia Stranieri

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

COVID-Prevention-Based Parking with Risk Factor Computation.

Walter Balzano, Silvia Stranieri

Proceedings of the Complex, Intelligent and Software Intensive Systems, 2021

PaSy - Management of a Smart-Parking System Based on Priority Queues.

Walter Balzano, Walter Galiano, Silvia Stranieri

Proceedings of the Advanced Information Networking and Applications, 2021

2020

Integration of 5G, VANETs and Blockchain Technology.

Muhammad Arif, Walter Balzano, Alessandro Fontanella, Silvia Stranieri, Guojun Wang, Xiaofei Xing

Proceedings of the 19th IEEE International Conference on Trust, 2020

Concurrent Games in Dynamic Epistemic Logic.

Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Dynamic Epistemic Logic Games with Epistemic Temporal Goals.

Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Behavioral Clustering: A New Approach for Traffic Congestion Evaluation.

Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri

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

Smart Destination-Based Parking for the Optimization of Waiting Time.

Marco Balzano, Walter Balzano, Loredana Sorrentino, Silvia Stranieri

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

2019

Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach.

Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri

Proceedings of the 5th IEEE International Symposium on Measurements & Networking, 2019

Data Dissemination in Vehicular Ad Hoc Network: A Model to Improve Network Congestion.

Walter Balzano, Silvia Stranieri

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

A Self-organization Technique in Wireless Sensor Networks to Address Node Crashes Problem and Guarantee Network Connectivity.

Walter Balzano, Silvia Stranieri

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

ACOp: An Algorithm Based on Ant Colony Optimization for Parking Slot Detection.

Walter Balzano, Silvia Stranieri

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

A Smart Compact Traffic Network Vision Based on Wave Representation.

Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri

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

ManDri: A New Proposal of Manus VR Facility Integration in Everyday Car Driving.

Walter Balzano, Maurizio Minieri, Silvia Stranieri

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

2018

A Logic User-Based Algorithm to Improve Node Distribution in Wireless Sensor Network.

Walter Balzano, Silvia Stranieri

J. Vis. Lang. Sentient Syst., 2018

Cooperative Localization Logic Schema in Vehicular Ad Hoc Networks.

Walter Balzano, Silvia Stranieri

Proceedings of the Advances in Network-Based Information Systems, 2018

A Logic Range-free Algorithm for Localization in Wireless Sensor Networks.

Walter Balzano, Silvia Stranieri

Proceedings of the 24th International DMS Conference on Visualization and Visual Languages, 2018

2017

Logic-based clustering approach for management and improvement of VANETs.

Walter Balzano, Aniello Murano, Silvia Stranieri

J. High Speed Networks, 2017

LoDGP: A Framework for Support Traffic Information Systems Based on Logic Paradigm.

Walter Balzano, Silvia Stranieri

Proceedings of the Advances on P2P, 2017

2016

A Logic Framework for C2C Network Management.

Walter Balzano, Maria Rosaria Del Sorbo, Silvia Stranieri

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

A Logic-based Clustering Approach for Cooperative Traffic Control Systems.

Walter Balzano, Maria Rosaria Del Sorbo, Aniello Murano, Silvia Stranieri

Proceedings of the Advances on P2P, 2016