The AMPERE Project:: A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization E Quiñones, S Royuela, C Scordino, P Gai, LM Pinho, L Nogueira, J Rollo, ... 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing …, 2020 | 15 | 2020 |
Architecting 5G RAN slicing for location aware vehicle to infrastructure communications: The Autonomous Tram use case D Tamang, S Martiradonna, A Abrardo, G Mandó, G Roncella, G Boggia Computer Networks 200, 108501, 2021 | 9 | 2021 |
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker D Basile, A Fantechi, L Rucher, G Mandò Formal Aspects of Computing 33, 957-987, 2021 | 9 | 2021 |
Statistical model checking of hazards in an autonomous tramway positioning system D Basile, A Fantechi, L Rucher, G Mandò Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2019 | 7 | 2019 |
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning LD da Silva, P Lollini, D Mongelli, A Bondavalli, G Mandò Journal of the Brazilian Computer Society 27, 1-38, 2021 | 3 | 2021 |
Performability analysis of a tramway system with virtual tags and local positioning LD da Silva, D Mongelli, P Lollini, A Bondavalli, G Mandò 2019 9th Latin-American Symposium on Dependable Computing (LADC), 1-10, 2019 | 2 | 2019 |
Lte system design for urban light rail transport G Mandò, G Giambene Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017 | 2 | 2017 |
The SISTER approach for verification and validation: a lightweight process for reusable results A Ceccarelli, D Basile, A Bondavalli, L Falai, A Fantechi, S Ferrari, ... Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019 | 1 | 2019 |
An Evolutionary Edge Computing Architecture for the Beyond 5G Era E Kartsakli, J Perez-Romero, N Bartzoudis, O Sallent, O Kolawole, X Tao, ... 2023 IEEE 28th International Workshop on Computer Aided Modeling and Design …, 2023 | | 2023 |
Software-Based Fault-Detection Technique for Object Tracking in Autonomous Vehicles A Medaglini, S Bartolini, G Mandó, E Quinones, S Royuela 2023 12th Mediterranean Conference on Embedded Computing (MECO), 1-7, 2023 | | 2023 |
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results L Falai, A Fantechi, S Ferrari, G Mandò, N Nostro, L Rucher Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019 | | 2019 |
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems V Di Massa, M Damiani, M Papini, G Mandò Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017 | | 2017 |
Data Exchange System (VDES) M Frasconi, G Mandò | | |
D3. 2 Single-Criterion Energy-Optimization Framework, Predictable Execution Models, and Software Resilient Techniques B Forsberg, T Benz, A Biondi, A Amory, B Seyoum, F Restuccia, G Ara, ... | | |
Best Papers Candidates JDA Pereira, JR Campos, M Vieira, LD da Silva, D Mongelli, P Lollini, ... | | |
Analysing an autonomous tramway positioning system with Uppaal Statistical Model Checker A Fantechi, L Rucher, G Mandò | | |