Asfand Yar

According to our database, Asfand Yar authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

Bridging Formal Verification and Domain Validation in Railway Systems.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul

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

2024

An Iterative Formal Model-Driven Approach to Railway Systems Validation.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germán Vega

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

An xDSL-Based Framework for Validation of Railway Models: Application to ERTMS/ETCS and EULYNX. (Un cadre basé sur les DSL exécutables pour la validation des modèles ferroviaires: application à ERTMS/ETCS et EULYNX).

Asfand Yar

PhD thesis, 2023

2022

Visual animation of B specifications using executable DSLs.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020

Merging Railway Standard Notations in a Formal DSL-Based Framework.

Asfand Yar, Akram Idani, Simon Collart Dutilleul

Proceedings of the Software Architecture - 14th European Conference, 2020