Jorge Sanchez de Nova

According to our database, Jorge Sanchez de Nova authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications.

Sina Borrami, Jorge Sanchez de Nova, Xavier Gallois, Jonas Melchert, Martin Törngren

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2022

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems.

José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022