Luigi Rucher

According to our database, Luigi Rucher authored at least 4 papers between 2019 and 2021.

Collaborative distances:

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

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

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