Mohammadsadegh Dalvandi

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 8

Top Topics

Code Generation

Abductive Inference

Control Structures

Event Detection

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

IEEE Embed. Syst. Lett.

FM Workshops (1)

Int. J. Softw. Tools Technol. Transf.

Publications

Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael J. Butler, Bashir M. Al-Hashimi
Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation. IEEE Embed. Syst. Lett. 12 (3) (2020)
Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. FM Workshops (1) (2019)
Mohammadsadegh Dalvandi, Brijesh Dongol
Towards deductive verification of C11 programs with Event-B and ProB. FTfJP@ECOOP (2019)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi
Verifiable Code Generation from Scheduled Event-B Models. ABZ (2018)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
Derivation of algorithmic control structures in Event-B refinement. Sci. Comput. Program. 148 (2017)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
From Event-B Models to Dafny Code Contracts. FSEN (2015)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
Transforming Event-B Models to Dafny Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)