I agree that this site is using cookies. You can find further informations here.
X
Rucher, Luigi
5  results:
Search for persons X
?
1

Analysing an autonomous tramway positioning system with the..:

Basile, Davide ; Fantechi, Alessandro ; Rucher, Luigi.
Formal Aspects of Computing.  33 (2021)  6 - p. 957-987 , 2021
Link: https://doi.org/10.1007/..
 
?
2

The AMPERE Project: : A Model-driven development framework ..:

, In: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC),
Quinones, Eduardo ; Royuela, Sara ; Scordino, Claudio... - p. 201-206 , 2020
Link: https://doi.org/10.1109/..
 
?
3

Statistical Model Checking of Hazards in an Autonomous Tram..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Basile, Davide ; Fantechi, Alessandro ; Rucher, Luigi. - p. 41-58 , 2019
Link: https://doi.org/10.1007/..
 
?
4

The SISTER Approach for Verification and Validation: A Ligh..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Ceccarelli, Andrea ; Basile, Davide ; Bondavalli, Andrea... - p. 185-197 , 2019
Link: https://doi.org/10.1007/..
 
?
5

The AMPERE Project: A Model-driven development framework fo..:

Quiñones, Eduardo ; Royuela Alcázar, Sara ; Scordino, Claudio...
https://ieeexplore.ieee.org/document/9113000.  , 2020
Link: http://hdl.handle.net/21..
 
1-5