Gianluca Mandò

According to our database, Gianluca Mandò authored at least 11 papers between 2017 and 2023.

Collaborative distances:

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

2023

Software-Based Fault-Detection Technique for Object Tracking in Autonomous Vehicles.

Alessio Medaglini, Sandro Bartolini, Gianluca Mandò, Eduardo Quiñones, Sara Royuela

Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023

An Evolutionary Edge Computing Architecture for the Beyond 5G Era.

Elli Kartsakli, Jordi Pérez-Romero, Nikolaos G. Bartzoudis, Oriol Sallent, Oluwatayo Y. Kolawole, Xin Tao, Swarup Kumar Mohalik, Tomasz Mach, Sige Liu, Yansha Deng, Gianluca Mandò, Angelos Antonopoulos, Valerio Frascolla, Semiha Kosu, Gökhan Kalem, Fred Buining, Eduardo Quiñones

Proceedings of the 28th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks , 2023

2021

A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning.

Leandro Dias da Silva, Paolo Lollini, Diamantea Mongelli, Andrea Bondavalli, Gianluca Mandò

J. Braz. Comput. Soc., 2021

Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker.

Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò

Formal Aspects Comput., 2021

Architecting 5G RAN slicing for location aware vehicle to infrastructure communications: The Autonomous Tram use case.

Dinesh Tamang, Sergio Martiradonna, Andrea Abrardo, Gianluca Mandò, Gabriele Roncella, Gennaro Boggia

Comput. Networks, 2021

2020

The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization.

Eduardo Quiñones, Sara Royuela, Claudio Scordino, Paolo Gai, Luís Miguel Pinho, Luís Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi, Arne Hamann, Dirk Ziegenbein, Hadi Saoud, Romain Soulat, Björn Forsberg, Luca Benini, Gianluca Mandò, Luigi Rucher

Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

2019

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.

Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher

Proceedings of the Computer Safety, Reliability, and Security, 2019

Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System.

Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Performability Analysis of a Tramway System with Virtual Tags and Local Positioning.

Leandro Dias da Silva, Diamantea Mongelli, Paolo Lollini, Andrea Bondavalli, Gianluca Mandò

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

2017

Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems.

Vincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

LTE System Design for Urban Light Rail Transport.

Gianluca Mandò, Giovanni Giambene

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017