Asfand Yar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICECCS | An Iterative Formal Model-Driven Approach to Railway Systems Validation. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germn Vega |
| 2022 | MODELS | Visual animation of B specifications using executable DSLs. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul |
| 2020 | ECSA | Merging Railway Standard Notations in a Formal DSL-Based Framework. | Asfand Yar, Akram Idani, Simon Collart Dutilleul |