Milad K. Ghale
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2018–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. | Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles |
| 2019 | ICSE | Modular synthesis of verified verifiers of computation with STV algorithms. | Milad K. Ghale, Dirk Pattinson, Michael Norrish |
| 2018 | ICFEM | Engineering Software for Modular Formalisation and Verification of STV Algorithms. | Milad K. Ghale |