Luigi Rucher
According to our database1,
Luigi Rucher
authored at least 4 papers
between 2019 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
0
1
2
3
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker.
Formal Aspects Comput., 2021
2020
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019