Gianluca Mandò

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Highly Parallel

Top Venues

Formal Aspects Comput.

SAFECOMP Workshops

Publications

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
An Evolutionary Edge Computing Architecture for the Beyond 5G Era. CAMAD (2023)
Alessio Medaglini, Sandro Bartolini, Gianluca Mandò, Eduardo Quiñones, Sara Royuela
Software-Based Fault-Detection Technique for Object Tracking in Autonomous Vehicles. MECO (2023)
Dinesh Tamang, Sergio Martiradonna, Andrea Abrardo, Gianluca Mandò, Gabriele Roncella, Gennaro Boggia
Architecting 5G RAN slicing for location aware vehicle to infrastructure communications: The Autonomous Tram use case. Comput. Networks 200 (2021)
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Formal Aspects Comput. 33 (6) (2021)
Leandro Dias da Silva, Paolo Lollini, Diamantea Mongelli, Andrea Bondavalli, Gianluca Mandò
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. J. Braz. Comput. Soc. 27 (1) (2021)
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
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. ISORC (2020)
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops (2019)
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. RSSRail (2019)
Leandro Dias da Silva, Diamantea Mongelli, Paolo Lollini, Andrea Bondavalli, Gianluca Mandò
Performability Analysis of a Tramway System with Virtual Tags and Local Positioning. LADC (2019)
Gianluca Mandò, Giovanni Giambene
LTE System Design for Urban Light Rail Transport. RSSRail (2017)
Vincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems. RSSRail (2017)