I can be reached at sadegh [at sign] dalvandi [dot] com.
[18/09/2019] Our paper "Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B" has been accepted to the International Journal on Software Tools for Technology Transfer.
[16/09/2019] Our paper "Verifying Cross-layer Interactions through Formal
Model-based Assertion Generation" has been accepted to IEEE Embedded Systems Letters.
[08/08/2019] Our paper "SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B" has been accepted to Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019)
[12/06/2019] Our paper "Towards Deductive Verification of C11 Programs with Event-B and ProB" has been accepted to the 21st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019)
[7/06/2019] Our book chapter "Developing portable embedded software for multicore systems through formal abstraction and refinement" has been published.